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