The cat is rough. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit sees the squirrel. The squirrel eats the cat. The squirrel eats the rabbit. The squirrel is red. All red people are young. If the squirrel is green and the squirrel likes the rabbit then the rabbit eats the mouse. If someone sees the cat and they like the squirrel then the squirrel sees the cat. If someone is young then they see the mouse. If someone eats the rabbit and they see the mouse then the mouse is red. If someone is cold then they eat the squirrel. If someone sees the rabbit and the rabbit is green then they are young. If someone likes the squirrel and they are red then they are young. If someone sees the squirrel and the squirrel sees the mouse then they like the rabbit.
The squirrel sees the mouse.
@0: The cat is rough.[(triple1)] The mouse likes the rabbit.[(triple2)] The mouse sees the rabbit.[(triple3)] The rabbit sees the squirrel.[(triple4)] The squirrel eats the cat.[(triple5)] The squirrel eats the rabbit.[(triple6)] The squirrel is red.[(triple7)] @1: The squirrel is young.[(((triple7) -> rule1))] @2: The squirrel sees the mouse.[(((((triple7) -> rule1)) -> rule4))] @3: The mouse is red.[(((triple6 ((((triple7) -> rule1)) -> rule4)) -> rule5))] The rabbit likes the rabbit.[(((triple4 ((((triple7) -> rule1)) -> rule4)) -> rule9))] @4: The mouse is young.[(((((triple6 ((((triple7) -> rule1)) -> rule4)) -> rule5)) -> rule1))] @5: The mouse sees the mouse.[(((((((triple6 ((((triple7) -> rule1)) -> rule4)) -> rule5)) -> rule1)) -> rule4))]