Gary is big. Gary is blue. Gary is cold. Gary is not furry. Gary is kind. Gary is not quiet. Gary is rough. Quiet things are rough. Furry, kind things are not blue. If something is big then it is blue. If something is blue and not cold then it is not kind. If Gary is furry then Gary is big. If Gary is rough then Gary is not furry.
Gary is kind.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple1) -> rule3))] Gary is cold.[(triple3)] Gary is kind.[(triple5)] Gary is not furry.[(triple4 OR ((triple7) -> rule6))] Gary is not quiet.[(triple6)] Gary is rough.[(triple7)]