Anne is big. Charlie is young. If something is cold and red then it is not white. If Anne is red and Anne is not big then Anne is white. All young things are green. If something is cold then it is kind. All green things are kind. All kind, big things are cold. If something is kind and green then it is cold. If Charlie is green and Charlie is not red then Charlie is young.
Charlie is not kind.
@0: Anne is big.[(triple1)] Charlie is young.[(triple2)] @1: Charlie is green.[(((triple2) -> rule3))] @2: Charlie is kind.[(((((triple2) -> rule3)) -> rule5))] @3: Charlie is cold.[(((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule7))]