Bob is not rough. Erin is young. If someone is white and smart then they are not furry. If Erin is rough and Erin is smart then Erin is young.
Erin is not young.
@0: Bob is not rough.[(triple1)] Erin is young.[(triple2)]