Anne is not cold. Anne is furry. Anne is kind. Anne is nice. Anne is rough. Anne is round. Anne is smart. Cold people are rough. If Anne is not kind then Anne is cold. If Anne is nice then Anne is not cold. All nice, rough people are round. All furry people are smart. If someone is nice then they are not cold.
Anne is not rough.
@0: Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not cold.[(triple1 OR ((triple4) -> rule3) OR ((triple4) -> rule6))] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple4 triple5) -> rule4))] Anne is smart.[(triple7 OR ((triple2) -> rule5))]