The cat likes the squirrel. The cat needs the squirrel. The cat visits the mouse. The mouse is green. The mouse likes the cat. The mouse visits the cat. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel likes the cat. The squirrel visits the tiger. The tiger is round. The tiger is young. The tiger likes the cat. The tiger visits the mouse. The tiger visits the squirrel. If something is green then it needs the tiger.
The squirrel does not need the tiger.
@0: The cat likes the squirrel.[(triple1)] The cat needs the squirrel.[(triple2)] The cat visits the mouse.[(triple3)] The mouse is green.[(triple4)] The mouse likes the cat.[(triple5)] The mouse visits the cat.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is round.[(triple8)] The squirrel is young.[(triple9)] The squirrel likes the cat.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger likes the cat.[(triple14)] The tiger visits the mouse.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The mouse needs the tiger.[(((triple4) -> rule1))]