Fiona is blue. Harry is cold. Harry is white. If Harry is blue and Harry is green then Harry is not round. If something is green then it is young. All white things are young. If something is green and not white then it is not blue. Young, round things are not furry. If something is white and young then it is round. If something is young and not cold then it is round. If something is green and not young then it is not round.
Harry is young.
@0: Fiona is blue.[(triple1)] Harry is cold.[(triple2)] Harry is white.[(triple3)] @1: Harry is young.[(((triple3) -> rule3))] @2: Harry is round.[(((triple3 ((triple3) -> rule3)) -> rule6))] @3: Harry is not furry.[(((((triple3) -> rule3) ((triple3 ((triple3) -> rule3)) -> rule6)) -> rule5))]