Anne is quiet. Anne is rough. Bob is furry. Bob is quiet. Erin is nice. Fiona is furry. Fiona is young. If something is rough then it is not furry.
Fiona is not young.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Bob is furry.[(triple3)] Bob is quiet.[(triple4)] Erin is nice.[(triple5)] Fiona is furry.[(triple6)] Fiona is young.[(triple7)] @1: Anne is not furry.[(((triple2) -> rule1))]