Erin is blue. Erin is cold. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is white. White people are red. All red, round people are cold. All blue people are cold. If Erin is rough then Erin is red. If someone is red then they are smart. If Erin is round then Erin is smart. White, blue people are cold. All round, blue people are rough.
Erin is white.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple1) -> rule3) OR ((triple3 triple5) -> rule2) OR ((triple7 triple1) -> rule7) OR ((((triple4) -> rule4) triple5) -> rule2) OR ((((triple7) -> rule1) triple5) -> rule2) OR ((((((triple5 triple1) -> rule8)) -> rule4) triple5) -> rule2))] Erin is red.[(triple3 OR ((triple4) -> rule4) OR ((triple7) -> rule1) OR ((((triple5 triple1) -> rule8)) -> rule4))] Erin is rough.[(triple4 OR ((triple5 triple1) -> rule8))] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple3) -> rule5) OR ((triple5) -> rule6) OR ((((triple4) -> rule4)) -> rule5) OR ((((triple7) -> rule1)) -> rule5) OR ((((((triple5 triple1) -> rule8)) -> rule4)) -> rule5))] Erin is white.[(triple7)]