The bald eagle is cold. The bald eagle is red. The bald eagle is round. The bald eagle does not like the lion. The bald eagle does not see the lion. The lion eats the bald eagle. The lion is not cold. The lion is red. The lion likes the bald eagle. The lion sees the bald eagle. If the lion eats the bald eagle then the lion is young. If someone sees the lion and the lion eats the bald eagle then the lion is kind. If someone likes the bald eagle and the bald eagle sees the lion then the bald eagle is not kind. If someone likes the bald eagle and they are kind then they see the bald eagle. If someone is young then they see the lion. If the bald eagle does not eat the lion and the bald eagle does not see the lion then the bald eagle likes the lion.
The bald eagle is young.
@0: The bald eagle does not like the lion.[(triple4)] The bald eagle does not see the lion.[(triple5)] The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is round.[(triple3)] The lion eats the bald eagle.[(triple6)] The lion is not cold.[(triple7)] The lion is red.[(triple8)] The lion likes the bald eagle.[(triple9)] The lion sees the bald eagle.[(triple10 OR ((triple9 ((((((triple6) -> rule1)) -> rule5) triple6) -> rule2)) -> rule4))] @1: The lion is young.[(((triple6) -> rule1))] @2: The lion sees the lion.[(((((triple6) -> rule1)) -> rule5))] @3: The lion is kind.[(((((((triple6) -> rule1)) -> rule5) triple6) -> rule2))]