Anne is big. Anne is blue. Anne is not green. Anne is quiet. Anne is not red. Anne is not round. Gary is big. Gary is not blue. Gary is not cold. Gary is round. If something is green and blue then it is not red. If Gary is green and Gary is round then Gary is not cold. If Gary is red then Gary is blue. If something is big and round then it is not quiet. All round things are not green. Red, round things are not green. All round, quiet things are cold. If Anne is blue and Anne is not green then Anne is cold.
Gary is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not green.[(triple3)] Anne is not red.[(triple5)] Anne is not round.[(triple6)] Anne is quiet.[(triple4)] Gary is big.[(triple7)] Gary is not blue.[(triple8)] Gary is not cold.[(triple9)] Gary is round.[(triple10)] @1: Anne is cold.[(((triple2 triple3) -> rule8))] Gary is not green.[(((triple10) -> rule5))] Gary is not quiet.[(((triple7 triple10) -> rule4))]