Charlie is cold. Rough, white things are not big. Cold things are big. If something is white then it is red. If something is furry and big then it is not green. Red, rough things are not green. If Charlie is big then Charlie is not furry.
Charlie is green.
@0: Charlie is cold.[(triple1)] @1: Charlie is big.[(((triple1) -> rule2))] @2: Charlie is not furry.[(((((triple1) -> rule2)) -> rule6))]