Bob is round. Charlie is round. Dave is rough. All blue, kind people are not cold. All white, blue people are rough. Cold, white people are not rough. If someone is blue and kind then they are not rough. Blue people are white. If Bob is round then Bob is blue. If someone is cold and not blue then they are nice. If someone is rough and kind then they are nice.
Bob is cold.
@0: Bob is round.[(triple1)] Charlie is round.[(triple2)] Dave is rough.[(triple3)] @1: Bob is blue.[(((triple1) -> rule6))] @2: Bob is white.[(((((triple1) -> rule6)) -> rule5))] @3: Bob is rough.[(((((((triple1) -> rule6)) -> rule5) ((triple1) -> rule6)) -> rule2))]