Charlie is cold. Charlie is green. Charlie is kind. Dave is furry. Dave is kind. Dave is rough. Harry is rough. If Charlie is kind and Charlie is rough then Charlie is furry. If someone is green then they are rough.
Dave is green.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Dave is furry.[(triple4)] Dave is kind.[(triple5)] Dave is rough.[(triple6)] Harry is rough.[(triple7)] @1: Charlie is rough.[(((triple2) -> rule2))] @2: Charlie is furry.[(((triple3 ((triple2) -> rule2)) -> rule1))]