Anne is blue. Anne is cold. Anne is furry. Anne is green. Charlie is big. Charlie is blue. Charlie is furry. If Anne is kind then Anne is blue. Cold things are big. All furry things are nice. If Anne is furry then Anne is nice. If something is cold and blue then it is furry. All green, kind things are furry. If something is blue and not cold then it is furry. Nice things are not kind.
Charlie is big.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple2 triple1) -> rule5))] Anne is green.[(triple4)] Charlie is big.[(triple5)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] @1: Anne is big.[(((triple2) -> rule2))] Anne is nice.[(((triple3) -> rule3) OR ((triple3) -> rule4) OR ((((triple2 triple1) -> rule5)) -> rule3) OR ((((triple2 triple1) -> rule5)) -> rule4))] Charlie is nice.[(((triple7) -> rule3))] @2: Anne is not kind.[(((((triple3) -> rule3)) -> rule8) OR ((((triple3) -> rule4)) -> rule8) OR ((((((triple2 triple1) -> rule5)) -> rule3)) -> rule8) OR ((((((triple2 triple1) -> rule5)) -> rule4)) -> rule8))] Charlie is not kind.[(((((triple7) -> rule3)) -> rule8))]