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