Bob is not rough. Erin is rough. Gary is smart. Harry is green. If Erin is white then Erin is not kind. Rough, white people are young. Rough, green people are young. All kind people are red. All young, white people are red. If someone is young then they are red. All young people are green. If someone is red then they are white.
Bob is not white.
@0: Bob is not rough.[(triple1)] Erin is rough.[(triple2)] Gary is smart.[(triple3)] Harry is green.[(triple4)]