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 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))]