The lion needs the squirrel. The lion visits the squirrel. The squirrel visits the lion. If someone visits the lion then the lion eats the squirrel. If someone eats the lion then the lion is round. If someone eats the squirrel and the squirrel eats the lion then the squirrel is big. If someone eats the lion then they are kind. If someone visits the lion then they visit the squirrel. If someone eats the squirrel then the squirrel eats the lion. If someone is nice then they are big. If someone needs the lion then they visit the lion.
The lion is not big.
@0: The lion needs the squirrel.[(triple1)] The lion visits the squirrel.[(triple2)] The squirrel visits the lion.[(triple3)] @1: The lion eats the squirrel.[(((triple3) -> rule1))] The squirrel visits the squirrel.[(((triple3) -> rule5))] @2: The squirrel eats the lion.[(((((triple3) -> rule1)) -> rule6))] @3: The lion is round.[(((((((triple3) -> rule1)) -> rule6)) -> rule2))] The squirrel is big.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule6)) -> rule3))] The squirrel is kind.[(((((((triple3) -> rule1)) -> rule6)) -> rule4))]