The bear eats the rabbit. The bear is not blue. The bear is green. The bear is nice. The bear is red. The bear needs the rabbit. The bear sees the rabbit. The rabbit does not eat the bear. The rabbit is blue. The rabbit sees the bear. If someone sees the bear then the bear sees the rabbit. If the rabbit is nice then the rabbit sees the bear. If the bear eats the rabbit then the rabbit sees the bear. If the rabbit is green and the rabbit needs the bear then the rabbit is not round. If someone eats the rabbit and they are nice then they eat the bear. If someone needs the bear and they do not need the rabbit then the bear is nice. If someone eats the bear and the bear needs the rabbit then the rabbit is green. If someone eats the bear and they need the bear then they do not see the bear.
The rabbit is not round.
@0: The bear eats the rabbit.[(triple1)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is not blue.[(triple2)] The bear is red.[(triple5)] The bear needs the rabbit.[(triple6)] The bear sees the rabbit.[(triple7 OR ((triple10) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] The rabbit does not eat the bear.[(triple8)] The rabbit is blue.[(triple9)] The rabbit sees the bear.[(triple10 OR ((triple1) -> rule3))] @1: The bear eats the bear.[(((triple1 triple4) -> rule5))] @2: The rabbit is green.[(((((triple1 triple4) -> rule5) triple6) -> rule7))]