premises
#th13

point(1)

conclusions

col(1,1,1)
