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