Harry is kind. Harry is quiet. Harry is round. If something is kind and big then it is blue. Kind, round things are big. If something is big then it is rough. If something is kind then it is quiet. All young things are quiet. If Harry is quiet then Harry is young.
Harry is blue.
@0: Harry is kind.[(triple1)] Harry is quiet.[(triple2 OR ((triple1) -> rule4))] Harry is round.[(triple3)] @1: Harry is big.[(((triple1 triple3) -> rule2))] Harry is young.[(((triple2) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] @2: Harry is blue.[(((triple1 ((triple1 triple3) -> rule2)) -> rule1))] Harry is rough.[(((((triple1 triple3) -> rule2)) -> rule3))]