The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle is blue. The bald eagle is red. The bald eagle is rough. The bald eagle is young. The bald eagle needs the lion. The lion is red. The lion likes the bald eagle. The rabbit chases the bald eagle. The rabbit chases the lion. The rabbit is blue. The rabbit is red. The rabbit likes the bald eagle. The rabbit likes the lion. The rabbit needs the bald eagle. If something is red then it needs the bald eagle.
The bald eagle is blue.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the lion.[(triple7)] The lion is red.[(triple8)] The lion likes the bald eagle.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit chases the lion.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is red.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit likes the lion.[(triple15)] The rabbit needs the bald eagle.[(triple16 OR ((triple13) -> rule1))] @1: The bald eagle needs the bald eagle.[(((triple4) -> rule1))] The lion needs the bald eagle.[(((triple8) -> rule1))]