The bear is nice. The mouse visits the rabbit. The rabbit visits the bear. The squirrel sees the bear. If something is young then it is nice. If something eats the mouse and the mouse is cold then the mouse visits the squirrel. If something visits the rabbit then it is young. If something sees the rabbit then the rabbit sees the bear. If something eats the bear and it sees the mouse then the mouse sees the squirrel. If the squirrel sees the mouse then the mouse visits the bear. If something eats the squirrel then it visits the bear. If something is nice and it does not visit the squirrel then it visits the bear.
The mouse is young.
@0: The bear is nice.[(triple1)] The mouse visits the rabbit.[(triple2)] The rabbit visits the bear.[(triple3)] The squirrel sees the bear.[(triple4)] @1: The mouse is young.[(((triple2) -> rule3))] @2: The mouse is nice.[(((((triple2) -> rule3)) -> rule1))]