The cow eats the tiger. The cow is kind. The cow is nice. The cow is round. The cow likes the tiger. The cow visits the tiger. The tiger eats the cow. The tiger is green. The tiger is nice. The tiger likes the cow. If something likes the tiger and the tiger eats the cow then it is rough. If the cow visits the tiger then the tiger eats the cow. If something visits the cow then it likes the tiger.
The tiger is kind.
@0: The cow eats the tiger.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is round.[(triple4)] The cow likes the tiger.[(triple5)] The cow visits the tiger.[(triple6)] The tiger eats the cow.[(triple7 OR ((triple6) -> rule2))] The tiger is green.[(triple8)] The tiger is nice.[(triple9)] The tiger likes the cow.[(triple10)] @1: The cow is rough.[(((triple5 triple7) -> rule1) OR ((triple5 ((triple6) -> rule2)) -> rule1))]