Bob is young. Dave is quiet. Erin is cold. If Erin is smart and Erin is nice then Erin is kind. Quiet, nice things are not smart. All nice things are cold. All nice things are young. If something is cold and young then it is nice. Cold, young things are quiet.
Erin is not kind.
@0: Bob is young.[(triple1)] Dave is quiet.[(triple2)] Erin is cold.[(triple3)]