The dog chases the squirrel. The dog is cold. The squirrel does not see the dog. If someone is big then they do not see the dog. If someone chases the squirrel and the squirrel is not rough then they see the dog. If the dog does not see the squirrel then the squirrel is nice. If someone is nice and they do not see the squirrel then the squirrel does not chase the dog. If the squirrel eats the dog then the dog is big. If someone chases the squirrel then the squirrel eats the dog.
The squirrel eats the squirrel.
@0: The dog chases the squirrel.[(triple1)] The dog is cold.[(triple2)] The squirrel does not see the dog.[(triple3)] @1: The squirrel eats the dog.[(((triple1) -> rule6))] @2: The dog is big.[(((((triple1) -> rule6)) -> rule5))] @3: The dog does not see the dog.[(((((((triple1) -> rule6)) -> rule5)) -> rule1))]