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