The cat sees the tiger. The cow chases the cat. The cow chases the tiger. The cow eats the tiger. The cow is red. The cow is young. The tiger chases the cat. The tiger is young. The tiger sees the cat. The tiger sees the cow. If something chases the tiger then it sees the cow. If something chases the tiger then it eats the cow. If the cat is red then the cat sees the cow. If something eats the cow then it chases the cow. If something sees the tiger then it chases the tiger. If the tiger sees the cow then the tiger eats the cat.
The cat does not see the cow.
@0: The cat sees the tiger.[(triple1)] The cow chases the cat.[(triple2)] The cow chases the tiger.[(triple3)] The cow eats the tiger.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6)] The tiger chases the cat.[(triple7)] The tiger is young.[(triple8)] The tiger sees the cat.[(triple9)] The tiger sees the cow.[(triple10)] @1: The cat chases the tiger.[(((triple1) -> rule5))] The cow eats the cow.[(((triple3) -> rule2))] The cow sees the cow.[(((triple3) -> rule1))] The tiger eats the cat.[(((triple10) -> rule6))] @2: The cat eats the cow.[(((((triple1) -> rule5)) -> rule2))] The cat sees the cow.[(((((triple1) -> rule5)) -> rule1))] The cow chases the cow.[(((((triple3) -> rule2)) -> rule4))] @3: The cat chases the cow.[(((((((triple1) -> rule5)) -> rule2)) -> rule4))]