Dave is furry. Dave is red. Dave is rough. If something is white and blue then it is not furry. If something is red and not blue then it is not white. If something is red then it is white. If Dave is rough then Dave is furry. If something is white and not blue then it is red. If something is white then it is nice. If something is green then it is nice. If something is green and not white then it is not nice.
Dave is not nice.
@0: Dave is furry.[(triple1 OR ((triple3) -> rule4))] Dave is red.[(triple2)] Dave is rough.[(triple3)] @1: Dave is white.[(((triple2) -> rule3))] @2: Dave is nice.[(((((triple2) -> rule3)) -> rule6))]