Dave is nice. Erin is not red. Harry is round. Cold things are round. If something is white then it is blue. Cold things are blue. If something is cold and not green then it is not blue. Nice things are white. Nice, green things are white.
Dave is not round.
@0: Dave is nice.[(triple1)] Erin is not red.[(triple2)] Harry is round.[(triple3)] @1: Dave is white.[(((triple1) -> rule5))] @2: Dave is blue.[(((((triple1) -> rule5)) -> rule2))]