Anne is young. Charlie is young. Erin is big. Erin is green. Erin is red. Erin is smart. Erin is white. If Charlie is white then Charlie is smart. Red people are blue. All smart, white people are big. Young people are white. If Anne is red and Anne is green then Anne is white. Young, green people are big.
Anne is green.
@0: Anne is young.[(triple1)] Charlie is young.[(triple2)] Erin is big.[(triple3 OR ((triple6 triple7) -> rule3))] Erin is green.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] @1: Anne is white.[(((triple1) -> rule4))] Charlie is white.[(((triple2) -> rule4))] Erin is blue.[(((triple5) -> rule2))] @2: Charlie is smart.[(((((triple2) -> rule4)) -> rule1))] @3: Charlie is big.[(((((((triple2) -> rule4)) -> rule1) ((triple2) -> rule4)) -> rule3))]