Charlie is not cold. Charlie is furry. Charlie is smart. Charlie is young. Gary is big. Gary is cold. Gary is not kind. If someone is furry and big then they are not kind. All smart people are young. All kind people are young. If Gary is cold and Gary is not furry then Gary is kind. All big people are not quiet. If someone is young and not furry then they are big. If someone is kind and young then they are big. Cold, young people are big.
Gary is not young.
@0: Charlie is furry.[(triple2)] Charlie is not cold.[(triple1)] Charlie is smart.[(triple3)] Charlie is young.[(triple4 OR ((triple3) -> rule2))] Gary is big.[(triple5)] Gary is cold.[(triple6)] Gary is not kind.[(triple7)] @1: Gary is not quiet.[(((triple5) -> rule5))]