Charlie is not green. Dave is quiet. Gary is green. If someone is rough and not blue then they are not white. Furry people are nice. All rough people are not green. All quiet, nice people are green. Quiet people are furry. If Charlie is quiet then Charlie is not nice.
Dave is green.
@0: Charlie is not green.[(triple1)] Dave is quiet.[(triple2)] Gary is green.[(triple3)] @1: Dave is furry.[(((triple2) -> rule5))] @2: Dave is nice.[(((((triple2) -> rule5)) -> rule2))] @3: Dave is green.[(((triple2 ((((triple2) -> rule5)) -> rule2)) -> rule4))]