The mouse is young. The rabbit is red. The rabbit likes the mouse. The rabbit likes the squirrel. The squirrel eats the mouse. The squirrel likes the rabbit. The squirrel visits the mouse. If someone eats the mouse and they like the rabbit then they visit the rabbit. If someone visits the rabbit and the rabbit likes the squirrel then the rabbit is big. If someone likes the mouse then the mouse visits the squirrel. If the mouse is big then the mouse is rough. If someone visits the rabbit and they eat the squirrel then the rabbit is rough. If someone visits the mouse and they visit the squirrel then they eat the mouse.
The rabbit is not rough.
@0: The mouse is young.[(triple1)] The rabbit is red.[(triple2)] The rabbit likes the mouse.[(triple3)] The rabbit likes the squirrel.[(triple4)] The squirrel eats the mouse.[(triple5)] The squirrel likes the rabbit.[(triple6)] The squirrel visits the mouse.[(triple7)] @1: The mouse visits the squirrel.[(((triple3) -> rule3))] The squirrel visits the rabbit.[(((triple5 triple6) -> rule1))] @2: The rabbit is big.[(((((triple5 triple6) -> rule1) triple4) -> rule2))]