Anne is green. Charlie is green. Erin is smart. White things are not young. All green things are blue. If something is young and not smart then it is blue. If something is round and blue then it is green. All smart, young things are green. All blue things are white.
Anne is not big.
@0: Anne is green.[(triple1)] Charlie is green.[(triple2)] Erin is smart.[(triple3)] @1: Anne is blue.[(((triple1) -> rule2))] Charlie is blue.[(((triple2) -> rule2))] @2: Anne is white.[(((((triple1) -> rule2)) -> rule6))] Charlie is white.[(((((triple2) -> rule2)) -> rule6))] @3: Anne is not young.[(((((((triple1) -> rule2)) -> rule6)) -> rule1))] Charlie is not young.[(((((((triple2) -> rule2)) -> rule6)) -> rule1))]