Charlie is rough. Dave is kind. Gary is rough. Kind people are furry. If someone is furry then they are white. Rough, kind people are red.
Dave is not kind.
@0: Charlie is rough.[(triple1)] Dave is kind.[(triple2)] Gary is rough.[(triple3)] @1: Dave is furry.[(((triple2) -> rule1))] @2: Dave is white.[(((((triple2) -> rule1)) -> rule2))]