Anne is cold. Anne is kind. Anne is red. Charlie is blue. Charlie is cold. Charlie is red. Charlie is smart. All cold, blue people are round. If someone is kind and not smart then they are round. Red, rough people are not kind. If Anne is smart and Anne is not red then Anne is rough. If someone is kind and cold then they are not rough. All kind people are not blue.
Anne is not smart.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is red.[(triple6)] Charlie is smart.[(triple7)] @1: Anne is not blue.[(((triple2) -> rule6))] Anne is not rough.[(((triple2 triple1) -> rule5))] Charlie is round.[(((triple5 triple4) -> rule1))]