Anne is big. Charlie is not young. Harry is blue. If Charlie is not kind then Charlie is not white. All blue things are young. If something is white and big then it is young. If Harry is blue and Harry is kind then Harry is cold. If something is nice then it is white. If Harry is young then Harry is nice.
Harry is young.
@0: Anne is big.[(triple1)] Charlie is not young.[(triple2)] Harry is blue.[(triple3)] @1: Harry is young.[(((triple3) -> rule2))] @2: Harry is nice.[(((((triple3) -> rule2)) -> rule6))] @3: Harry is white.[(((((((triple3) -> rule2)) -> rule6)) -> rule5))]