Anne is cold. Anne is kind. Anne is not young. Charlie is young. Erin is cold. Erin is green. Erin is nice. Erin is young. Gary is nice. Gary is red. All cold things are nice. If something is kind and not quiet then it is nice. If Anne is young then Anne is nice. Kind things are green. Cold, red things are green. Nice, quiet things are not red.
Anne is not cold.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is not young.[(triple3)] Charlie is young.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7 OR ((triple5) -> rule1))] Erin is young.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10)] @1: Anne is green.[(((triple2) -> rule4))] Anne is nice.[(((triple1) -> rule1))]