The cow eats the squirrel. The rabbit eats the cow. The squirrel eats the cow. The squirrel is round. The tiger eats the cow. The tiger is kind. The tiger is red. If something sees the cow then it chases the squirrel. If something chases the cow then the cow does not eat the tiger. If something chases the squirrel then the squirrel sees the cow. If the cow is red then the cow is cold. If the tiger is red then the tiger sees the cow. If something eats the rabbit and it does not chase the squirrel then it is cold.
The squirrel does not see the cow.
@0: The cow eats the squirrel.[(triple1)] The rabbit eats the cow.[(triple2)] The squirrel eats the cow.[(triple3)] The squirrel is round.[(triple4)] The tiger eats the cow.[(triple5)] The tiger is kind.[(triple6)] The tiger is red.[(triple7)] @1: The tiger sees the cow.[(((triple7) -> rule5))] @2: The tiger chases the squirrel.[(((((triple7) -> rule5)) -> rule1))] @3: The squirrel sees the cow.[(((((((triple7) -> rule5)) -> rule1)) -> rule3))] @4: The squirrel chases the squirrel.[(((((((((triple7) -> rule5)) -> rule1)) -> rule3)) -> rule1))]