Anne is not green. Bob is green. Charlie is rough. Dave is green. If Charlie is blue then Charlie is green. Green, blue people are round. Rough people are blue.
Charlie is not blue.
@0: Anne is not green.[(triple1)] Bob is green.[(triple2)] Charlie is rough.[(triple3)] Dave is green.[(triple4)] @1: Charlie is blue.[(((triple3) -> rule3))] @2: Charlie is green.[(((((triple3) -> rule3)) -> rule1))] @3: Charlie is round.[(((((((triple3) -> rule3)) -> rule1) ((triple3) -> rule3)) -> rule2))]