Bob is red. Charlie is young. Erin is not red. Gary is white. If someone is round and not young then they are not rough. All round people are not rough. If someone is round and not red then they are rough. If someone is furry and not white then they are not round. If someone is furry and not round then they are green. If someone is white and not red then they are not green.
Erin is not green.
@0: Bob is red.[(triple1)] Charlie is young.[(triple2)] Erin is not red.[(triple3)] Gary is white.[(triple4)]