The cow chases the tiger. The cow is red. The cow is round. The cow likes the tiger. The tiger does not chase the cow. The tiger likes the cow. The tiger sees the cow. If something chases the tiger then the tiger sees the cow. If something sees the tiger then it likes the cow. All green things are young.
The tiger does not see the cow.
@0: The cow chases the tiger.[(triple1)] The cow is red.[(triple2)] The cow is round.[(triple3)] The cow likes the tiger.[(triple4)] The tiger does not chase the cow.[(triple5)] The tiger likes the cow.[(triple6)] The tiger sees the cow.[(triple7 OR ((triple1) -> rule1))]