Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is smart. Erin is young. If Erin is green then Erin is cold. Green people are quiet.
Erin is not young.
@0: Erin is cold.[(triple1 OR ((triple2) -> rule1))] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple2) -> rule2))] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)]