Anne is rough. Dave is young. Erin is rough. Gary is not young. If someone is rough and not red then they are not young. Young, red people are white. All young people are furry.
Anne is rough.
@0: Anne is rough.[(triple1)] Dave is young.[(triple2)] Erin is rough.[(triple3)] Gary is not young.[(triple4)] @1: Dave is furry.[(((triple2) -> rule3))]