Anne is round. Charlie is green. Dave is smart. Erin is big. If Dave is furry then Dave is green. All round people are big.
Erin is green.
@0: Anne is round.[(triple1)] Charlie is green.[(triple2)] Dave is smart.[(triple3)] Erin is big.[(triple4)] @1: Anne is big.[(((triple1) -> rule2))]