The bald eagle is green. The bald eagle is red. The bald eagle is round. All big people are round. If the bald eagle is big then the bald eagle is round. All round, green people are big. Red people are green. All round people are green. If someone is round and cold then they are red. If someone is green and big then they are cold. If someone is green then they are round.
The bald eagle is red.
@0: The bald eagle is green.[(triple1 OR ((triple2) -> rule4) OR ((triple3) -> rule5))] The bald eagle is red.[(triple2 OR ((triple3 ((triple1 ((triple3 triple1) -> rule3)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule5) ((triple3 triple1) -> rule3)) -> rule7)) -> rule6) OR ((((triple1) -> rule8) ((triple1 ((triple3 triple1) -> rule3)) -> rule7)) -> rule6) OR ((((triple1) -> rule8) ((((triple3) -> rule5) ((triple3 triple1) -> rule3)) -> rule7)) -> rule6) OR ((triple3 ((triple1 ((triple3 ((triple3) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple3 ((triple1 ((((triple1) -> rule8) triple1) -> rule3)) -> rule7)) -> rule6) OR ((triple3 ((triple1 ((((triple1) -> rule8) ((triple3) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule5) ((triple3 ((triple3) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule5) ((((triple1) -> rule8) triple1) -> rule3)) -> rule7)) -> rule6) OR ((((triple1) -> rule8) ((triple1 ((triple3 ((triple3) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8) triple1) -> rule3)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule5) ((((triple1) -> rule8) ((triple3) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((((triple1) -> rule8) ((triple1 ((((triple1) -> rule8) ((triple3) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((((triple1) -> rule8) ((((triple3) -> rule5) ((triple3 ((triple3) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((((triple1) -> rule8) ((((triple3) -> rule5) ((((triple1) -> rule8) triple1) -> rule3)) -> rule7)) -> rule6) OR ((((triple1) -> rule8) ((((triple3) -> rule5) ((((triple1) -> rule8) ((triple3) -> rule5)) -> rule3)) -> rule7)) -> rule6))] The bald eagle is round.[(triple3 OR ((triple1) -> rule8) OR ((((triple2) -> rule4)) -> rule8))] @1: The bald eagle is big.[(((triple3 triple1) -> rule3) OR ((triple3 ((triple2) -> rule4)) -> rule3) OR ((triple3 ((triple3) -> rule5)) -> rule3) OR ((((triple1) -> rule8) triple1) -> rule3) OR ((((triple1) -> rule8) ((triple2) -> rule4)) -> rule3) OR ((((triple1) -> rule8) ((triple3) -> rule5)) -> rule3) OR ((((((triple2) -> rule4)) -> rule8) triple1) -> rule3) OR ((((((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule3) OR ((((((triple2) -> rule4)) -> rule8) ((triple3) -> rule5)) -> rule3))] @2: The bald eagle is cold.[(((triple1 ((triple3 triple1) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((triple3 triple1) -> rule3)) -> rule7) OR ((((triple3) -> rule5) ((triple3 triple1) -> rule3)) -> rule7) OR ((triple1 ((triple3 ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((triple1 ((triple3 ((triple3) -> rule5)) -> rule3)) -> rule7) OR ((triple1 ((((triple1) -> rule8) triple1) -> rule3)) -> rule7) OR ((triple1 ((((triple1) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((triple1 ((((triple1) -> rule8) ((triple3) -> rule5)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((triple3 ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((triple3 ((triple3) -> rule5)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((triple1) -> rule8) triple1) -> rule3)) -> rule7) OR ((((triple3) -> rule5) ((triple3 ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple3) -> rule5) ((triple3 ((triple3) -> rule5)) -> rule3)) -> rule7) OR ((((triple3) -> rule5) ((((triple1) -> rule8) triple1) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((triple1) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((triple1) -> rule8) ((triple3) -> rule5)) -> rule3)) -> rule7) OR ((((triple3) -> rule5) ((((triple1) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple3) -> rule5) ((((triple1) -> rule8) ((triple3) -> rule5)) -> rule3)) -> rule7) OR ((triple1 ((((((triple2) -> rule4)) -> rule8) triple1) -> rule3)) -> rule7) OR ((triple1 ((((((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((triple1 ((((((triple2) -> rule4)) -> rule8) ((triple3) -> rule5)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule8) triple1) -> rule3)) -> rule7) OR ((((triple3) -> rule5) ((((((triple2) -> rule4)) -> rule8) triple1) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule8) ((triple3) -> rule5)) -> rule3)) -> rule7) OR ((((triple3) -> rule5) ((((((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple3) -> rule5) ((((((triple2) -> rule4)) -> rule8) ((triple3) -> rule5)) -> rule3)) -> rule7))]