Anne is round. Erin is big. Gary is furry. If something is blue then it is furry. If something is quiet then it is furry. If something is round then it is not furry. If Gary is blue then Gary is smart. If Erin is smart and Erin is quiet then Erin is round. If Erin is smart then Erin is not round.
Erin is not furry.
@0: Anne is round.[(triple1)] Erin is big.[(triple2)] Gary is furry.[(triple3)] @1: Anne is not furry.[(((triple1) -> rule3))]