The bald eagle needs the lion. The bald eagle visits the lion. The lion is blue. The lion is nice. The lion is red. The lion is round. The lion is young. The lion likes the bald eagle. The lion needs the bald eagle. The lion visits the bald eagle. If someone is blue and they need the bald eagle then they are red.
The lion likes the lion.
@0: The bald eagle needs the lion.[(triple1)] The bald eagle visits the lion.[(triple2)] The lion is blue.[(triple3)] The lion is nice.[(triple4)] The lion is red.[(triple5 OR ((triple3 triple9) -> rule1))] The lion is round.[(triple6)] The lion is young.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion needs the bald eagle.[(triple9)] The lion visits the bald eagle.[(triple10)]