Harry is blue. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is white. If Harry is quiet and Harry is rough then Harry is white. Blue, quiet things are rough. All blue things are green. Nice, green things are rough. Nice, rough things are red. All blue things are white.
Harry is not green.
@0: Harry is blue.[(triple1)] Harry is green.[(triple2 OR ((triple1) -> rule3))] Harry is nice.[(triple3)] Harry is quiet.[(triple4)] Harry is red.[(triple5 OR ((triple3 triple6) -> rule5) OR ((triple3 ((triple1 triple4) -> rule2)) -> rule5) OR ((triple3 ((triple3 triple2) -> rule4)) -> rule5) OR ((triple3 ((triple3 ((triple1) -> rule3)) -> rule4)) -> rule5))] Harry is rough.[(triple6 OR ((triple1 triple4) -> rule2) OR ((triple3 triple2) -> rule4) OR ((triple3 ((triple1) -> rule3)) -> rule4))] Harry is white.[(triple7 OR ((triple1) -> rule6) OR ((triple4 triple6) -> rule1) OR ((triple4 ((triple1 triple4) -> rule2)) -> rule1) OR ((triple4 ((triple3 triple2) -> rule4)) -> rule1) OR ((triple4 ((triple3 ((triple1) -> rule3)) -> rule4)) -> rule1))]