The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is cold. The bald eagle likes the bear. The bald eagle needs the lion. The bear is blue. The bear needs the bald eagle. The lion likes the bear. The rabbit is red. The rabbit needs the lion. If something is blue then it likes the lion. If something is blue and it needs the lion then the lion likes the bear. If something likes the lion and the lion needs the rabbit then it needs the lion. If the rabbit is blue then the rabbit likes the bear. If something eats the bear then the bear needs the bald eagle. If something needs the bald eagle then it eats the rabbit.
The rabbit does not like the lion.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle likes the bear.[(triple4)] The bald eagle needs the lion.[(triple5)] The bear is blue.[(triple6)] The bear needs the bald eagle.[(triple7)] The lion likes the bear.[(triple8 OR ((triple2 triple5) -> rule2))] The rabbit is red.[(triple9)] The rabbit needs the lion.[(triple10)] @1: The bald eagle likes the lion.[(((triple2) -> rule1))] The bear eats the rabbit.[(((triple7) -> rule6))] The bear likes the lion.[(((triple6) -> rule1))]