Anne is cold. Charlie is cold. Erin is nice. Fiona is nice. If something is cold then it is big. Young, smart things are not quiet. All cold, big things are young. If something is white and quiet then it is not nice. If Anne is not quiet then Anne is nice. If something is cold then it is white. If something is quiet and not big then it is white. Smart things are not white.
Charlie is smart.
@0: Anne is cold.[(triple1)] Charlie is cold.[(triple2)] Erin is nice.[(triple3)] Fiona is nice.[(triple4)] @1: Anne is big.[(((triple1) -> rule1))] Anne is white.[(((triple1) -> rule6))] Charlie is big.[(((triple2) -> rule1))] Charlie is white.[(((triple2) -> rule6))] @2: Anne is young.[(((triple1 ((triple1) -> rule1)) -> rule3))] Charlie is young.[(((triple2 ((triple2) -> rule1)) -> rule3))]