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