The bear chases the mouse. The bear is cold. The bear is rough. The bear needs the mouse. The bear needs the rabbit. The bear visits the mouse. The bear visits the rabbit. The mouse chases the bear. The mouse is rough. The mouse needs the bear. The mouse visits the rabbit. The rabbit is blue. The rabbit is nice. The rabbit is rough. The rabbit visits the bear. If something needs the mouse and the mouse chases the bear then it needs the bear. If something visits the mouse then it visits the rabbit. If the mouse needs the bear and the mouse visits the rabbit then the rabbit visits the mouse.
The rabbit does not visit the rabbit.
@0: The bear chases the mouse.[(triple1)] The bear is cold.[(triple2)] The bear is rough.[(triple3)] The bear needs the mouse.[(triple4)] The bear needs the rabbit.[(triple5)] The bear visits the mouse.[(triple6)] The bear visits the rabbit.[(triple7 OR ((triple6) -> rule2))] The mouse chases the bear.[(triple8)] The mouse is rough.[(triple9)] The mouse needs the bear.[(triple10)] The mouse visits the rabbit.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is rough.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The bear needs the bear.[(((triple4 triple8) -> rule1))] The rabbit visits the mouse.[(((triple10 triple11) -> rule3))] @2: The rabbit visits the rabbit.[(((((triple10 triple11) -> rule3)) -> rule2))]