Dave is furry. Dave is red. Dave is rough. All cold people are young. All cold people are not kind. If someone is rough then they are cold. If Dave is kind and Dave is furry then Dave is not red. Red people are not quiet. If someone is cold and not rough then they are quiet.
Dave is not furry.
@0: Dave is furry.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] @1: Dave is cold.[(((triple3) -> rule3))] Dave is not quiet.[(((triple2) -> rule5))] @2: Dave is not kind.[(((((triple3) -> rule3)) -> rule2))] Dave is young.[(((((triple3) -> rule3)) -> rule1))]