Gary is not big. Gary is blue. Gary is kind. Gary is nice. Gary is not red. Gary is white. Gary is young. All big things are not kind. Young things are kind. If something is red and not big then it is nice. All young, blue things are nice. All young things are not red. Big, young things are blue. Young, nice things are blue. If Gary is not nice then Gary is kind.
Gary is not blue.
@0: Gary is blue.[(triple2 OR ((triple7 triple4) -> rule7))] Gary is kind.[(triple3 OR ((triple7) -> rule2))] Gary is nice.[(triple4 OR ((triple7 triple2) -> rule4))] Gary is not big.[(triple1)] Gary is not red.[(triple5 OR ((triple7) -> rule5))] Gary is white.[(triple6)] Gary is young.[(triple7)]