Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is white. Erin is young. Young, nice things are green. All young things are cold. All nice, cold things are white.
Erin is not cold.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple7) -> rule2))] Erin is furry.[(triple3)] Erin is green.[(triple4 OR ((triple7 triple5) -> rule1))] Erin is nice.[(triple5)] Erin is white.[(triple6 OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple7) -> rule2)) -> rule3))] Erin is young.[(triple7)]