Bob is green. Bob is kind. Bob is red. Bob is round. Erin is big. Erin is green. Erin is kind. All nice people are kind. If Erin is kind and Erin is round then Erin is white. All nice, green people are not red. Big people are red. Red people are round. If someone is nice and not red then they are not white.
Erin is not white.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4 OR ((triple3) -> rule5))] Erin is big.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] @1: Erin is red.[(((triple5) -> rule4))] @2: Erin is round.[(((((triple5) -> rule4)) -> rule5))] @3: Erin is white.[(((triple7 ((((triple5) -> rule4)) -> rule5)) -> rule2))]