Harry is not blue. Harry is furry. Harry is quiet. Harry is not red. Harry is smart. Harry is white. Harry is young. If someone is blue then they are quiet. All white people are quiet. If Harry is quiet then Harry is white.
Harry is not red.
@0: Harry is furry.[(triple2)] Harry is not blue.[(triple1)] Harry is not red.[(triple4)] Harry is quiet.[(triple3 OR ((triple6) -> rule2))] Harry is smart.[(triple5)] Harry is white.[(triple6 OR ((triple3) -> rule3))] Harry is young.[(triple7)]