Anne is big. Erin is nice. Fiona is young. Furry things are young. If Anne is furry and Anne is round then Anne is nice. If Erin is round then Erin is nice. If something is nice then it is quiet. If Anne is furry then Anne is round. If something is big and not kind then it is round. All big things are nice. Quiet, round things are nice.
Fiona is young.
@0: Anne is big.[(triple1)] Erin is nice.[(triple2)] Fiona is young.[(triple3)] @1: Anne is nice.[(((triple1) -> rule7))] Erin is quiet.[(((triple2) -> rule4))] @2: Anne is quiet.[(((((triple1) -> rule7)) -> rule4))]