The cat eats the squirrel. The cat is big. The cat sees the cow. The cat sees the squirrel. The cat sees the tiger. The cat visits the cow. The cow is red. The cow sees the cat. The cow visits the cat. The cow visits the tiger. The squirrel eats the cow. The squirrel is blue. The squirrel is cold. The squirrel sees the cat. The tiger sees the cat. The tiger visits the cat. If someone eats the tiger then the tiger eats the cat. If the squirrel is red then the squirrel is young. If someone sees the squirrel and the squirrel visits the tiger then they are big. If someone visits the squirrel and they see the cat then the squirrel eats the tiger. If someone is big then they eat the tiger. If someone visits the tiger and the tiger is big then they eat the cat. If someone visits the cow and they eat the tiger then they eat the cow. If someone is red and they see the tiger then the tiger is red.
The cat does not eat the tiger.
@0: The cat eats the squirrel.[(triple1)] The cat is big.[(triple2)] The cat sees the cow.[(triple3)] The cat sees the squirrel.[(triple4)] The cat sees the tiger.[(triple5)] The cat visits the cow.[(triple6)] The cow is red.[(triple7)] The cow sees the cat.[(triple8)] The cow visits the cat.[(triple9)] The cow visits the tiger.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is cold.[(triple13)] The squirrel sees the cat.[(triple14)] The tiger sees the cat.[(triple15)] The tiger visits the cat.[(triple16)] @1: The cat eats the tiger.[(((triple2) -> rule5))] @2: The cat eats the cow.[(((triple6 ((triple2) -> rule5)) -> rule7))] The tiger eats the cat.[(((((triple2) -> rule5)) -> rule1))]