Anne is white. Charlie is smart. Erin is round. Fiona is round. All kind, white people are round. If someone is white then they are furry.
Charlie is smart.
@0: Anne is white.[(triple1)] Charlie is smart.[(triple2)] Erin is round.[(triple3)] Fiona is round.[(triple4)] @1: Anne is furry.[(((triple1) -> rule2))]