The lion eats the squirrel. The lion is big. The lion is blue. The lion is kind. The lion is rough. The lion is round. The lion needs the squirrel. The lion sees the squirrel. The squirrel eats the lion. The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel needs the lion. The squirrel sees the lion. If someone eats the lion then the lion is blue. If someone eats the lion then the lion sees the squirrel. If the lion needs the squirrel and the squirrel sees the lion then the lion eats the squirrel. If someone needs the squirrel and the squirrel is round then they eat the lion. If someone is round then they eat the lion. If the squirrel is blue and the squirrel eats the lion then the lion needs the squirrel.
The lion does not see the lion.
@0: The lion eats the squirrel.[(triple1 OR ((triple7 triple16) -> rule3) OR ((((triple11 triple9) -> rule6) triple16) -> rule3) OR ((((triple11 ((triple14) -> rule5)) -> rule6) triple16) -> rule3))] The lion is big.[(triple2)] The lion is blue.[(triple3 OR ((triple9) -> rule1) OR ((((triple14) -> rule5)) -> rule1) OR ((((triple6) -> rule5)) -> rule1) OR ((((triple7 triple14) -> rule4)) -> rule1) OR ((((((triple11 triple9) -> rule6) triple14) -> rule4)) -> rule1) OR ((((((triple11 ((triple14) -> rule5)) -> rule6) triple14) -> rule4)) -> rule1))] The lion is kind.[(triple4)] The lion is rough.[(triple5)] The lion is round.[(triple6)] The lion needs the squirrel.[(triple7 OR ((triple11 triple9) -> rule6) OR ((triple11 ((triple14) -> rule5)) -> rule6))] The lion sees the squirrel.[(triple8 OR ((triple9) -> rule2) OR ((((triple14) -> rule5)) -> rule2) OR ((((triple6) -> rule5)) -> rule2) OR ((((triple7 triple14) -> rule4)) -> rule2) OR ((((((triple11 triple9) -> rule6) triple14) -> rule4)) -> rule2) OR ((((((triple11 ((triple14) -> rule5)) -> rule6) triple14) -> rule4)) -> rule2))] The squirrel eats the lion.[(triple9 OR ((triple14) -> rule5))] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel needs the lion.[(triple15)] The squirrel sees the lion.[(triple16)] @1: The lion eats the lion.[(((triple6) -> rule5) OR ((triple7 triple14) -> rule4) OR ((((triple11 triple9) -> rule6) triple14) -> rule4) OR ((((triple11 ((triple14) -> rule5)) -> rule6) triple14) -> rule4))]