Anne is not furry. Anne is nice. Anne is rough. Erin is rough. Erin is round. Gary is nice. Gary is rough. Gary is round. Gary is smart. Gary is white. Furry people are not quiet. All round, smart people are furry.
Erin is not furry.
@0: Anne is nice.[(triple2)] Anne is not furry.[(triple1)] Anne is rough.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Gary is furry.[(((triple8 triple9) -> rule2))] @2: Gary is not quiet.[(((((triple8 triple9) -> rule2)) -> rule1))]