The bald eagle eats the lion. The bald eagle is kind. The bald eagle visits the lion. The lion eats the bald eagle. The lion is cold. The lion sees the bald eagle. The lion visits the bald eagle. If something visits the bald eagle and the bald eagle visits the lion then the bald eagle is round. If something is kind and blue then it eats the bald eagle. If something eats the lion and it visits the lion then the lion sees the bald eagle. If the lion is blue and the lion sees the bald eagle then the bald eagle sees the lion. If something is kind and cold then it visits the bald eagle. If something eats the lion then the lion is young. If something is young and it eats the bald eagle then it is cold. If something sees the bald eagle and the bald eagle visits the lion then it sees the lion.
The bald eagle is blue.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle visits the lion.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion is cold.[(triple5 OR ((((triple1) -> rule6) triple4) -> rule7))] The lion sees the bald eagle.[(triple6 OR ((triple1 triple3) -> rule3))] The lion visits the bald eagle.[(triple7)] @1: The bald eagle is round.[(((triple7 triple3) -> rule1))] The lion is young.[(((triple1) -> rule6))] The lion sees the lion.[(((triple6 triple3) -> rule8) OR ((((triple1 triple3) -> rule3) triple3) -> rule8))]