The bald eagle is kind. The bald eagle is rough. The bald eagle likes the lion. The bald eagle needs the lion. The bald eagle visits the lion. The lion likes the bald eagle. The lion visits the bald eagle. If someone needs the lion and they are red then they like the bald eagle. If the lion likes the bald eagle and the bald eagle is green then the lion visits the bald eagle. If someone is green then they like the lion. If the lion is green and the lion is red then the lion is young. If someone needs the lion and the lion visits the bald eagle then the lion is kind. If someone is young then they visit the bald eagle. If someone likes the bald eagle and the bald eagle visits the lion then the bald eagle is red. If someone likes the bald eagle and they visit the lion then the lion is young.
The lion is young.
@0: The bald eagle is kind.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle visits the lion.[(triple5)] The lion likes the bald eagle.[(triple6)] The lion visits the bald eagle.[(triple7 OR ((((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple5) -> rule8)) -> rule6))] @1: The bald eagle is red.[(((triple6 triple5) -> rule7))] The lion is kind.[(((triple4 triple7) -> rule5) OR ((triple4 ((((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple5) -> rule8)) -> rule6)) -> rule5))] @2: The bald eagle likes the bald eagle.[(((triple4 ((triple6 triple5) -> rule7)) -> rule1))] @3: The lion is young.[(((((triple4 ((triple6 triple5) -> rule7)) -> rule1) triple5) -> rule8))]