Harry is blue. Harry is furry. Harry is green. Harry is quiet. Harry is rough. Harry is white. Harry is young. If Harry is blue and Harry is not furry then Harry is not young. If Harry is green and Harry is not furry then Harry is white. If Harry is green then Harry is quiet. Green things are young. If something is furry then it is rough. If Harry is furry and Harry is blue then Harry is rough. Young, green things are quiet. If something is young and not white then it is quiet.
Harry is blue.
@0: Harry is blue.[(triple1)] Harry is furry.[(triple2)] Harry is green.[(triple3)] Harry is quiet.[(triple4 OR ((triple3) -> rule3) OR ((triple7 triple3) -> rule7) OR ((((triple3) -> rule4) triple3) -> rule7))] Harry is rough.[(triple5 OR ((triple2) -> rule5) OR ((triple2 triple1) -> rule6))] Harry is white.[(triple6)] Harry is young.[(triple7 OR ((triple3) -> rule4))]