The rabbit chases the squirrel. The rabbit chases the tiger. The rabbit likes the squirrel. The rabbit likes the tiger. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel chases the tiger. The squirrel is blue. The squirrel is young. The squirrel likes the rabbit. The squirrel visits the rabbit. The tiger chases the rabbit. The tiger is rough. The tiger is young. The tiger visits the squirrel. If something visits the rabbit then it likes the squirrel. If something visits the tiger and it visits the rabbit then the tiger chases the rabbit. If something likes the rabbit then it likes the squirrel.
The squirrel visits the rabbit.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit chases the tiger.[(triple2)] The rabbit likes the squirrel.[(triple3)] The rabbit likes the tiger.[(triple4)] The rabbit visits the squirrel.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is young.[(triple9)] The squirrel likes the rabbit.[(triple10)] The squirrel visits the rabbit.[(triple11)] The tiger chases the rabbit.[(triple12)] The tiger is rough.[(triple13)] The tiger is young.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The squirrel likes the squirrel.[(((triple10) -> rule3) OR ((triple11) -> rule1))]