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