The lion chases the squirrel. The lion eats the squirrel. The lion is big. The lion is cold. The lion is kind. The lion is nice. The lion visits the squirrel. The squirrel chases the lion. The squirrel eats the lion. The squirrel is big. The squirrel is round. The squirrel visits the lion. If something eats the lion then the lion eats the squirrel. If something visits the squirrel then it eats the squirrel. Big, kind things are nice. If something chases the lion then it chases the squirrel. If something chases the lion then it eats the squirrel. If something visits the squirrel and it chases the lion then it is cold. If something chases the lion and the lion visits the squirrel then the lion chases the squirrel. If the squirrel visits the lion then the lion chases the squirrel.
The lion is round.
@0: The lion chases the squirrel.[(triple1 OR ((triple12) -> rule8) OR ((triple8 triple7) -> rule7))] The lion eats the squirrel.[(triple2 OR ((triple7) -> rule2) OR ((triple9) -> rule1))] The lion is big.[(triple3)] The lion is cold.[(triple4)] The lion is kind.[(triple5)] The lion is nice.[(triple6 OR ((triple3 triple5) -> rule3))] The lion visits the squirrel.[(triple7)] The squirrel chases the lion.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel is big.[(triple10)] The squirrel is round.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The squirrel chases the squirrel.[(((triple8) -> rule4))] The squirrel eats the squirrel.[(((triple8) -> rule5))]