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