Anne is not big. Anne is quiet. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. If Fiona is not round then Fiona is quiet. All nice people are big.
Anne is kind.
@0: Anne is not big.[(triple1)] Anne is quiet.[(triple2)] Fiona is furry.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is big.[(((triple5) -> rule2))]