Erin is not blue. Erin is cold. Erin is nice. Erin is quiet. Erin is not red. Erin is round. Erin is young. If something is round then it is nice. If something is young and blue then it is not nice. All cold, round things are nice. If something is round and not quiet then it is not blue. Quiet, round things are not red. All blue things are cold. If something is red and not round then it is young. If something is quiet then it is young.
Erin is red.
@0: Erin is cold.[(triple2)] Erin is nice.[(triple3 OR ((triple6) -> rule1) OR ((triple2 triple6) -> rule3))] Erin is not blue.[(triple1)] Erin is not red.[(triple5 OR ((triple4 triple6) -> rule5))] Erin is quiet.[(triple4)] Erin is round.[(triple6)] Erin is young.[(triple7 OR ((triple4) -> rule8))]