Anne is cold. Anne is green. Anne is kind. Anne is round. Anne is white. Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is round. Bob is smart. Bob is white. If something is round and green then it is smart. All white, green things are cold. If something is nice then it is cold. If something is green then it is nice. If something is white and cold then it is green. If something is cold and not smart then it is not kind.
Anne is not round.
@0: Anne is cold.[(triple1 OR ((triple5 triple2) -> rule2) OR ((((triple2) -> rule4)) -> rule3))] Anne is green.[(triple2 OR ((triple5 triple1) -> rule5))] Anne is kind.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Bob is cold.[(triple6 OR ((triple9) -> rule3) OR ((triple12 triple7) -> rule2) OR ((((triple7) -> rule4)) -> rule3))] Bob is green.[(triple7 OR ((triple12 triple6) -> rule5) OR ((triple12 ((triple9) -> rule3)) -> rule5))] Bob is kind.[(triple8)] Bob is nice.[(triple9 OR ((triple7) -> rule4) OR ((((triple12 triple6) -> rule5)) -> rule4))] Bob is round.[(triple10)] Bob is smart.[(triple11 OR ((triple10 triple7) -> rule1) OR ((triple10 ((triple12 triple6) -> rule5)) -> rule1) OR ((triple10 ((triple12 ((triple9) -> rule3)) -> rule5)) -> rule1))] Bob is white.[(triple12)] @1: Anne is nice.[(((triple2) -> rule4) OR ((((triple5 triple1) -> rule5)) -> rule4))] Anne is smart.[(((triple4 triple2) -> rule1) OR ((triple4 ((triple5 triple1) -> rule5)) -> rule1))]