Anne is furry. Anne is not rough. Anne is round. Bob is red. Erin is not quiet. Erin is round. Gary is young. All quiet, red people are round. All rough, quiet people are furry. All round, smart people are furry. If Gary is smart and Gary is quiet then Gary is red. If Anne is rough then Anne is not quiet. Furry people are red.
Gary is not furry.
@0: Anne is furry.[(triple1)] Anne is not rough.[(triple2)] Anne is round.[(triple3)] Bob is red.[(triple4)] Erin is not quiet.[(triple5)] Erin is round.[(triple6)] Gary is young.[(triple7)] @1: Anne is red.[(((triple1) -> rule6))]