Charlie is rough. Harry is blue. If Harry is cold then Harry is rough. If Harry is cold then Harry is not green. Nice people are green. If Charlie is rough then Charlie is nice. All cold, green people are smart. Green people are smart.
Charlie is not smart.
@0: Charlie is rough.[(triple1)] Harry is blue.[(triple2)] @1: Charlie is nice.[(((triple1) -> rule4))] @2: Charlie is green.[(((((triple1) -> rule4)) -> rule3))] @3: Charlie is smart.[(((((((triple1) -> rule4)) -> rule3)) -> rule6))]