Anne is big. Anne is green. Anne is smart. Anne is young. Dave is big. Dave is blue. Dave is white. Dave is young. Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is smart. Gary is white. Gary is young. If Gary is not smart and Gary is not white then Gary is not blue. Kind things are blue. Smart, white things are blue. All white things are kind. If something is smart and not white then it is big. All kind things are young.
Gary is big.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6 OR ((((triple7) -> rule4)) -> rule2))] Dave is white.[(triple7)] Dave is young.[(triple8 OR ((((triple7) -> rule4)) -> rule6))] Gary is big.[(triple9)] Gary is blue.[(triple10 OR ((triple12) -> rule2) OR ((triple13 triple14) -> rule3) OR ((((triple14) -> rule4)) -> rule2))] Gary is green.[(triple11)] Gary is kind.[(triple12 OR ((triple14) -> rule4))] Gary is smart.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15 OR ((triple12) -> rule6) OR ((((triple14) -> rule4)) -> rule6))] @1: Dave is kind.[(((triple7) -> rule4))]