Anne is red. Charlie is cold. Charlie is white. Red things are not smart. If something is blue and not young then it is smart. All white things are smart. Young, blue things are not white. All smart things are not big. If Charlie is big and Charlie is not smart then Charlie is cold.
Charlie is not big.
@0: Anne is red.[(triple1)] Charlie is cold.[(triple2)] Charlie is white.[(triple3)] @1: Anne is not smart.[(((triple1) -> rule1))] Charlie is smart.[(((triple3) -> rule3))] @2: Charlie is not big.[(((((triple3) -> rule3)) -> rule5))]