Anne is not furry. Bob is furry. Gary is rough. All furry things are red. Quiet things are not red. Rough things are quiet.
Gary is red.
@0: Anne is not furry.[(triple1)] Bob is furry.[(triple2)] Gary is rough.[(triple3)] @1: Bob is red.[(((triple2) -> rule1))] Gary is quiet.[(((triple3) -> rule3))] @2: Gary is not red.[(((((triple3) -> rule3)) -> rule2))]