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.
Dave is furry.
@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))]