Harry is blue. All round people are young. If Harry is round then Harry is rough. If Harry is white and Harry is rough then Harry is kind. Blue people are white. If Harry is blue and Harry is kind then Harry is young. Kind, white people are round. If someone is young and kind then they are blue. All white people are kind.
Harry is not kind.
@0: Harry is blue.[(triple1)] @1: Harry is white.[(((triple1) -> rule4))] @2: Harry is kind.[(((((triple1) -> rule4)) -> rule8))] @3: Harry is round.[(((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule6))] Harry is young.[(((triple1 ((((triple1) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule6)) -> rule1))] @4: Harry is rough.[(((((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule6)) -> rule2))]