Anne is big. Fiona is quiet. Gary is not round. Furry things are quiet. If something is red then it is furry. Big things are red.
Anne is furry.
@0: Anne is big.[(triple1)] Fiona is quiet.[(triple2)] Gary is not round.[(triple3)] @1: Anne is red.[(((triple1) -> rule3))] @2: Anne is furry.[(((((triple1) -> rule3)) -> rule2))] @3: Anne is quiet.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))]