Charlie is green. Dave is smart. Harry is smart. If Charlie is smart then Charlie is green. Cold, white people are nice. Big, rough people are cold. Green people are rough. Green people are big. If someone is cold and green then they are nice.
Charlie is not nice.
@0: Charlie is green.[(triple1)] Dave is smart.[(triple2)] Harry is smart.[(triple3)] @1: Charlie is big.[(((triple1) -> rule5))] Charlie is rough.[(((triple1) -> rule4))] @2: Charlie is cold.[(((((triple1) -> rule5) ((triple1) -> rule4)) -> rule3))] @3: Charlie is nice.[(((((((triple1) -> rule5) ((triple1) -> rule4)) -> rule3) triple1) -> rule6))]