The bear chases the mouse. The bear chases the rabbit. The bear visits the mouse. The bear visits the squirrel. The mouse chases the squirrel. The mouse is nice. The mouse is round. The rabbit chases the squirrel. The rabbit is cold. The rabbit likes the bear. The rabbit visits the mouse. The squirrel chases the bear. The squirrel is cold. The squirrel is green. The squirrel likes the bear. The squirrel visits the rabbit. If the mouse visits the bear then the bear likes the squirrel. If something likes the rabbit and it likes the bear then the bear is cold. If something chases the squirrel and it is cold then the squirrel chases the rabbit. If something likes the bear and it chases the rabbit then it visits the mouse. If the rabbit is round and the rabbit visits the bear then the bear is young. If the mouse visits the bear and the mouse likes the squirrel then the mouse is nice.
The mouse does not visit the mouse.
@0: The bear chases the mouse.[(triple1)] The bear chases the rabbit.[(triple2)] The bear visits the mouse.[(triple3)] The bear visits the squirrel.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse is nice.[(triple6)] The mouse is round.[(triple7)] The rabbit chases the squirrel.[(triple8)] The rabbit is cold.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit visits the mouse.[(triple11)] The squirrel chases the bear.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is green.[(triple14)] The squirrel likes the bear.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The squirrel chases the rabbit.[(((triple8 triple9) -> rule3))] @2: The squirrel visits the mouse.[(((triple15 ((triple8 triple9) -> rule3)) -> rule4))]