Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is round. Erin is smart. Erin is not white. If something is white then it is blue. If something is cold and not white then it is smart. All white things are round.
Erin is not furry.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is not white.[(triple7)] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple2 triple7) -> rule2))]