The cat is red. The cat sees the mouse. The mouse is green. The mouse likes the squirrel. The mouse sees the squirrel. The mouse visits the cat. The mouse visits the squirrel. The squirrel is red. The squirrel is rough. The squirrel likes the mouse. The squirrel does not see the cat. The squirrel sees the mouse. If something sees the cat then it is not rough. If something likes the mouse and the mouse sees the squirrel then it is rough. If something likes the mouse then the mouse is green.
The mouse does not visit the squirrel.
@0: The cat is red.[(triple1)] The cat sees the mouse.[(triple2)] The mouse is green.[(triple3 OR ((triple10) -> rule3))] The mouse likes the squirrel.[(triple4)] The mouse sees the squirrel.[(triple5)] The mouse visits the cat.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel does not see the cat.[(triple11)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9 OR ((triple10 triple5) -> rule2))] The squirrel likes the mouse.[(triple10)] The squirrel sees the mouse.[(triple12)]