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