The bear eats the rabbit. The bear is blue. The bear is not green. The bear is kind. The bear is nice. The bear is round. The bear does not need the rabbit. The bear sees the rabbit. The rabbit eats the bear. The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is not nice. The rabbit is round. The rabbit needs the bear. The rabbit sees the bear. If the rabbit eats the bear and the bear needs the rabbit then the bear sees the rabbit. If someone sees the rabbit then they do not need the rabbit. If someone needs the rabbit then they see the rabbit. If someone is nice and not green then they need the bear. If someone needs the bear and they do not need the rabbit then they are blue. If someone needs the rabbit and the rabbit is not blue then the rabbit sees the bear.
The rabbit does not see the rabbit.
@0: The bear does not need the rabbit.[(triple7 OR ((triple8) -> rule2))] The bear eats the rabbit.[(triple1)] The bear is blue.[(triple2 OR ((((triple5 triple3) -> rule4) triple7) -> rule5) OR ((((triple5 triple3) -> rule4) ((triple8) -> rule2)) -> rule5))] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is not green.[(triple3)] The bear is round.[(triple6)] The bear sees the rabbit.[(triple8)] The rabbit eats the bear.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is not nice.[(triple13)] The rabbit is round.[(triple14)] The rabbit needs the bear.[(triple15)] The rabbit sees the bear.[(triple16)] @1: The bear needs the bear.[(((triple5 triple3) -> rule4))]