Anne is cold. Anne is green. Anne is not kind. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Erin is not cold. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is not rough. If something is cold and not kind then it is rough. If something is kind then it is quiet. If Anne is kind then Anne is cold. All cold, green things are red. If something is rough then it is red. Red things are green. If Anne is red and Anne is not green then Anne is not quiet. If Anne is red and Anne is not quiet then Anne is nice.
Anne is kind.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple6) -> rule6) OR ((((triple7) -> rule5)) -> rule6) OR ((((((triple1 triple3) -> rule1)) -> rule5)) -> rule6))] Anne is nice.[(triple4)] Anne is not kind.[(triple3)] Anne is quiet.[(triple5)] Anne is red.[(triple6 OR ((triple7) -> rule5) OR ((triple1 triple2) -> rule4) OR ((((triple1 triple3) -> rule1)) -> rule5))] Anne is rough.[(triple7 OR ((triple1 triple3) -> rule1))] Erin is green.[(triple9 OR ((triple13) -> rule6))] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is not cold.[(triple8)] Erin is not rough.[(triple14)] Erin is quiet.[(triple12 OR ((triple10) -> rule2))] Erin is red.[(triple13)]