Anne is smart. Bob is blue. Erin is blue. Gary is furry. Blue, furry things are young. If something is round then it is smart. Green things are blue. Smart things are quiet. Quiet things are furry. Young, smart things are round.
Anne is not blue.
@0: Anne is smart.[(triple1)] Bob is blue.[(triple2)] Erin is blue.[(triple3)] Gary is furry.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule4)) -> rule5))]