The cow chases the tiger. The cow eats the tiger. The cow is green. The cow is nice. The cow is red. The cow is rough. The cow visits the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is green. The tiger is kind. The tiger is nice. The tiger is red. The tiger is rough. The tiger visits the cow. If something visits the tiger then it chases the cow. If something visits the tiger and it is nice then it visits the cow.
The tiger is not red.
@0: The cow chases the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The cow is rough.[(triple6)] The cow visits the tiger.[(triple7)] The tiger chases the cow.[(triple8)] The tiger eats the cow.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger visits the cow.[(triple15)] @1: The cow chases the cow.[(((triple7) -> rule1))] The cow visits the cow.[(((triple7 triple4) -> rule2))]