Erin is big. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is white. Erin is young. Nice, red people are cold. All cold, red people are green. Green, big people are white. Young, big people are nice. If someone is young and green then they are cold. All green people are nice.
Erin is not white.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2 OR ((triple4 triple5) -> rule1) OR ((triple7 triple3) -> rule5) OR ((((triple3) -> rule6) triple5) -> rule1) OR ((((triple7 triple1) -> rule4) triple5) -> rule1))] Erin is green.[(triple3 OR ((triple2 triple5) -> rule2) OR ((((triple4 triple5) -> rule1) triple5) -> rule2) OR ((((((triple7 triple1) -> rule4) triple5) -> rule1) triple5) -> rule2))] Erin is nice.[(triple4 OR ((triple3) -> rule6) OR ((triple7 triple1) -> rule4) OR ((((triple2 triple5) -> rule2)) -> rule6))] Erin is red.[(triple5)] Erin is white.[(triple6 OR ((triple3 triple1) -> rule3) OR ((((triple2 triple5) -> rule2) triple1) -> rule3) OR ((((((triple4 triple5) -> rule1) triple5) -> rule2) triple1) -> rule3) OR ((((((((triple7 triple1) -> rule4) triple5) -> rule1) triple5) -> rule2) triple1) -> rule3))] Erin is young.[(triple7)]