Anne is quiet. Bob is round. Erin is quiet. Gary is round. White, smart people are round. Round people are rough. If someone is white and quiet then they are furry. Red, round people are furry. Smart people are round. Red people are round.
Gary is not round.
@0: Anne is quiet.[(triple1)] Bob is round.[(triple2)] Erin is quiet.[(triple3)] Gary is round.[(triple4)] @1: Bob is rough.[(((triple2) -> rule2))] Gary is rough.[(((triple4) -> rule2))]