Anne is blue. Bob is smart. Erin is red. Gary is young. All red things are not big. If something is smart and red then it is blue. If something is quiet then it is young. Quiet things are young. Big, red things are not quiet. If something is big and not blue then it is quiet. All red things are not quiet. If something is red and not quiet then it is not green.
Anne is not young.
@0: Anne is blue.[(triple1)] Bob is smart.[(triple2)] Erin is red.[(triple3)] Gary is young.[(triple4)] @1: Erin is not big.[(((triple3) -> rule1))] Erin is not quiet.[(((triple3) -> rule7))] @2: Erin is not green.[(((triple3 ((triple3) -> rule7)) -> rule8))]