The cat is not big. The cat likes the mouse. The cat needs the squirrel. The cat visits the tiger. The mouse likes the tiger. The mouse needs the cat. The mouse visits the tiger. The squirrel visits the mouse. The tiger is big. The tiger visits the mouse. If someone visits the mouse then the mouse does not need the tiger. If someone likes the cat then the cat visits the tiger. If someone likes the mouse and the mouse does not need the tiger then the mouse likes the squirrel.
The mouse does not need the tiger.
@0: The cat is not big.[(triple1)] The cat likes the mouse.[(triple2)] The cat needs the squirrel.[(triple3)] The cat visits the tiger.[(triple4)] The mouse likes the tiger.[(triple5)] The mouse needs the cat.[(triple6)] The mouse visits the tiger.[(triple7)] The squirrel visits the mouse.[(triple8)] The tiger is big.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The mouse does not need the tiger.[(((triple10) -> rule1) OR ((triple8) -> rule1))] @2: The mouse likes the squirrel.[(((triple2 ((triple10) -> rule1)) -> rule3) OR ((triple2 ((triple8) -> rule1)) -> rule3))]