The cat is blue. The cat is young. The cat does not like the mouse. The cat sees the mouse. The mouse is kind. The mouse is not nice. The mouse is not young. The mouse does not like the cat. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel is blue. The squirrel is not kind. The squirrel likes the cat. The squirrel does not see the cat. The squirrel does not see the mouse. The squirrel does not visit the mouse. If the squirrel visits the cat and the cat does not like the squirrel then the cat sees the squirrel. If something likes the mouse then it is not blue. If something visits the mouse then it is blue. If something is blue then it sees the squirrel. If something likes the cat and it likes the mouse then the cat is not kind. If the squirrel is kind and the mouse does not see the squirrel then the squirrel does not like the cat.
The mouse does not like the squirrel.
@0: The cat does not like the mouse.[(triple3)] The cat is blue.[(triple1)] The cat is young.[(triple2)] The cat sees the mouse.[(triple4)] The mouse does not like the cat.[(triple8)] The mouse is kind.[(triple5)] The mouse is not nice.[(triple6)] The mouse is not young.[(triple7)] The mouse likes the squirrel.[(triple9)] The mouse sees the squirrel.[(triple10)] The squirrel does not see the cat.[(triple14)] The squirrel does not see the mouse.[(triple15)] The squirrel does not visit the mouse.[(triple16)] The squirrel is blue.[(triple11)] The squirrel is not kind.[(triple12)] The squirrel likes the cat.[(triple13)] @1: The cat sees the squirrel.[(((triple1) -> rule4))] The squirrel sees the squirrel.[(((triple11) -> rule4))]