The cat chases the squirrel. The cat is nice. The cat sees the squirrel. The dog is rough. The dog sees the cat. The squirrel chases the cat. The squirrel eats the cat. The squirrel eats the dog. The squirrel is not cold. The squirrel sees the dog. If the squirrel is rough then the squirrel is green. If something chases the dog and the dog is not young then the dog chases the squirrel. If something sees the dog and the dog is young then the dog is cold. If something chases the squirrel then the squirrel is rough. If something eats the dog and it does not chase the dog then the dog sees the cat. If something is green then it does not eat the squirrel. If something is green and it does not chase the dog then it does not see the squirrel. If something is nice and it does not see the cat then the cat is cold.
The dog is not cold.
@0: The cat chases the squirrel.[(triple1)] The cat is nice.[(triple2)] The cat sees the squirrel.[(triple3)] The dog is rough.[(triple4)] The dog sees the cat.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel eats the dog.[(triple8)] The squirrel is not cold.[(triple9)] The squirrel sees the dog.[(triple10)] @1: The squirrel is rough.[(((triple1) -> rule4))] @2: The squirrel is green.[(((((triple1) -> rule4)) -> rule1))] @3: The squirrel does not eat the squirrel.[(((((((triple1) -> rule4)) -> rule1)) -> rule6))]