Charlie is cold. Charlie is green. Erin is big. Erin is blue. Erin is green. Erin is nice. Erin is young. All young people are white. If someone is green then they are cold.
Charlie is cold.
@0: Charlie is cold.[(triple1 OR ((triple2) -> rule2))] Charlie is green.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Erin is young.[(triple7)] @1: Erin is cold.[(((triple5) -> rule2))] Erin is white.[(((triple7) -> rule1))]