Charlie is green. Erin is big. Erin is not cold. Erin is green. Erin is nice. Erin is smart. Erin is young. Big, kind people are young. If someone is green and not cold then they are smart. All young people are green.
Charlie is not young.
@0: Charlie is green.[(triple1)] Erin is big.[(triple2)] Erin is green.[(triple4 OR ((triple7) -> rule3))] Erin is nice.[(triple5)] Erin is not cold.[(triple3)] Erin is smart.[(triple6 OR ((triple4 triple3) -> rule2) OR ((((triple7) -> rule3) triple3) -> rule2))] Erin is young.[(triple7)]