Bob is smart. Erin is not cold. Erin is not smart. If someone is kind then they are quiet. Smart, round people are not kind. Kind, round people are nice.
Bob is not nice.
@0: Bob is smart.[(triple1)] Erin is not cold.[(triple2)] Erin is not smart.[(triple3)]