The cow is rough. The cow needs the tiger. The cow visits the squirrel. The rabbit is kind. The rabbit visits the cow. The rabbit visits the squirrel. The squirrel is blue. The squirrel is rough. The squirrel likes the cow. The squirrel visits the cow. The tiger is blue. The tiger likes the cow. The tiger likes the rabbit. The tiger needs the rabbit. The tiger visits the rabbit. If something is big then it likes the tiger. If something likes the cow then it needs the squirrel.
The rabbit does not need the squirrel.
@0: The cow is rough.[(triple1)] The cow needs the tiger.[(triple2)] The cow visits the squirrel.[(triple3)] The rabbit is kind.[(triple4)] The rabbit visits the cow.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is rough.[(triple8)] The squirrel likes the cow.[(triple9)] The squirrel visits the cow.[(triple10)] The tiger is blue.[(triple11)] The tiger likes the cow.[(triple12)] The tiger likes the rabbit.[(triple13)] The tiger needs the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The squirrel needs the squirrel.[(((triple9) -> rule2))] The tiger needs the squirrel.[(((triple12) -> rule2))]