Erin is big. Erin is not blue. Erin is cold. Erin is green. Erin is quiet. Erin is white. Erin is young. If Erin is not big then Erin is cold. If something is green then it is young.
Erin is blue.
@0: Erin is big.[(triple1)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is not blue.[(triple2)] Erin is quiet.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple4) -> rule2))]