Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Anne is white. If something is nice and smart then it is kind. If something is kind and smart then it is white. All smart things are kind. Cold, smart things are quiet. If Anne is rough then Anne is quiet. All cold things are white. If something is kind then it is rough. All smart things are kind.
Anne is not smart.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple6) -> rule3) OR ((triple6) -> rule8) OR ((triple3 triple6) -> rule1))] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple5) -> rule5) OR ((triple1 triple6) -> rule4) OR ((((triple2) -> rule7)) -> rule5) OR ((((((triple6) -> rule3)) -> rule7)) -> rule5) OR ((((((triple6) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3 triple6) -> rule1)) -> rule7)) -> rule5))] Anne is rough.[(triple5 OR ((triple2) -> rule7) OR ((((triple6) -> rule3)) -> rule7) OR ((((triple6) -> rule8)) -> rule7) OR ((((triple3 triple6) -> rule1)) -> rule7))] Anne is smart.[(triple6)] Anne is white.[(triple7 OR ((triple1) -> rule6) OR ((triple2 triple6) -> rule2) OR ((((triple6) -> rule3) triple6) -> rule2) OR ((((triple6) -> rule8) triple6) -> rule2) OR ((((triple3 triple6) -> rule1) triple6) -> rule2))]