Anne is furry. Anne is red. Dave is red. Dave is white. Fiona is quiet. Harry is big. Harry is white. Furry things are quiet.
Fiona is not furry.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Dave is red.[(triple3)] Dave is white.[(triple4)] Fiona is quiet.[(triple5)] Harry is big.[(triple6)] Harry is white.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule1))]