Erin is blue. Erin is green. Erin is nice. Erin is red. Erin is round. Erin is smart. Erin is white. Smart people are round. Smart people are white. Nice people are white. Round, white people are nice. All round, smart people are nice. All green, red people are white.
Erin is red.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3 OR ((triple5 triple6) -> rule5) OR ((triple5 triple7) -> rule4) OR ((triple5 ((triple6) -> rule2)) -> rule4) OR ((triple5 ((triple2 triple4) -> rule6)) -> rule4) OR ((((triple6) -> rule1) triple6) -> rule5) OR ((((triple6) -> rule1) triple7) -> rule4) OR ((((triple6) -> rule1) ((triple6) -> rule2)) -> rule4) OR ((((triple6) -> rule1) ((triple2 triple4) -> rule6)) -> rule4))] Erin is red.[(triple4)] Erin is round.[(triple5 OR ((triple6) -> rule1))] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple3) -> rule3) OR ((triple6) -> rule2) OR ((triple2 triple4) -> rule6) OR ((((triple5 triple6) -> rule5)) -> rule3) OR ((((((triple6) -> rule1) triple6) -> rule5)) -> rule3))]