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