Bob is cold. Dave is not kind. Harry is white. Nice, kind things are big. Green, cold things are big. Nice things are cold. If something is cold and white then it is kind. If something is cold then it is not kind. If Harry is smart then Harry is not nice.
Harry is not white.
@0: Bob is cold.[(triple1)] Dave is not kind.[(triple2)] Harry is white.[(triple3)] @1: Bob is not kind.[(((triple1) -> rule5))]