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