Anne is kind. Anne is nice. Anne is rough. Dave is cold. Dave is not kind. Dave is nice. Erin is blue. Erin is not kind. Erin is not red. Erin is round. If something is kind and nice then it is cold. If something is blue and not kind then it is nice. Cold, kind things are round. Kind, nice things are not blue. All nice, round things are not red. If Anne is red and Anne is rough then Anne is round.
Anne is not cold.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Dave is cold.[(triple4)] Dave is nice.[(triple6)] Dave is not kind.[(triple5)] Erin is blue.[(triple7)] Erin is not kind.[(triple8)] Erin is not red.[(triple9 OR ((((triple7 triple8) -> rule2) triple10) -> rule5))] Erin is round.[(triple10)] @1: Anne is cold.[(((triple1 triple2) -> rule1))] Anne is not blue.[(((triple1 triple2) -> rule4))] Erin is nice.[(((triple7 triple8) -> rule2))] @2: Anne is round.[(((((triple1 triple2) -> rule1) triple1) -> rule3))] @3: Anne is not red.[(((triple2 ((((triple1 triple2) -> rule1) triple1) -> rule3)) -> rule5))]