Charlie is big. Charlie is smart. Gary is not furry. Gary is green. Gary is rough. Gary is young. Harry is green. If Gary is kind and Gary is young then Gary is rough. If Charlie is kind and Charlie is rough then Charlie is young. If Charlie is not smart then Charlie is not rough. If Charlie is young then Charlie is rough. If something is young and rough then it is big. All big, rough things are kind. All green, big things are rough. If something is smart and not green then it is young.
Gary is kind.
@0: Charlie is big.[(triple1)] Charlie is smart.[(triple2)] Gary is green.[(triple4)] Gary is not furry.[(triple3)] Gary is rough.[(triple5)] Gary is young.[(triple6)] Harry is green.[(triple7)] @1: Gary is big.[(((triple6 triple5) -> rule5))] @2: Gary is kind.[(((((triple6 triple5) -> rule5) triple5) -> rule6))]