The dog is big. The dog sees the squirrel. The mouse eats the dog. The mouse eats the squirrel. The mouse is not blue. The mouse is kind. The mouse is rough. The mouse likes the dog. The mouse sees the dog. The squirrel eats the dog. The squirrel is rough. The squirrel sees the dog. If something likes the dog then the dog eats the squirrel. If the dog is blue and the dog is big then the dog likes the squirrel. If something likes the squirrel then the squirrel likes the dog. If something is kind and it likes the dog then the dog eats the mouse. If something is cold and it does not like the squirrel then it eats the squirrel. If something likes the squirrel and it likes the mouse then the squirrel eats the mouse. If the squirrel sees the mouse then the squirrel does not like the mouse. If something eats the squirrel and it sees the squirrel then the squirrel sees the mouse.
The squirrel likes the mouse.
@0: The dog is big.[(triple1)] The dog sees the squirrel.[(triple2)] The mouse eats the dog.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is kind.[(triple6)] The mouse is not blue.[(triple5)] The mouse is rough.[(triple7)] The mouse likes the dog.[(triple8)] The mouse sees the dog.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel is rough.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The dog eats the mouse.[(((triple6 triple8) -> rule4))] The dog eats the squirrel.[(((triple8) -> rule1))] @2: The squirrel sees the mouse.[(((((triple8) -> rule1) triple2) -> rule8))] @3: The squirrel does not like the mouse.[(((((((triple8) -> rule1) triple2) -> rule8)) -> rule7))]