Anne is smart. Erin is furry. Gary is not green. Harry is round. All green people are furry.
Gary is green.
@0: Anne is smart.[(triple1)] Erin is furry.[(triple2)] Gary is not green.[(triple3)] Harry is round.[(triple4)]