Dave is not red. Fiona is not white. Harry is blue. If Harry is quiet then Harry is blue. All blue things are young. Young things are white.
Fiona is blue.
@0: Dave is not red.[(triple1)] Fiona is not white.[(triple2)] Harry is blue.[(triple3)] @1: Harry is young.[(((triple3) -> rule2))] @2: Harry is white.[(((((triple3) -> rule2)) -> rule3))]