Anne is quiet. Dave is white. Erin is blue. Gary is big. All furry people are white. If someone is white and furry then they are big. Quiet people are furry.
Anne is not white.
@0: Anne is quiet.[(triple1)] Dave is white.[(triple2)] Erin is blue.[(triple3)] Gary is big.[(triple4)] @1: Anne is furry.[(((triple1) -> rule3))] @2: Anne is white.[(((((triple1) -> rule3)) -> rule1))] @3: Anne is big.[(((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule2))]