Bob is blue. Bob is nice. Dave is big. Erin is big. Harry is not blue. Harry is round. Harry is white. All big people are round. Big people are furry. If someone is big then they are green. All round people are nice. If someone is round then they are not blue. If Bob is green and Bob is not blue then Bob is furry. If someone is nice and not blue then they are white. If someone is furry and not green then they are not white.
Dave is not white.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Dave is big.[(triple3)] Erin is big.[(triple4)] Harry is not blue.[(triple5 OR ((triple6) -> rule5))] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((((triple6) -> rule4) triple5) -> rule7) OR ((((triple6) -> rule4) ((triple6) -> rule5)) -> rule7))] @1: Dave is furry.[(((triple3) -> rule2))] Dave is green.[(((triple3) -> rule3))] Dave is round.[(((triple3) -> rule1))] Erin is furry.[(((triple4) -> rule2))] Erin is green.[(((triple4) -> rule3))] Erin is round.[(((triple4) -> rule1))] Harry is nice.[(((triple6) -> rule4))] @2: Dave is nice.[(((((triple3) -> rule1)) -> rule4))] Dave is not blue.[(((((triple3) -> rule1)) -> rule5))] Erin is nice.[(((((triple4) -> rule1)) -> rule4))] Erin is not blue.[(((((triple4) -> rule1)) -> rule5))] @3: Dave is white.[(((((((triple3) -> rule1)) -> rule4) ((((triple3) -> rule1)) -> rule5)) -> rule7))] Erin is white.[(((((((triple4) -> rule1)) -> rule4) ((((triple4) -> rule1)) -> rule5)) -> rule7))]