Harry is not blue. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. Harry is young. If Harry is kind and Harry is blue then Harry is rough. All kind people are rough. If Harry is kind and Harry is blue then Harry is young. If Harry is green and Harry is not rough then Harry is quiet. Quiet people are green. All blue, rough people are green. Green people are smart. If someone is quiet and blue then they are smart.
Harry is blue.
@0: Harry is green.[(triple2 OR ((triple4) -> rule5))] Harry is kind.[(triple3)] Harry is not blue.[(triple1)] Harry is quiet.[(triple4)] Harry is rough.[(triple5 OR ((triple3) -> rule2))] Harry is smart.[(triple6 OR ((triple2) -> rule7) OR ((((triple4) -> rule5)) -> rule7))] Harry is young.[(triple7)]