Dave is rough. If someone is red and not blue then they are green. If Dave is white then Dave is red. If Dave is red then Dave is not cold. All rough people are white. Green, kind people are not cold. If someone is rough and not red then they are not kind.
Dave is not rough.
@0: Dave is rough.[(triple1)] @1: Dave is white.[(((triple1) -> rule4))] @2: Dave is red.[(((((triple1) -> rule4)) -> rule2))] @3: Dave is not cold.[(((((((triple1) -> rule4)) -> rule2)) -> rule3))]