The bear likes the dog. The bear likes the mouse. The dog chases the bear. The dog chases the mouse. The dog chases the rabbit. The dog eats the bear. The dog is red. The dog is young. The mouse chases the bear. The mouse eats the dog. The mouse likes the bear. The rabbit chases the mouse. The rabbit eats the bear. The rabbit is red. The rabbit likes the bear. The rabbit likes the dog. If someone eats the bear and they are round then the bear likes the rabbit. If the bear eats the mouse and the mouse is round then the mouse chases the rabbit. If someone is red and they chase the bear then they are round.
The mouse does not chase the rabbit.
@0: The bear likes the dog.[(triple1)] The bear likes the mouse.[(triple2)] The dog chases the bear.[(triple3)] The dog chases the mouse.[(triple4)] The dog chases the rabbit.[(triple5)] The dog eats the bear.[(triple6)] The dog is red.[(triple7)] The dog is young.[(triple8)] The mouse chases the bear.[(triple9)] The mouse eats the dog.[(triple10)] The mouse likes the bear.[(triple11)] The rabbit chases the mouse.[(triple12)] The rabbit eats the bear.[(triple13)] The rabbit is red.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit likes the dog.[(triple16)] @1: The dog is round.[(((triple7 triple3) -> rule3))] @2: The bear likes the rabbit.[(((triple6 ((triple7 triple3) -> rule3)) -> rule1))]