The bear eats the rabbit. The bear is not blue. The bear sees the lion. The bear sees the rabbit. The bear sees the squirrel. The lion eats the bear. The lion eats the squirrel. The lion is kind. The lion sees the bear. The lion sees the squirrel. The rabbit eats the lion. The rabbit is big. The rabbit is cold. The squirrel is blue. The squirrel likes the bear. The squirrel sees the lion. If someone eats the bear then the bear does not eat the squirrel. If someone eats the rabbit and they are blue then the rabbit eats the squirrel. If the squirrel likes the bear then the bear is kind. If the bear is blue then the bear eats the lion. If someone sees the lion then they eat the rabbit. If the bear is blue and the rabbit does not like the bear then the bear is big. If someone sees the lion and they do not eat the rabbit then the lion eats the squirrel. If someone eats the rabbit and they are not big then they are green.
The rabbit eats the lion.
@0: The bear eats the rabbit.[(triple1 OR ((triple3) -> rule5))] The bear is not blue.[(triple2)] The bear sees the lion.[(triple3)] The bear sees the rabbit.[(triple4)] The bear sees the squirrel.[(triple5)] The lion eats the bear.[(triple6)] The lion eats the squirrel.[(triple7)] The lion is kind.[(triple8)] The lion sees the bear.[(triple9)] The lion sees the squirrel.[(triple10)] The rabbit eats the lion.[(triple11)] The rabbit is big.[(triple12)] The rabbit is cold.[(triple13)] The squirrel is blue.[(triple14)] The squirrel likes the bear.[(triple15)] The squirrel sees the lion.[(triple16)] @1: The bear does not eat the squirrel.[(((triple6) -> rule1))] The bear is kind.[(((triple15) -> rule3))] The squirrel eats the rabbit.[(((triple16) -> rule5))] @2: The rabbit eats the squirrel.[(((((triple16) -> rule5) triple14) -> rule2))]