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