The mouse eats the rabbit. The mouse eats the squirrel. The mouse likes the rabbit. The rabbit eats the squirrel. The rabbit is red. The rabbit likes the mouse. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is nice. The squirrel likes the mouse. The squirrel sees the mouse. The squirrel sees the rabbit. If someone likes the squirrel then the squirrel likes the rabbit. If someone likes the mouse and they like the rabbit then the mouse is red. If the squirrel likes the mouse and the mouse eats the squirrel then the mouse likes the squirrel. If someone is red then they eat the mouse. If someone likes the squirrel then they are kind. If someone eats the mouse and they eat the squirrel then the mouse is green. If someone eats the squirrel and they like the rabbit then they are green. If someone sees the rabbit then they like the mouse.
The squirrel does not like the rabbit.
@0: The mouse eats the rabbit.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse likes the rabbit.[(triple3)] The rabbit eats the squirrel.[(triple4)] The rabbit is red.[(triple5)] The rabbit likes the mouse.[(triple6)] The rabbit sees the squirrel.[(triple7)] The squirrel eats the rabbit.[(triple8)] The squirrel is nice.[(triple9)] The squirrel likes the mouse.[(triple10 OR ((triple12) -> rule8))] The squirrel sees the mouse.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The mouse is green.[(((triple2 triple3) -> rule7) OR ((((triple5) -> rule4) triple4) -> rule6) OR ((((((triple10 ((((triple10 triple2) -> rule3)) -> rule1)) -> rule2)) -> rule4) triple2) -> rule6) OR ((((((((triple12) -> rule8) ((((triple10 triple2) -> rule3)) -> rule1)) -> rule2)) -> rule4) triple2) -> rule6) OR ((((((triple10 ((((((triple12) -> rule8) triple2) -> rule3)) -> rule1)) -> rule2)) -> rule4) triple2) -> rule6) OR ((((((((triple12) -> rule8) ((((((triple12) -> rule8) triple2) -> rule3)) -> rule1)) -> rule2)) -> rule4) triple2) -> rule6))] The mouse likes the squirrel.[(((triple10 triple2) -> rule3) OR ((((triple12) -> rule8) triple2) -> rule3))] The rabbit eats the mouse.[(((triple5) -> rule4))] @2: The mouse is kind.[(((((triple10 triple2) -> rule3)) -> rule5) OR ((((((triple12) -> rule8) triple2) -> rule3)) -> rule5))] The squirrel likes the rabbit.[(((((triple10 triple2) -> rule3)) -> rule1) OR ((((((triple12) -> rule8) triple2) -> rule3)) -> rule1))] @3: The mouse is red.[(((triple10 ((((triple10 triple2) -> rule3)) -> rule1)) -> rule2) OR ((((triple12) -> rule8) ((((triple10 triple2) -> rule3)) -> rule1)) -> rule2) OR ((triple10 ((((((triple12) -> rule8) triple2) -> rule3)) -> rule1)) -> rule2) OR ((((triple12) -> rule8) ((((((triple12) -> rule8) triple2) -> rule3)) -> rule1)) -> rule2))] @4: The mouse eats the mouse.[(((((triple10 ((((triple10 triple2) -> rule3)) -> rule1)) -> rule2)) -> rule4) OR ((((((triple12) -> rule8) ((((triple10 triple2) -> rule3)) -> rule1)) -> rule2)) -> rule4) OR ((((triple10 ((((((triple12) -> rule8) triple2) -> rule3)) -> rule1)) -> rule2)) -> rule4) OR ((((((triple12) -> rule8) ((((((triple12) -> rule8) triple2) -> rule3)) -> rule1)) -> rule2)) -> rule4))]