Anne is blue. Anne is cold. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Bob is blue. Bob is cold. Bob is kind. Bob is not quiet. Bob is rough. Bob is smart. Bob is white. If someone is blue and not kind then they are not quiet. Rough people are smart. If Bob is kind and Bob is quiet then Bob is not rough. All white, kind people are rough. If someone is smart then they are white. All white, kind people are cold. All quiet people are cold. If someone is blue and not white then they are cold.
Anne is smart.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple4) -> rule7) OR ((triple7 triple3) -> rule6) OR ((((triple6) -> rule5) triple3) -> rule6) OR ((((((triple5) -> rule2)) -> rule5) triple3) -> rule6))] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple7 triple3) -> rule4) OR ((((triple6) -> rule5) triple3) -> rule4))] Anne is smart.[(triple6 OR ((triple5) -> rule2) OR ((((triple7 triple3) -> rule4)) -> rule2))] Anne is white.[(triple7 OR ((triple6) -> rule5) OR ((((triple5) -> rule2)) -> rule5))] Bob is blue.[(triple8)] Bob is cold.[(triple9 OR ((triple14 triple10) -> rule6) OR ((((triple13) -> rule5) triple10) -> rule6) OR ((((((triple12) -> rule2)) -> rule5) triple10) -> rule6))] Bob is kind.[(triple10)] Bob is not quiet.[(triple11)] Bob is rough.[(triple12 OR ((triple14 triple10) -> rule4) OR ((((triple13) -> rule5) triple10) -> rule4))] Bob is smart.[(triple13 OR ((triple12) -> rule2) OR ((((triple14 triple10) -> rule4)) -> rule2))] Bob is white.[(triple14 OR ((triple13) -> rule5) OR ((((triple12) -> rule2)) -> rule5))]