Anne is not cold. Anne is rough. Anne is round. If Anne is young and Anne is round then Anne is white. If Anne is smart and Anne is young then Anne is not cold. If something is smart and not rough then it is not cold. Smart, white things are not cold. All smart, round things are young. If Anne is round then Anne is smart. All cold, young things are not smart. White, round things are smart.
Anne is not cold.
@0: Anne is not cold.[(triple1 OR ((((triple3) -> rule6) ((((triple3) -> rule6) triple3) -> rule5)) -> rule2) OR ((((triple3) -> rule6) ((((((triple3) -> rule6) triple3) -> rule5) triple3) -> rule1)) -> rule4))] Anne is rough.[(triple2)] Anne is round.[(triple3)] @1: Anne is smart.[(((triple3) -> rule6))] @2: Anne is young.[(((((triple3) -> rule6) triple3) -> rule5))] @3: Anne is white.[(((((((triple3) -> rule6) triple3) -> rule5) triple3) -> rule1))]