The bald eagle is cold. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle is young. Rough things are cold. If something is rough and young then it is round. If the bald eagle is round and the bald eagle is young then the bald eagle is rough. If the bald eagle is young then the bald eagle is rough. If something is red then it is round. All cold, rough things are red. Red things are young. All round things are red.
The bald eagle eats the bald eagle.
@0: The bald eagle is cold.[(triple1 OR ((triple3) -> rule1) OR ((((triple5) -> rule4)) -> rule1) OR ((((triple4 triple5) -> rule3)) -> rule1) OR ((((((triple2) -> rule7)) -> rule4)) -> rule1) OR ((((triple4 ((triple2) -> rule7)) -> rule3)) -> rule1) OR ((((((triple2) -> rule5) triple5) -> rule3)) -> rule1) OR ((((((triple2) -> rule5) ((triple2) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple4) -> rule8)) -> rule7)) -> rule4)) -> rule1) OR ((((triple4 ((((triple4) -> rule8)) -> rule7)) -> rule3)) -> rule1) OR ((((((triple2) -> rule5) ((((triple4) -> rule8)) -> rule7)) -> rule3)) -> rule1))] The bald eagle is red.[(triple2 OR ((triple4) -> rule8) OR ((triple1 triple3) -> rule6) OR ((((triple3 triple5) -> rule2)) -> rule8) OR ((triple1 ((triple5) -> rule4)) -> rule6) OR ((triple1 ((triple4 triple5) -> rule3)) -> rule6) OR ((((triple3) -> rule1) triple3) -> rule6) OR ((((triple3) -> rule1) ((triple5) -> rule4)) -> rule6) OR ((((triple3) -> rule1) ((triple4 triple5) -> rule3)) -> rule6) OR ((((((triple5) -> rule4) triple5) -> rule2)) -> rule8) OR ((((((triple5) -> rule4)) -> rule1) triple3) -> rule6) OR ((((((triple4 triple5) -> rule3)) -> rule1) triple3) -> rule6) OR ((((((triple5) -> rule4)) -> rule1) ((triple5) -> rule4)) -> rule6) OR ((((((triple5) -> rule4)) -> rule1) ((triple4 triple5) -> rule3)) -> rule6) OR ((((((triple4 triple5) -> rule3)) -> rule1) ((triple5) -> rule4)) -> rule6) OR ((((((triple4 triple5) -> rule3)) -> rule1) ((triple4 triple5) -> rule3)) -> rule6))] The bald eagle is rough.[(triple3 OR ((triple5) -> rule4) OR ((triple4 triple5) -> rule3) OR ((((triple2) -> rule7)) -> rule4) OR ((triple4 ((triple2) -> rule7)) -> rule3) OR ((((triple2) -> rule5) triple5) -> rule3) OR ((((triple2) -> rule5) ((triple2) -> rule7)) -> rule3) OR ((((((triple4) -> rule8)) -> rule7)) -> rule4) OR ((triple4 ((((triple4) -> rule8)) -> rule7)) -> rule3) OR ((((triple2) -> rule5) ((((triple4) -> rule8)) -> rule7)) -> rule3))] The bald eagle is round.[(triple4 OR ((triple2) -> rule5) OR ((triple3 triple5) -> rule2) OR ((((triple1 triple3) -> rule6)) -> rule5) OR ((triple3 ((triple2) -> rule7)) -> rule2) OR ((((triple5) -> rule4) triple5) -> rule2) OR ((((triple5) -> rule4) ((triple2) -> rule7)) -> rule2) OR ((((triple1 ((triple5) -> rule4)) -> rule6)) -> rule5) OR ((((((triple3) -> rule1) triple3) -> rule6)) -> rule5) OR ((triple3 ((((triple1 triple3) -> rule6)) -> rule7)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4) triple5) -> rule2) OR ((((((triple3) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5) -> rule4) ((((triple1 triple3) -> rule6)) -> rule7)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4) ((triple2) -> rule7)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4) ((((triple1 triple3) -> rule6)) -> rule7)) -> rule2) OR ((((((((triple5) -> rule4)) -> rule1) triple3) -> rule6)) -> rule5) OR ((triple3 ((((((triple3) -> rule1) triple3) -> rule6)) -> rule7)) -> rule2) OR ((((((((triple5) -> rule4)) -> rule1) ((triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple5) -> rule4) ((((((triple3) -> rule1) triple3) -> rule6)) -> rule7)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4) ((((((triple3) -> rule1) triple3) -> rule6)) -> rule7)) -> rule2))] The bald eagle is young.[(triple5 OR ((triple2) -> rule7) OR ((((triple4) -> rule8)) -> rule7) OR ((((triple1 triple3) -> rule6)) -> rule7) OR ((((((triple3) -> rule1) triple3) -> rule6)) -> rule7))]