Harry is kind. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is white. Harry is not young. If something is white and not young then it is quiet. Red things are kind.
Harry is young.
@0: Harry is kind.[(triple1 OR ((triple3) -> rule2))] Harry is not young.[(triple7)] Harry is quiet.[(triple2 OR ((triple6 triple7) -> rule1))] Harry is red.[(triple3)] Harry is round.[(triple4)] Harry is smart.[(triple5)] Harry is white.[(triple6)]