Anne is rough. Bob is white. All white things are nice. If Bob is smart then Bob is kind. All nice things are green. If something is nice then it is kind. If something is white and smart then it is green. All rough things are white. If something is smart then it is kind. All kind, white things are green.
Anne is not kind.
@0: Anne is rough.[(triple1)] Bob is white.[(triple2)] @1: Anne is white.[(((triple1) -> rule6))] Bob is nice.[(((triple2) -> rule1))] @2: Anne is nice.[(((((triple1) -> rule6)) -> rule1))] Bob is green.[(((((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule4) triple2) -> rule8))] Bob is kind.[(((((triple2) -> rule1)) -> rule4))] @3: Anne is green.[(((((((triple1) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple1) -> rule6)) -> rule1)) -> rule4) ((triple1) -> rule6)) -> rule8))] Anne is kind.[(((((((triple1) -> rule6)) -> rule1)) -> rule4))]