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