The cat likes the tiger. The cat does not see the tiger. The mouse is not kind. The squirrel likes the mouse. The tiger likes the mouse. The tiger likes the squirrel. The tiger sees the mouse. If someone likes the mouse then the mouse visits the squirrel. If someone visits the squirrel and the squirrel visits the cat then the cat is kind. If the mouse visits the squirrel then the mouse likes the tiger. If the mouse likes the tiger then the mouse is green. If someone visits the mouse then they see the cat. If the mouse is kind then the mouse likes the squirrel. If someone likes the squirrel and they like the mouse then the squirrel sees the cat. If the squirrel sees the cat and the squirrel is kind then the squirrel is not rough.
The mouse does not like the tiger.
@0: The cat does not see the tiger.[(triple2)] The cat likes the tiger.[(triple1)] The mouse is not kind.[(triple3)] The squirrel likes the mouse.[(triple4)] The tiger likes the mouse.[(triple5)] The tiger likes the squirrel.[(triple6)] The tiger sees the mouse.[(triple7)] @1: The mouse visits the squirrel.[(((triple4) -> rule1) OR ((triple5) -> rule1))] The squirrel sees the cat.[(((triple6 triple5) -> rule7))] @2: The mouse likes the tiger.[(((((triple4) -> rule1)) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] @3: The mouse is green.[(((((((triple4) -> rule1)) -> rule3)) -> rule4) OR ((((((triple5) -> rule1)) -> rule3)) -> rule4))]