The bear chases the rabbit. The bear eats the rabbit. The bear is big. The bear is blue. The bear is cold. The bear is nice. The bear needs the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit needs the bear. If something needs the bear then the bear eats the rabbit. If something eats the rabbit then the rabbit chases the bear. If the bear chases the rabbit then the bear needs the rabbit. If something eats the rabbit then it is nice. If the bear is blue and the bear is big then the bear eats the rabbit. If something is kind then it needs the rabbit.
The rabbit does not chase the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear eats the rabbit.[(triple2 OR ((triple15) -> rule1) OR ((triple4 triple3) -> rule5))] The bear is big.[(triple3)] The bear is blue.[(triple4)] The bear is cold.[(triple5)] The bear is nice.[(triple6 OR ((triple2) -> rule4) OR ((((triple15) -> rule1)) -> rule4) OR ((((triple4 triple3) -> rule5)) -> rule4))] The bear needs the rabbit.[(triple7 OR ((triple1) -> rule3))] The rabbit chases the bear.[(triple8 OR ((triple2) -> rule2) OR ((((triple15) -> rule1)) -> rule2) OR ((((triple4 triple3) -> rule5)) -> rule2))] The rabbit eats the bear.[(triple9)] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is nice.[(triple14)] The rabbit needs the bear.[(triple15)] @1: The rabbit needs the rabbit.[(((triple13) -> rule6))]