Harry is big. Harry is green. Harry is round. Quiet people are kind. All green people are big. If Harry is young and Harry is round then Harry is kind. If someone is green then they are nice. Nice, big people are kind. If someone is young then they are nice. Quiet people are kind. All green, kind people are nice.
Harry is kind.
@0: Harry is big.[(triple1 OR ((triple2) -> rule2))] Harry is green.[(triple2)] Harry is round.[(triple3)] @1: Harry is nice.[(((triple2) -> rule4))] @2: Harry is kind.[(((((triple2) -> rule4) triple1) -> rule5) OR ((((triple2) -> rule4) ((triple2) -> rule2)) -> rule5))]