The bear does not chase the rabbit. The bear is red. The bear does not see the cat. The bear sees the squirrel. The cat eats the bear. The cat eats the rabbit. The rabbit does not chase the squirrel. The rabbit eats the cat. The rabbit eats the squirrel. The rabbit is red. The squirrel chases the bear. The squirrel eats the rabbit. The squirrel is not big. The squirrel is not kind. The squirrel is round. The squirrel sees the cat. If something eats the rabbit then the rabbit does not chase the bear.
The cat sees the rabbit.
@0: The bear does not chase the rabbit.[(triple1)] The bear does not see the cat.[(triple3)] The bear is red.[(triple2)] The bear sees the squirrel.[(triple4)] The cat eats the bear.[(triple5)] The cat eats the rabbit.[(triple6)] The rabbit does not chase the squirrel.[(triple7)] The rabbit eats the cat.[(triple8)] The rabbit eats the squirrel.[(triple9)] The rabbit is red.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel eats the rabbit.[(triple12)] The squirrel is not big.[(triple13)] The squirrel is not kind.[(triple14)] The squirrel is round.[(triple15)] The squirrel sees the cat.[(triple16)] @1: The rabbit does not chase the bear.[(((triple12) -> rule1) OR ((triple6) -> rule1))]