The bear chases the dog. The bear eats the rabbit. The dog does not chase the rabbit. The rabbit chases the bear. The rabbit chases the dog. The rabbit chases the squirrel. The rabbit eats the dog. The rabbit is cold. The rabbit is not green. The rabbit visits the bear. The rabbit visits the dog. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is nice. The squirrel visits the dog. If something is nice and it chases the dog then the dog chases the squirrel. All cold things are round. All round things are nice. If something chases the dog and it is green then it eats the bear. If something visits the dog and it does not eat the squirrel then it does not visit the rabbit. If something is nice and it visits the squirrel then it is not blue. If something eats the bear then the bear does not chase the dog. If something eats the squirrel then it chases the bear.
The rabbit is round.
@0: The bear chases the dog.[(triple1)] The bear eats the rabbit.[(triple2)] The dog does not chase the rabbit.[(triple3)] The rabbit chases the bear.[(triple4)] The rabbit chases the dog.[(triple5)] The rabbit chases the squirrel.[(triple6)] The rabbit eats the dog.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is not green.[(triple9)] The rabbit visits the bear.[(triple10)] The rabbit visits the dog.[(triple11)] The rabbit visits the squirrel.[(triple12)] The squirrel eats the rabbit.[(triple13)] The squirrel is nice.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The rabbit is round.[(((triple8) -> rule2))] @2: The rabbit is nice.[(((((triple8) -> rule2)) -> rule3))] @3: The dog chases the squirrel.[(((((((triple8) -> rule2)) -> rule3) triple5) -> rule1))] The rabbit is not blue.[(((((((triple8) -> rule2)) -> rule3) triple12) -> rule6))]