Anne is white. Dave is furry. Gary is rough. Harry is red. Red, quiet things are furry. If something is white then it is blue. If something is furry then it is blue.
Harry is not red.
@0: Anne is white.[(triple1)] Dave is furry.[(triple2)] Gary is rough.[(triple3)] Harry is red.[(triple4)] @1: Anne is blue.[(((triple1) -> rule2))] Dave is blue.[(((triple2) -> rule3))]