Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is rough. Harry is white. Harry is young. If something is rough and white then it is nice. All young, white things are green.
Harry is white.
@0: Harry is furry.[(triple1)] Harry is green.[(triple2 OR ((triple7 triple6) -> rule2))] Harry is nice.[(triple3 OR ((triple5 triple6) -> rule1))] Harry is quiet.[(triple4)] Harry is rough.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]