The bald eagle is blue. The bald eagle is nice. The bald eagle is round. If the bald eagle is round then the bald eagle is cold. All round things are young. If the bald eagle is blue then the bald eagle is young. All nice things are round. If something is young then it is cold. If the bald eagle is young then the bald eagle is nice. Nice things are blue. If the bald eagle is cold and the bald eagle is nice then the bald eagle is round.
The bald eagle is not round.
@0: The bald eagle is blue.[(triple1 OR ((triple2) -> rule7) OR ((((((triple3) -> rule2)) -> rule6)) -> rule7))] The bald eagle is nice.[(triple2 OR ((((triple1) -> rule3)) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] The bald eagle is round.[(triple3 OR ((triple2) -> rule4) OR ((((((triple1) -> rule3)) -> rule6)) -> rule4) OR ((((((triple1) -> rule3)) -> rule5) triple2) -> rule8) OR ((((((triple1) -> rule3)) -> rule5) ((((triple1) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple2) -> rule7)) -> rule3)) -> rule5) triple2) -> rule8) OR ((((((((triple2) -> rule7)) -> rule3)) -> rule5) ((((triple1) -> rule3)) -> rule6)) -> rule8))] @1: The bald eagle is cold.[(((triple3) -> rule1) OR ((((triple1) -> rule3)) -> rule5) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple3) -> rule2)) -> rule5) OR ((((((triple2) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule7)) -> rule3)) -> rule5) OR ((((((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule1))] The bald eagle is young.[(((triple1) -> rule3) OR ((triple3) -> rule2) OR ((((triple2) -> rule4)) -> rule2) OR ((((triple2) -> rule7)) -> rule3))]