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