Anne is furry. Charlie is big. Dave is smart. Gary is quiet. All blue, smart people are furry. If Anne is furry then Anne is blue. All blue people are furry. If someone is smart then they are round. If Gary is red then Gary is furry. If Gary is round and Gary is blue then Gary is furry. If someone is furry and round then they are big. Smart people are red.
Anne is not furry.
@0: Anne is furry.[(triple1)] Charlie is big.[(triple2)] Dave is smart.[(triple3)] Gary is quiet.[(triple4)] @1: Anne is blue.[(((triple1) -> rule2))] Dave is red.[(((triple3) -> rule8))] Dave is round.[(((triple3) -> rule4))]