Dave is rough. Dave is young. Erin is rough. Erin is white. Erin is young. Gary is quiet. Gary is rough. If someone is kind and furry then they are rough. All white, rough people are furry.
Dave is not young.
@0: Dave is rough.[(triple1)] Dave is young.[(triple2)] Erin is rough.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] @1: Erin is furry.[(((triple4 triple3) -> rule2))]