Anne is red. Bob is smart. Gary is furry. Harry is furry. All rough, furry things are red. If Harry is red then Harry is furry. If Bob is white then Bob is rough. If Harry is green then Harry is white. All smart things are green. If something is furry and round then it is white. If something is red then it is round. If something is round and rough then it is furry.
Anne is not furry.
@0: Anne is red.[(triple1)] Bob is smart.[(triple2)] Gary is furry.[(triple3)] Harry is furry.[(triple4)] @1: Anne is round.[(((triple1) -> rule7))] Bob is green.[(((triple2) -> rule5))]