The dog chases the squirrel. The dog eats the squirrel. The dog is kind. The dog is rough. The dog is young. The dog sees the squirrel. The squirrel eats the dog. The squirrel is big. The squirrel is kind. The squirrel sees the dog. If something sees the squirrel then it sees the dog. If something is rough and it sees the dog then it chases the dog.
The squirrel is nice.
@0: The dog chases the squirrel.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is kind.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5)] The dog sees the squirrel.[(triple6)] The squirrel eats the dog.[(triple7)] The squirrel is big.[(triple8)] The squirrel is kind.[(triple9)] The squirrel sees the dog.[(triple10)] @1: The dog sees the dog.[(((triple6) -> rule1))] @2: The dog chases the dog.[(((triple4 ((triple6) -> rule1)) -> rule2))]