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