Bob is quiet. Dave is cold. Gary is cold. Harry is smart. All round people are smart. All white people are smart. If Bob is smart then Bob is round. All blue people are round. All round people are cold. All white people are cold.
Dave is white.
@0: Bob is quiet.[(triple1)] Dave is cold.[(triple2)] Gary is cold.[(triple3)] Harry is smart.[(triple4)]