Bob is white. Erin is nice. Harry is round. Round people are nice. All kind, round people are nice. Kind people are not white. All blue people are not white. Nice, smart people are blue. Smart people are round. If someone is blue and white then they are kind. All nice people are smart.
Bob is white.
@0: Bob is white.[(triple1)] Erin is nice.[(triple2)] Harry is round.[(triple3)] @1: Erin is smart.[(((triple2) -> rule8))] Harry is nice.[(((triple3) -> rule1))] @2: Erin is blue.[(((triple2 ((triple2) -> rule8)) -> rule5))] Erin is round.[(((((triple2) -> rule8)) -> rule6))] Harry is smart.[(((((triple3) -> rule1)) -> rule8))] @3: Erin is not white.[(((((triple2 ((triple2) -> rule8)) -> rule5)) -> rule4))] Harry is blue.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule8)) -> rule5))] @4: Harry is not white.[(((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule8)) -> rule5)) -> rule4))]