Charlie is nice. Charlie is rough. Dave is big. Rough people are furry. All nice, white people are green. If someone is furry then they are white.
Charlie is not white.
@0: Charlie is nice.[(triple1)] Charlie is rough.[(triple2)] Dave is big.[(triple3)] @1: Charlie is furry.[(((triple2) -> rule1))] @2: Charlie is white.[(((((triple2) -> rule1)) -> rule3))] @3: Charlie is green.[(((triple1 ((((triple2) -> rule1)) -> rule3)) -> rule2))]