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