Bob is cold. Charlie is smart. Erin is smart. All nice people are cold. Cold, rough people are green. All nice people are young.
Charlie is not green.
@0: Bob is cold.[(triple1)] Charlie is smart.[(triple2)] Erin is smart.[(triple3)]