Dave is furry. Dave is not smart. Erin is not furry. Erin is kind. Erin is not red. Harry is furry. Harry is nice. Harry is red. Harry is round. Harry is white. Nice things are round. Round things are red. All kind things are smart. All white things are not smart. All furry things are not kind. If something is smart and not round then it is kind. All smart things are not white. If something is furry and not nice then it is not white.
Dave is white.
@0: Dave is furry.[(triple1)] Dave is not smart.[(triple2)] Erin is kind.[(triple4)] Erin is not furry.[(triple3)] Erin is not red.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] Harry is red.[(triple8 OR ((triple9) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Harry is round.[(triple9 OR ((triple7) -> rule1))] Harry is white.[(triple10)] @1: Dave is not kind.[(((triple1) -> rule5))] Erin is smart.[(((triple4) -> rule3))] Harry is not kind.[(((triple6) -> rule5))] Harry is not smart.[(((triple10) -> rule4))] @2: Erin is not white.[(((((triple4) -> rule3)) -> rule7))]