The dog chases the squirrel. The dog is green. The dog is kind. The dog is nice. The dog is rough. The dog needs the squirrel. The dog visits the squirrel. The squirrel chases the dog. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel needs the dog. The squirrel visits the dog. If something needs the dog then it visits the squirrel. If something needs the squirrel then it chases the dog. If something needs the dog then it chases the dog. If something chases the squirrel then it is kind. If something chases the squirrel then the squirrel visits the dog. If something is nice and rough then it visits the dog. If the squirrel needs the dog then the squirrel is kind. If something needs the dog then it chases the squirrel.
The dog chases the dog.
@0: The dog chases the squirrel.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3 OR ((triple1) -> rule4))] The dog is nice.[(triple4)] The dog is rough.[(triple5)] The dog needs the squirrel.[(triple6)] The dog visits the squirrel.[(triple7)] The squirrel chases the dog.[(triple8 OR ((triple14) -> rule3))] The squirrel is green.[(triple9)] The squirrel is kind.[(triple10 OR ((triple14) -> rule7) OR ((((triple14) -> rule8)) -> rule4))] The squirrel is nice.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel visits the dog.[(triple15 OR ((triple1) -> rule5) OR ((triple11 triple13) -> rule6) OR ((((triple14) -> rule8)) -> rule5))] @1: The dog chases the dog.[(((triple6) -> rule2))] The dog visits the dog.[(((triple4 triple5) -> rule6))] The squirrel chases the squirrel.[(((triple14) -> rule8))] The squirrel visits the squirrel.[(((triple14) -> rule1))]