Erin is not big. Erin is not green. Erin is kind. Erin is nice. Erin is round. Erin is smart. Erin is white. Nice things are smart. Smart things are kind. Kind things are not green. All white things are nice. All white things are nice. If something is white and not smart then it is round.
Erin is white.
@0: Erin is kind.[(triple3 OR ((triple6) -> rule2) OR ((((triple4) -> rule1)) -> rule2) OR ((((((triple7) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7) -> rule5)) -> rule1)) -> rule2))] Erin is nice.[(triple4 OR ((triple7) -> rule4) OR ((triple7) -> rule5))] Erin is not big.[(triple1)] Erin is not green.[(triple2 OR ((triple3) -> rule3) OR ((((triple6) -> rule2)) -> rule3) OR ((((((triple4) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule4)) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule5)) -> rule1)) -> rule2)) -> rule3))] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple4) -> rule1) OR ((((triple7) -> rule4)) -> rule1) OR ((((triple7) -> rule5)) -> rule1))] Erin is white.[(triple7)]