The dog is round. The dog needs the squirrel. The dog sees the rabbit. The dog visits the tiger. The rabbit is nice. The rabbit is red. The rabbit needs the squirrel. The rabbit visits the tiger. The squirrel is red. The squirrel needs the dog. The squirrel needs the rabbit. The squirrel sees the tiger. The squirrel visits the tiger. The tiger needs the rabbit. The tiger sees the dog. If something is red and big then it needs the squirrel. If something is nice then it visits the rabbit. If something visits the rabbit and it sees the rabbit then the rabbit visits the squirrel. If something sees the tiger and the tiger visits the squirrel then the tiger sees the dog. If something is round then it needs the squirrel. Big things are nice. If the dog is red and the dog is cold then the dog visits the tiger. If something sees the rabbit and it visits the rabbit then the rabbit visits the dog.
The rabbit does not visit the tiger.
@0: The dog is round.[(triple1)] The dog needs the squirrel.[(triple2 OR ((triple1) -> rule5))] The dog sees the rabbit.[(triple3)] The dog visits the tiger.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is red.[(triple6)] The rabbit needs the squirrel.[(triple7)] The rabbit visits the tiger.[(triple8)] The squirrel is red.[(triple9)] The squirrel needs the dog.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel sees the tiger.[(triple12)] The squirrel visits the tiger.[(triple13)] The tiger needs the rabbit.[(triple14)] The tiger sees the dog.[(triple15)] @1: The rabbit visits the rabbit.[(((triple5) -> rule2))]