The cow is kind. The mouse eats the cow. The mouse eats the squirrel. The mouse is green. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is young. The squirrel likes the tiger. The tiger sees the cow. If someone is big then they eat the squirrel. If someone likes the mouse then the mouse eats the squirrel. If someone is green then they see the tiger. If someone eats the squirrel and the squirrel is young then the squirrel likes the cow. If the tiger eats the mouse and the tiger sees the squirrel then the squirrel likes the mouse. If someone is kind then they are green. If the tiger is blue then the tiger is green. If someone sees the tiger then they see the mouse.
The squirrel does not see the mouse.
@0: The cow is kind.[(triple1)] The mouse eats the cow.[(triple2)] The mouse eats the squirrel.[(triple3)] The mouse is green.[(triple4)] The mouse sees the squirrel.[(triple5)] The squirrel eats the mouse.[(triple6)] The squirrel is big.[(triple7)] The squirrel is young.[(triple8)] The squirrel likes the tiger.[(triple9)] The tiger sees the cow.[(triple10)] @1: The cow is green.[(((triple1) -> rule6))] The mouse sees the tiger.[(((triple4) -> rule3))] The squirrel eats the squirrel.[(((triple7) -> rule1))] The squirrel likes the cow.[(((triple3 triple8) -> rule4) OR ((((triple7) -> rule1) triple8) -> rule4))] @2: The cow sees the tiger.[(((((triple1) -> rule6)) -> rule3))] The mouse sees the mouse.[(((((triple4) -> rule3)) -> rule8))] @3: The cow sees the mouse.[(((((((triple1) -> rule6)) -> rule3)) -> rule8))]