Anne is big. Anne is green. Dave is young. Gary is cold. Gary is green. Gary is red. Gary is young. All green, quiet things are white. Cold things are young. If something is white then it is young. Quiet things are cold. If Gary is not big then Gary is not cold. All young things are green. If something is white and young then it is red. If something is green and not big then it is quiet.
Gary is young.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Dave is young.[(triple3)] Gary is cold.[(triple4)] Gary is green.[(triple5 OR ((triple7) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] Gary is red.[(triple6)] Gary is young.[(triple7 OR ((triple4) -> rule2))] @1: Dave is green.[(((triple3) -> rule6))]