Anne is not big. Anne is not cold. Anne is nice. Anne is quiet. Anne is red. Anne is not rough. Anne is not round. If something is big and not rough then it is not red. If something is nice then it is red. All round, red things are not cold. If Anne is nice and Anne is not rough then Anne is red. If Anne is rough and Anne is red then Anne is not big. Red things are quiet. If something is red and not big then it is quiet. If something is rough and big then it is quiet.
Anne is cold.
@0: Anne is nice.[(triple3)] Anne is not big.[(triple1)] Anne is not cold.[(triple2)] Anne is not rough.[(triple6)] Anne is not round.[(triple7)] Anne is quiet.[(triple4 OR ((triple5) -> rule6) OR ((triple5 triple1) -> rule7) OR ((((triple3) -> rule2)) -> rule6) OR ((((triple3 triple6) -> rule4)) -> rule6) OR ((((triple3) -> rule2) triple1) -> rule7) OR ((((triple3 triple6) -> rule4) triple1) -> rule7))] Anne is red.[(triple5 OR ((triple3) -> rule2) OR ((triple3 triple6) -> rule4))]