The lion eats the squirrel. The lion is round. The lion needs the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel does not need the lion. The squirrel visits the lion. If something needs the lion then it eats the squirrel. If something needs the squirrel and the squirrel eats the lion then it needs the lion. If something is nice then it is cold.
The squirrel needs the squirrel.
@0: The lion eats the squirrel.[(triple1 OR ((((triple3 triple5) -> rule2)) -> rule1))] The lion is round.[(triple2)] The lion needs the squirrel.[(triple3)] The lion visits the squirrel.[(triple4)] The squirrel does not need the lion.[(triple9)] The squirrel eats the lion.[(triple5)] The squirrel is big.[(triple6)] The squirrel is cold.[(triple7 OR ((triple8) -> rule3))] The squirrel is nice.[(triple8)] The squirrel visits the lion.[(triple10)] @1: The lion needs the lion.[(((triple3 triple5) -> rule2))]