Bob is not rough. Erin is smart. Harry is not red. All kind, young people are red. If someone is red and not kind then they are not young. All kind people are not young. If Harry is smart and Harry is rough then Harry is not red. If someone is rough and not furry then they are not smart. Kind people are not nice. Red, young people are rough. If Erin is not rough then Erin is smart.
Bob is not red.
@0: Bob is not rough.[(triple1)] Erin is smart.[(triple2)] Harry is not red.[(triple3)]