The dog is round. The dog visits the squirrel. The rabbit chases the dog. The rabbit chases the squirrel. The rabbit is red. The squirrel chases the dog. The squirrel chases the rabbit. The squirrel needs the rabbit. The squirrel visits the dog. The squirrel visits the rabbit. If someone is round then they chase the squirrel. If someone is blue then they chase the rabbit. If someone chases the rabbit then the rabbit is young. If someone is red then they need the rabbit. If someone visits the dog then the dog needs the squirrel. If someone is young and red then they chase the rabbit. If the dog is rough and the dog visits the rabbit then the dog needs the squirrel. If the squirrel is rough and the squirrel is young then the squirrel needs the dog.
The rabbit does not chase the squirrel.
@0: The dog is round.[(triple1)] The dog visits the squirrel.[(triple2)] The rabbit chases the dog.[(triple3)] The rabbit chases the squirrel.[(triple4)] The rabbit is red.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel chases the rabbit.[(triple7)] The squirrel needs the rabbit.[(triple8)] The squirrel visits the dog.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The dog chases the squirrel.[(((triple1) -> rule1))] The dog needs the squirrel.[(((triple9) -> rule5))] The rabbit is young.[(((triple7) -> rule3))] The rabbit needs the rabbit.[(((triple5) -> rule4))] @2: The rabbit chases the rabbit.[(((((triple7) -> rule3) triple5) -> rule6))]