The cow does not chase the dog. The cow sees the squirrel. The dog sees the cow. The rabbit is red. The rabbit sees the squirrel. The squirrel eats the cow. The squirrel does not see the dog. If someone sees the cow then they are big. If someone chases the cow and they do not see the cow then the cow is big. If someone eats the cow and they see the rabbit then the cow is big. If someone is cold and big then they do not see the rabbit. If someone eats the cow then the cow is kind. All big people are cold.
The cow does not chase the squirrel.
@0: The cow does not chase the dog.[(triple1)] The cow sees the squirrel.[(triple2)] The dog sees the cow.[(triple3)] The rabbit is red.[(triple4)] The rabbit sees the squirrel.[(triple5)] The squirrel does not see the dog.[(triple7)] The squirrel eats the cow.[(triple6)] @1: The cow is kind.[(((triple6) -> rule5))] The dog is big.[(((triple3) -> rule1))] @2: The dog is cold.[(((((triple3) -> rule1)) -> rule6))] @3: The dog does not see the rabbit.[(((((((triple3) -> rule1)) -> rule6) ((triple3) -> rule1)) -> rule4))]