Erin is cold. Erin is green. Erin is not quiet. Erin is red. Erin is rough. Erin is round. Erin is white. Rough, white people are round. Red people are round. If someone is rough and not quiet then they are round. If Erin is white and Erin is not quiet then Erin is round. If someone is white then they are red. If Erin is cold and Erin is not green then Erin is red. Quiet people are not rough. If someone is red and green then they are rough.
Erin is not red.
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Erin is not quiet.[(triple3)] Erin is red.[(triple4 OR ((triple7) -> rule5))] Erin is rough.[(triple5 OR ((triple4 triple2) -> rule8) OR ((((triple7) -> rule5) triple2) -> rule8))] Erin is round.[(triple6 OR ((triple4) -> rule2) OR ((triple5 triple3) -> rule3) OR ((triple5 triple7) -> rule1) OR ((triple7 triple3) -> rule4) OR ((((triple7) -> rule5)) -> rule2) OR ((((triple4 triple2) -> rule8) triple3) -> rule3) OR ((((triple4 triple2) -> rule8) triple7) -> rule1) OR ((((((triple7) -> rule5) triple2) -> rule8) triple3) -> rule3) OR ((((((triple7) -> rule5) triple2) -> rule8) triple7) -> rule1))] Erin is white.[(triple7)]