Anne is big. Charlie is smart. Gary is blue. Harry is nice. All blue, smart people are green. Green, smart people are blue. If someone is furry then they are quiet. If Anne is blue and Anne is furry then Anne is green. All quiet, big people are furry. Furry, smart people are nice. If someone is blue then they are quiet. If Harry is nice then Harry is big.
Gary is not blue.
@0: Anne is big.[(triple1)] Charlie is smart.[(triple2)] Gary is blue.[(triple3)] Harry is nice.[(triple4)] @1: Gary is quiet.[(((triple3) -> rule7))] Harry is big.[(((triple4) -> rule8))]