Anne is furry. Bob is rough. Dave is rough. Erin is white. All furry, rough things are green. Nice, green things are blue. If something is white then it is rough. All cold, blue things are green. All white, blue things are furry. If Anne is rough and Anne is cold then Anne is furry.
Anne is not rough.
@0: Anne is furry.[(triple1)] Bob is rough.[(triple2)] Dave is rough.[(triple3)] Erin is white.[(triple4)] @1: Erin is rough.[(((triple4) -> rule3))]