Charlie is kind. Gary is kind. Harry is big. If something is big and nice then it is smart. If Gary is big and Gary is kind then Gary is green. All nice things are quiet. If Gary is green and Gary is big then Gary is rough. Kind things are quiet. All nice things are smart. If Charlie is rough and Charlie is smart then Charlie is quiet. All big, nice things are quiet.
Gary is not quiet.
@0: Charlie is kind.[(triple1)] Gary is kind.[(triple2)] Harry is big.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule5))] Gary is quiet.[(((triple2) -> rule5))]