Charlie is white. Dave is white. Erin is smart. Harry is round. Kind people are not smart. All blue people are smart. Furry people are kind. If Dave is blue and Dave is white then Dave is round. All white people are furry. All kind, blue people are round. If Dave is kind and Dave is rough then Dave is not white. All blue, smart people are white.
Charlie is not furry.
@0: Charlie is white.[(triple1)] Dave is white.[(triple2)] Erin is smart.[(triple3)] Harry is round.[(triple4)] @1: Charlie is furry.[(((triple1) -> rule5))] Dave is furry.[(((triple2) -> rule5))] @2: Charlie is kind.[(((((triple1) -> rule5)) -> rule3))] Dave is kind.[(((((triple2) -> rule5)) -> rule3))] @3: Charlie is not smart.[(((((((triple1) -> rule5)) -> rule3)) -> rule1))] Dave is not smart.[(((((((triple2) -> rule5)) -> rule3)) -> rule1))]