The cow is blue. The cow is nice. The cow likes the mouse. The mouse does not eat the cow. The mouse does not eat the squirrel. The mouse is round. The mouse sees the squirrel. The squirrel is nice. The tiger likes the cow. The tiger likes the squirrel. If the squirrel sees the mouse then the squirrel does not eat the mouse. If something likes the squirrel then the squirrel sees the tiger. If something eats the squirrel then the squirrel likes the mouse. If something sees the tiger then the tiger is nice. If something is nice then it does not see the squirrel. If something likes the mouse and it is kind then it sees the tiger. If something is round and it sees the cow then it is nice. If the squirrel eats the mouse and the squirrel does not like the mouse then the mouse sees the squirrel.
The tiger does not like the cow.
@0: The cow is blue.[(triple1)] The cow is nice.[(triple2)] The cow likes the mouse.[(triple3)] The mouse does not eat the cow.[(triple4)] The mouse does not eat the squirrel.[(triple5)] The mouse is round.[(triple6)] The mouse sees the squirrel.[(triple7)] The squirrel is nice.[(triple8)] The tiger likes the cow.[(triple9)] The tiger likes the squirrel.[(triple10)] @1: The cow does not see the squirrel.[(((triple2) -> rule5))] The squirrel does not see the squirrel.[(((triple8) -> rule5))] The squirrel sees the tiger.[(((triple10) -> rule2))] @2: The tiger is nice.[(((((triple10) -> rule2)) -> rule4))] @3: The tiger does not see the squirrel.[(((((((triple10) -> rule2)) -> rule4)) -> rule5))]