Bob is smart. Charlie is nice. Dave is nice. Harry is nice. All round things are not white. If something is white and cold then it is nice. All white, red things are nice. If Charlie is cold then Charlie is red. If Dave is nice then Dave is white. If something is round and not rough then it is cold. If Charlie is white then Charlie is round. Nice, white things are red.
Harry is not cold.
@0: Bob is smart.[(triple1)] Charlie is nice.[(triple2)] Dave is nice.[(triple3)] Harry is nice.[(triple4)] @1: Dave is white.[(((triple3) -> rule5))] @2: Dave is red.[(((triple3 ((triple3) -> rule5)) -> rule8))]