Bob is red. Erin is not blue. All rough, nice people are not round. If someone is red and green then they are not round. Rough, round people are not green. If someone is red and round then they are smart. If someone is round then they are smart. Green people are rough. If someone is green and smart then they are not rough. If someone is smart and not round then they are blue.
Erin is not blue.
@0: Bob is red.[(triple1)] Erin is not blue.[(triple2)]