Anne is blue. Anne is cold. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is smart. If Anne is smart and Anne is red then Anne is cold. Smart things are cold. If Anne is smart and Anne is blue then Anne is nice. If Anne is nice then Anne is blue. If Anne is round and Anne is not cold then Anne is blue. All blue things are nice.
Anne is not nice.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule4))] Anne is cold.[(triple2 OR ((triple7) -> rule2) OR ((triple7 triple4) -> rule1))] Anne is nice.[(triple3 OR ((triple1) -> rule6) OR ((triple7 triple1) -> rule3))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7)]