The lion eats the squirrel. The lion is cold. The lion is kind. The lion is nice. The lion is round. The lion is young. The lion needs the squirrel. The lion sees the squirrel. The squirrel eats the lion. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel needs the lion. The squirrel sees the lion. If the lion is young then the lion eats the squirrel. If the lion eats the squirrel then the lion is nice. If something needs the squirrel and it eats the squirrel then the squirrel sees the lion. If something needs the squirrel then the squirrel eats the lion. If something needs the squirrel and it is cold then it sees the lion. If something sees the squirrel and it eats the lion then it is kind. If the squirrel eats the lion then the lion is cold. All round things are nice.
The squirrel does not see the squirrel.
@0: The lion eats the squirrel.[(triple1 OR ((triple6) -> rule1))] The lion is cold.[(triple2 OR ((triple9) -> rule7) OR ((((triple7) -> rule4)) -> rule7))] The lion is kind.[(triple3)] The lion is nice.[(triple4 OR ((triple1) -> rule2) OR ((triple5) -> rule8) OR ((((triple6) -> rule1)) -> rule2))] The lion is round.[(triple5)] The lion is young.[(triple6)] The lion needs the squirrel.[(triple7)] The lion sees the squirrel.[(triple8)] The squirrel eats the lion.[(triple9 OR ((triple7) -> rule4))] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12 OR ((triple13) -> rule8))] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the lion.[(triple15)] The squirrel sees the lion.[(triple16 OR ((triple7 triple1) -> rule3) OR ((triple7 ((triple6) -> rule1)) -> rule3))] @1: The lion sees the lion.[(((triple7 triple2) -> rule5) OR ((triple7 ((triple9) -> rule7)) -> rule5) OR ((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule5))]