Anne is nice. Anne is quiet. Gary is cold. Gary is quiet. Gary is not red. Gary is not rough. Gary is young. If Anne is nice then Anne is not young. If something is quiet and round then it is cold. All cold, young things are round. All quiet, red things are young. If something is cold and not quiet then it is not young. If Anne is cold then Anne is nice.
Gary is cold.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Gary is cold.[(triple3)] Gary is not red.[(triple5)] Gary is not rough.[(triple6)] Gary is quiet.[(triple4)] Gary is young.[(triple7)] @1: Anne is not young.[(((triple1) -> rule1))] Gary is round.[(((triple3 triple7) -> rule3))]