Anne is round. Bob is blue. Erin is white. Gary is furry. If Anne is white and Anne is not smart then Anne is round. If someone is quiet and not round then they are furry. All quiet, blue people are kind. All white, furry people are blue. All round people are quiet. All white, kind people are quiet.
Bob is smart.
@0: Anne is round.[(triple1)] Bob is blue.[(triple2)] Erin is white.[(triple3)] Gary is furry.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule5))]