Anne is not blue. Anne is green. Bob is blue. Bob is cold. Bob is kind. Charlie is kind. Charlie is nice. If someone is white then they are big. If someone is big then they are kind. If someone is green and white then they are not blue. Big people are not nice. All blue, kind people are white. If someone is cold and nice then they are white. If Charlie is big then Charlie is kind. If Charlie is kind then Charlie is nice.
Bob is white.
@0: Anne is green.[(triple2)] Anne is not blue.[(triple1)] Bob is blue.[(triple3)] Bob is cold.[(triple4)] Bob is kind.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7 OR ((triple6) -> rule8))] @1: Bob is white.[(((triple3 triple5) -> rule5))] @2: Bob is big.[(((((triple3 triple5) -> rule5)) -> rule1))] @3: Bob is not nice.[(((((((triple3 triple5) -> rule5)) -> rule1)) -> rule4))]