Bob is cold. Dave is rough. Gary is furry. If someone is kind then they are green. All rough people are kind.
Dave is kind.
@0: Bob is cold.[(triple1)] Dave is rough.[(triple2)] Gary is furry.[(triple3)] @1: Dave is kind.[(((triple2) -> rule2))] @2: Dave is green.[(((((triple2) -> rule2)) -> rule1))]