The dog chases the squirrel. The dog eats the squirrel. The dog is big. The dog is blue. The dog is cold. The dog is red. The dog is young. The dog sees the squirrel. The squirrel eats the dog. The squirrel is cold. If someone chases the squirrel and they are cold then they see the dog. If someone is red and blue then they see the squirrel. If someone is blue then they chase the dog.
The dog is big.
@0: The dog chases the squirrel.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is big.[(triple3)] The dog is blue.[(triple4)] The dog is cold.[(triple5)] The dog is red.[(triple6)] The dog is young.[(triple7)] The dog sees the squirrel.[(triple8 OR ((triple6 triple4) -> rule2))] The squirrel eats the dog.[(triple9)] The squirrel is cold.[(triple10)] @1: The dog chases the dog.[(((triple4) -> rule3))] The dog sees the dog.[(((triple1 triple5) -> rule1))]