The lion chases the squirrel. The lion eats the squirrel. The lion is big. The lion is green. The lion is kind. The lion is red. The lion is round. The lion needs the squirrel. The squirrel chases the lion. The squirrel eats the lion. The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel needs the lion. If someone chases the lion then the lion is green. If someone is round then they eat the squirrel. If someone chases the squirrel and they eat the squirrel then they chase the lion. If someone chases the lion and they are kind then they chase the squirrel. If the squirrel needs the lion then the lion needs the squirrel. If someone needs the lion and they eat the lion then the lion needs the squirrel. If someone needs the lion and the lion is round then the lion chases the squirrel. If the squirrel needs the lion and the squirrel eats the lion then the squirrel is red.
The lion chases the squirrel.
@0: The lion chases the squirrel.[(triple1 OR ((triple16 triple7) -> rule7))] The lion eats the squirrel.[(triple2 OR ((triple7) -> rule2))] The lion is big.[(triple3)] The lion is green.[(triple4 OR ((triple9) -> rule1) OR ((((triple1 triple2) -> rule3)) -> rule1) OR ((((triple1 ((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((((triple16 triple7) -> rule7) triple2) -> rule3)) -> rule1) OR ((((((triple16 triple7) -> rule7) ((triple7) -> rule2)) -> rule3)) -> rule1))] The lion is kind.[(triple5)] The lion is red.[(triple6)] The lion is round.[(triple7)] The lion needs the squirrel.[(triple8 OR ((triple16) -> rule5) OR ((triple16 triple10) -> rule6))] The squirrel chases the lion.[(triple9)] The squirrel eats the lion.[(triple10)] The squirrel is big.[(triple11)] The squirrel is green.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is red.[(triple14 OR ((triple16 triple10) -> rule8))] The squirrel is round.[(triple15)] The squirrel needs the lion.[(triple16)] @1: The lion chases the lion.[(((triple1 triple2) -> rule3) OR ((triple1 ((triple7) -> rule2)) -> rule3) OR ((((triple16 triple7) -> rule7) triple2) -> rule3) OR ((((triple16 triple7) -> rule7) ((triple7) -> rule2)) -> rule3))] The squirrel chases the squirrel.[(((triple9 triple13) -> rule4))] The squirrel eats the squirrel.[(((triple15) -> rule2))]