「もし仮に「あの一次構造は眠たいけれどげっそりするということはない」ということは成り立たないならば「あの一次構造はにっこりする」ということは本当だ」ということは成り立たない
fact1: 「何らかの物は眠たいがげっそりしない」ということは間違っているとすればそれはにっこりする
$facts$ = fact1: 「何らかの物は眠たいがげっそりしない」ということは間違っているとすればそれはにっこりする ; $hypothesis$ = 「もし仮に「あの一次構造は眠たいけれどげっそりするということはない」ということは成り立たないならば「あの一次構造はにっこりする」ということは本当だ」ということは成り立たない ; $proof$ = 
事実1: 「何らかの物は眠たいがげっそりしない」ということは間違っているとすればそれはにっこりする

仮説: 「もし仮に「あの一次構造は眠たいけれどげっそりするということはない」ということは成り立たないならば「あの一次構造はにっこりする」ということは本当だ」ということは成り立たない