The dog eats the mouse. The dog is round. The dog likes the mouse. The mouse eats the dog. The mouse is big. The mouse is cold. The mouse likes the dog. The mouse sees the dog. The squirrel eats the dog. The squirrel eats the mouse. The squirrel is cold. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel sees the mouse. If something eats the mouse and the mouse is big then it sees the squirrel. If something is kind and it likes the dog then the dog is big. If something sees the mouse and it eats the dog then the mouse eats the squirrel. If something eats the squirrel and it likes the squirrel then it eats the mouse. If something sees the mouse then the mouse likes the squirrel. Kind things are round.
The mouse does not see the squirrel.
@0: The dog eats the mouse.[(triple1)] The dog is round.[(triple2)] The dog likes the mouse.[(triple3)] The mouse eats the dog.[(triple4)] The mouse is big.[(triple5)] The mouse is cold.[(triple6)] The mouse likes the dog.[(triple7)] The mouse sees the dog.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14 OR ((triple12) -> rule6))] The squirrel sees the mouse.[(triple15)] @1: The dog sees the squirrel.[(((triple1 triple5) -> rule1))] The mouse eats the squirrel.[(((triple15 triple9) -> rule3))] The mouse likes the squirrel.[(((triple15) -> rule5))] The squirrel sees the squirrel.[(((triple10 triple5) -> rule1))] @2: The mouse eats the mouse.[(((((triple15 triple9) -> rule3) ((triple15) -> rule5)) -> rule4))] @3: The mouse sees the squirrel.[(((((((triple15 triple9) -> rule3) ((triple15) -> rule5)) -> rule4) triple5) -> rule1))]