Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is not smart. Harry is white. If Harry is not red then Harry is smart. Green things are furry. If something is furry and not smart then it is white.
Harry is white.
@0: Harry is furry.[(triple1 OR ((triple2) -> rule2))] Harry is green.[(triple2)] Harry is nice.[(triple3)] Harry is not smart.[(triple6)] Harry is quiet.[(triple4)] Harry is red.[(triple5)] Harry is white.[(triple7 OR ((triple1 triple6) -> rule3) OR ((((triple2) -> rule2) triple6) -> rule3))]