Harry is round. Harry is white. Harry is young. All young, round people are kind. Round, white people are young. Kind people are round.
Harry is not blue.
@0: Harry is round.[(triple1)] Harry is white.[(triple2)] Harry is young.[(triple3 OR ((triple1 triple2) -> rule2))] @1: Harry is kind.[(((triple3 triple1) -> rule1) OR ((((triple1 triple2) -> rule2) triple1) -> rule1))]