Charlie is cold. If something is cold then it is kind. White things are red. Big, red things are rough. Cold things are nice. Rough, cold things are big. If something is cold and not white then it is big. If Charlie is rough and Charlie is white then Charlie is nice. If Charlie is rough then Charlie is not big.
Charlie is not cold.
@0: Charlie is cold.[(triple1)] @1: Charlie is kind.[(((triple1) -> rule1))] Charlie is nice.[(((triple1) -> rule4))]