「もし「あの批評性はみみっちくないかもしくは肥満するかもしくはどちらもだ」ということは偽であるとしたらあの批評性は威張り散らさない」ということは確かでない
fact1: もしも「なんらかのものはみみっちいということはないか肥満するかあるいはどちらもである」ということは偽だとしたらそれは威張り散らさない
$facts$ = fact1: もしも「なんらかのものはみみっちいということはないか肥満するかあるいはどちらもである」ということは偽だとしたらそれは威張り散らさない ; $hypothesis$ = 「もし「あの批評性はみみっちくないかもしくは肥満するかもしくはどちらもだ」ということは偽であるとしたらあの批評性は威張り散らさない」ということは確かでない ; $proof$ = 
事実1: もしも「なんらかのものはみみっちいということはないか肥満するかあるいはどちらもである」ということは偽だとしたらそれは威張り散らさない

仮説: 「もし「あの批評性はみみっちくないかもしくは肥満するかもしくはどちらもだ」ということは偽であるとしたらあの批評性は威張り散らさない」ということは確かでない