Gary is kind. Gary is red. Harry is round. All big, white things are kind. Red things are kind. If something is round then it is red. If something is round and not white then it is red. All kind things are young. If Harry is young and Harry is round then Harry is kind.
Harry is not round.
@0: Gary is kind.[(triple1 OR ((triple2) -> rule2))] Gary is red.[(triple2)] Harry is round.[(triple3)] @1: Gary is young.[(((triple1) -> rule5) OR ((((triple2) -> rule2)) -> rule5))] Harry is red.[(((triple3) -> rule3))] @2: Harry is kind.[(((((triple3) -> rule3)) -> rule2))] @3: Harry is young.[(((((((triple3) -> rule3)) -> rule2)) -> rule5))]