Anne is green. Anne is quiet. Charlie is quiet. Charlie is not white. Dave is young. Erin is green. Erin is young. If Charlie is young and Charlie is not quiet then Charlie is big. If Anne is green then Anne is big. If something is cold and quiet then it is red. All young, cold things are not big. All green, young things are not cold. Big things are young. If something is young and not red then it is not white. If something is cold then it is white.
Dave is not green.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Charlie is not white.[(triple4)] Charlie is quiet.[(triple3)] Dave is young.[(triple5)] Erin is green.[(triple6)] Erin is young.[(triple7)] @1: Anne is big.[(((triple1) -> rule2))] Erin is not cold.[(((triple6 triple7) -> rule5))] @2: Anne is young.[(((((triple1) -> rule2)) -> rule6))] @3: Anne is not cold.[(((triple1 ((((triple1) -> rule2)) -> rule6)) -> rule5))]