Erin is blue. Erin is kind. Erin is nice. Erin is smart. Erin is white. Erin is young. Harry is smart. If Harry is smart and Harry is white then Harry is furry. If Erin is furry then Erin is white. All white people are blue. Smart people are white. All furry people are kind. If Harry is blue and Harry is smart then Harry is young.
Harry is not white.
@0: Erin is blue.[(triple1 OR ((triple5) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is smart.[(triple4)] Erin is white.[(triple5 OR ((triple4) -> rule4))] Erin is young.[(triple6)] Harry is smart.[(triple7)] @1: Harry is white.[(((triple7) -> rule4))] @2: Harry is blue.[(((((triple7) -> rule4)) -> rule3))] Harry is furry.[(((triple7 ((triple7) -> rule4)) -> rule1))] @3: Harry is kind.[(((((triple7 ((triple7) -> rule4)) -> rule1)) -> rule5))] Harry is young.[(((((((triple7) -> rule4)) -> rule3) triple7) -> rule6))]