The mouse eats the squirrel. The mouse is cold. The mouse is nice. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit eats the mouse. The rabbit is nice. The rabbit is young. The rabbit likes the mouse. The rabbit likes the squirrel. The rabbit sees the mouse. The squirrel eats the mouse. The squirrel is young. The squirrel likes the rabbit. The squirrel sees the mouse. The squirrel sees the rabbit. If the mouse is young and the mouse likes the squirrel then the mouse is round. If something sees the squirrel then it is round. If something is young and it eats the squirrel then the squirrel is cold. If something likes the rabbit then it is nice. If something is cold and it likes the rabbit then the rabbit eats the squirrel. If something is cold then it likes the mouse.
The squirrel eats the squirrel.
@0: The mouse eats the squirrel.[(triple1)] The mouse is cold.[(triple2)] The mouse is nice.[(triple3 OR ((triple4) -> rule4))] The mouse likes the rabbit.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit is nice.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the mouse.[(triple9)] The rabbit likes the squirrel.[(triple10)] The rabbit sees the mouse.[(triple11)] The squirrel eats the mouse.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the rabbit.[(triple14)] The squirrel sees the mouse.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The mouse likes the mouse.[(((triple2) -> rule6))] The rabbit eats the squirrel.[(((triple2 triple4) -> rule5))] The squirrel is nice.[(((triple14) -> rule4))] @2: The squirrel is cold.[(((triple8 ((triple2 triple4) -> rule5)) -> rule3))] @3: The squirrel likes the mouse.[(((((triple8 ((triple2 triple4) -> rule5)) -> rule3)) -> rule6))]