Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is young. All young things are nice. If Harry is quiet and Harry is young then Harry is blue.
Harry is not blue.
@0: Harry is blue.[(triple1 OR ((triple4 triple7) -> rule2))] Harry is kind.[(triple2)] Harry is nice.[(triple3 OR ((triple7) -> rule1))] Harry is quiet.[(triple4)] Harry is rough.[(triple5)] Harry is round.[(triple6)] Harry is young.[(triple7)]