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.
Anne is not white.
@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))]