The lion chases the squirrel. The lion eats the squirrel. The lion is blue. The lion is kind. The lion is rough. The lion is round. The lion visits the squirrel. The squirrel chases the lion. The squirrel eats the lion. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel visits the lion. If someone eats the lion and the lion is round then they visit the lion. If someone chases the squirrel then the squirrel chases the lion. If someone is blue then they eat the lion.
The lion visits the lion.
@0: The lion chases the squirrel.[(triple1)] The lion eats the squirrel.[(triple2)] The lion is blue.[(triple3)] The lion is kind.[(triple4)] The lion is rough.[(triple5)] The lion is round.[(triple6)] The lion visits the squirrel.[(triple7)] The squirrel chases the lion.[(triple8 OR ((triple1) -> rule2))] The squirrel eats the lion.[(triple9 OR ((triple10) -> rule3))] The squirrel is blue.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel visits the lion.[(triple15 OR ((triple9 triple6) -> rule1) OR ((((triple10) -> rule3) triple6) -> rule1))] @1: The lion eats the lion.[(((triple3) -> rule3))] @2: The lion visits the lion.[(((((triple3) -> rule3) triple6) -> rule1))]