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