そのチョコチュジャンは限り無くない
fact1: そのチョコチュジャンがサボるとすればそれは限り無い fact2: そのチョコチュジャンはサボる
$facts$ = fact1: そのチョコチュジャンがサボるとすればそれは限り無い fact2: そのチョコチュジャンはサボる ; $hypothesis$ = そのチョコチュジャンは限り無くない ; $proof$ = 
事実1: そのチョコチュジャンがサボるとすればそれは限り無い
事実2: そのチョコチュジャンはサボる

仮説: そのチョコチュジャンは限り無くない