The lion eats the squirrel. The lion is not blue. The lion is nice. The lion is not red. The lion is not rough. The lion is round. The lion needs the squirrel. The lion does not see the squirrel. The squirrel eats the lion. The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel is not rough. The squirrel is round. The squirrel needs the lion. The squirrel sees the lion. If something needs the squirrel and the squirrel is round then it does not eat the lion. If something sees the lion and it is red then the lion does not see the squirrel. All rough, blue things are nice.
The squirrel is nice.
@0: The lion does not see the squirrel.[(triple8 OR ((triple16 triple12) -> rule2))] The lion eats the squirrel.[(triple1)] The lion is nice.[(triple3)] The lion is not blue.[(triple2)] The lion is not red.[(triple4)] The lion is not rough.[(triple5)] The lion is round.[(triple6)] The lion needs the squirrel.[(triple7)] The squirrel eats the lion.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is not rough.[(triple13)] The squirrel is red.[(triple12)] The squirrel is round.[(triple14)] The squirrel needs the lion.[(triple15)] The squirrel sees the lion.[(triple16)] @1: The lion does not eat the lion.[(((triple7 triple14) -> rule1))]