Dave is kind. Dave is rough. Dave is white. If Dave is rough then Dave is round. All red, kind people are white. If someone is red and not rough then they are green. If someone is white and not round then they are not kind. If someone is white then they are red. If Dave is round and Dave is not green then Dave is cold.
Dave is not white.
@0: Dave is kind.[(triple1)] Dave is rough.[(triple2)] Dave is white.[(triple3)] @1: Dave is red.[(((triple3) -> rule5))] Dave is round.[(((triple2) -> rule1))]