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