The bear does not chase the rabbit. The bear is not nice. The lion eats the bear. The lion is kind. The lion is not red. The lion sees the squirrel. The rabbit is cold. The rabbit is red. The squirrel eats the lion. The squirrel eats the rabbit. The squirrel is blue. The squirrel is cold. The squirrel is red. The squirrel sees the lion. The squirrel sees the rabbit. If something is nice and it chases the lion then it is not blue. If something eats the lion then it sees the squirrel. If something eats the bear then it does not chase the lion. If something chases the rabbit and the rabbit sees the lion then it chases the lion. If something eats the rabbit then it chases the bear. If something is nice and it eats the squirrel then it sees the bear.
The squirrel eats the rabbit.
@0: The bear does not chase the rabbit.[(triple1)] The bear is not nice.[(triple2)] The lion eats the bear.[(triple3)] The lion is kind.[(triple4)] The lion is not red.[(triple5)] The lion sees the squirrel.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is red.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is red.[(triple13)] The squirrel sees the lion.[(triple14)] The squirrel sees the rabbit.[(triple15)] @1: The lion does not chase the lion.[(((triple3) -> rule3))] The squirrel chases the bear.[(((triple10) -> rule5))] The squirrel sees the squirrel.[(((triple9) -> rule2))]