Bob is rough. Erin is quiet. Green, blue people are cold. If Bob is blue and Bob is furry then Bob is green. Blue people are quiet.
Bob is not green.
@0: Bob is rough.[(triple1)] Erin is quiet.[(triple2)]