Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is smart. If Anne is quiet and Anne is kind then Anne is red. If Anne is smart and Anne is rough then Anne is cold. If Anne is nice and Anne is red then Anne is rough.
Anne is not red.
@0: Anne is cold.[(triple1 OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple3 triple5) -> rule3)) -> rule2) OR ((triple7 ((triple3 ((triple4 triple2) -> rule1)) -> rule3)) -> rule2))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple4 triple2) -> rule1))] Anne is rough.[(triple6 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple4 triple2) -> rule1)) -> rule3))] Anne is smart.[(triple7)]