Bob is blue. Charlie is kind. Dave is big. Harry is blue. If something is cold and young then it is kind. All cold things are blue. If Bob is kind and Bob is blue then Bob is smart.
Harry is not blue.
@0: Bob is blue.[(triple1)] Charlie is kind.[(triple2)] Dave is big.[(triple3)] Harry is blue.[(triple4)]