The bald eagle eats the bear. The bald eagle eats the rabbit. The bald eagle is rough. The bald eagle does not like the bear. The bald eagle likes the rabbit. The bear chases the bald eagle. The bear chases the rabbit. The bear eats the bald eagle. The bear eats the rabbit. The bear is big. The bear is rough. The bear likes the bald eagle. The rabbit is big. The rabbit is nice. The rabbit is not rough. The rabbit likes the bear. If someone chases the bald eagle and they like the bear then the bear is young. If someone is big then they like the rabbit. If someone eats the bald eagle then the bald eagle is nice. If someone eats the rabbit then they eat the bald eagle. If someone chases the rabbit and the rabbit eats the bear then they chase the bald eagle. If someone chases the rabbit and they are not big then the rabbit is red.
The rabbit eats the bear.
@0: The bald eagle does not like the bear.[(triple4)] The bald eagle eats the bear.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the rabbit.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear chases the rabbit.[(triple7)] The bear eats the bald eagle.[(triple8 OR ((triple9) -> rule4))] The bear eats the rabbit.[(triple9)] The bear is big.[(triple10)] The bear is rough.[(triple11)] The bear likes the bald eagle.[(triple12)] The rabbit is big.[(triple13)] The rabbit is nice.[(triple14)] The rabbit is not rough.[(triple15)] The rabbit likes the bear.[(triple16)] @1: The bald eagle eats the bald eagle.[(((triple2) -> rule4))] The bald eagle is nice.[(((triple8) -> rule3) OR ((((triple2) -> rule4)) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] The bear likes the rabbit.[(((triple10) -> rule2))] The rabbit likes the rabbit.[(((triple13) -> rule2))]