Anne is green. Anne is rough. Bob is green. Nice things are blue. If Bob is cold and Bob is red then Bob is nice. All rough things are nice. If something is rough and not green then it is nice. If Bob is green and Bob is not kind then Bob is blue. If something is green then it is rough. If Bob is not green then Bob is rough. If Anne is kind and Anne is green then Anne is not rough.
Anne is green.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2 OR ((triple1) -> rule6))] Bob is green.[(triple3)] @1: Anne is nice.[(((triple2) -> rule3) OR ((((triple1) -> rule6)) -> rule3))] Bob is rough.[(((triple3) -> rule6))] @2: Anne is blue.[(((((triple2) -> rule3)) -> rule1) OR ((((((triple1) -> rule6)) -> rule3)) -> rule1))] Bob is nice.[(((((triple3) -> rule6)) -> rule3))] @3: Bob is blue.[(((((((triple3) -> rule6)) -> rule3)) -> rule1))]