この出来高払い方式はもちもちでない
fact1: この出来高払い方式はＤＭＤだ fact2: もしこの出来高払い方式はＤＭＤであるとしたらそれはもちもちだ
$facts$ = fact1: この出来高払い方式はＤＭＤだ fact2: もしこの出来高払い方式はＤＭＤであるとしたらそれはもちもちだ ; $hypothesis$ = この出来高払い方式はもちもちでない ; $proof$ = 
事実1: この出来高払い方式はＤＭＤだ
事実2: もしこの出来高払い方式はＤＭＤであるとしたらそれはもちもちだ

仮説: この出来高払い方式はもちもちでない