The bear chases the rabbit. The bear does not eat the rabbit. The bear is not blue. The bear is green. The bear is nice. The bear is rough. The bear is round. The bear likes the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit likes the bear. If something eats the rabbit then the rabbit does not eat the bear. If something chases the bear and it likes the rabbit then the rabbit likes the bear. If something is round and blue then it chases the bear.
The bear does not chase the bear.
@0: The bear chases the rabbit.[(triple1)] The bear does not eat the rabbit.[(triple2)] The bear is green.[(triple4)] The bear is nice.[(triple5)] The bear is not blue.[(triple3)] The bear is rough.[(triple6)] The bear is round.[(triple7)] The bear likes the rabbit.[(triple8)] The rabbit chases the bear.[(triple9 OR ((triple15 triple11) -> rule3))] The rabbit eats the bear.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is green.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is rough.[(triple14)] The rabbit is round.[(triple15)] The rabbit likes the bear.[(triple16)]