The dog eats the mouse. The dog eats the squirrel. The lion is rough. The lion needs the mouse. The mouse eats the lion. The mouse is rough. The mouse likes the lion. The mouse likes the squirrel. The squirrel eats the lion. The squirrel eats the mouse. The squirrel is nice. The squirrel likes the mouse. The squirrel needs the dog. The squirrel needs the lion. The squirrel needs the mouse. If something eats the mouse and the mouse likes the squirrel then the squirrel likes the dog.
The dog likes the dog.
@0: The dog eats the mouse.[(triple1)] The dog eats the squirrel.[(triple2)] The lion is rough.[(triple3)] The lion needs the mouse.[(triple4)] The mouse eats the lion.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the lion.[(triple7)] The mouse likes the squirrel.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is nice.[(triple11)] The squirrel likes the mouse.[(triple12)] The squirrel needs the dog.[(triple13)] The squirrel needs the lion.[(triple14)] The squirrel needs the mouse.[(triple15)] @1: The squirrel likes the dog.[(((triple1 triple8) -> rule1) OR ((triple10 triple8) -> rule1))]