The dog chases the squirrel. The dog is cold. The dog is kind. The dog is nice. The dog is round. The dog sees the squirrel. The dog visits the squirrel. The squirrel chases the dog. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel sees the dog. The squirrel visits the dog. If someone is green then they visit the squirrel. If someone is round and they visit the dog then they see the dog. If someone visits the squirrel then the squirrel visits the dog.
The squirrel chases the squirrel.
@0: The dog chases the squirrel.[(triple1)] The dog is cold.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is round.[(triple5)] The dog sees the squirrel.[(triple6)] The dog visits the squirrel.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is round.[(triple13)] The squirrel sees the dog.[(triple14 OR ((triple13 triple15) -> rule2) OR ((triple13 ((triple7) -> rule3)) -> rule2) OR ((triple13 ((((triple10) -> rule1)) -> rule3)) -> rule2))] The squirrel visits the dog.[(triple15 OR ((triple7) -> rule3) OR ((((triple10) -> rule1)) -> rule3))] @1: The squirrel visits the squirrel.[(((triple10) -> rule1))]