The dog chases the squirrel. The dog eats the squirrel. The dog is big. The dog is blue. The dog is red. The dog is rough. The dog is round. The dog visits the squirrel. The squirrel chases the dog. The squirrel eats the dog. The squirrel is big. The squirrel is blue. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel visits the dog. If something is red then it visits the squirrel. If something visits the squirrel then it chases the squirrel. If something eats the squirrel then it chases the squirrel.
The squirrel visits the squirrel.
@0: The dog chases the squirrel.[(triple1 OR ((triple2) -> rule3) OR ((triple8) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] The dog eats the squirrel.[(triple2)] The dog is big.[(triple3)] The dog is blue.[(triple4)] The dog is red.[(triple5)] The dog is rough.[(triple6)] The dog is round.[(triple7)] The dog visits the squirrel.[(triple8 OR ((triple5) -> rule1))] The squirrel chases the dog.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel is big.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel is round.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The squirrel visits the squirrel.[(((triple13) -> rule1))] @2: The squirrel chases the squirrel.[(((((triple13) -> rule1)) -> rule2))]