「この国会提出は顕微受精だということはない」ということは成り立つ
fact1: ある物が押麦であるかもしくは多様化しないかあるいはどちらもだとしたらそれは押麦である fact2: もしも「なにがしかのものは多様化しないけれど許し難し」ということは確かだとするとあの麦藁帽は顕微受精だ fact3: 「あの麦藁帽は張り巡らさないかもしくは輔弼しない」ということは成り立たない fact4: おどろおどろしくない物は押麦であるかあるいは多様化しないかどちらもである fact5: 「もしもこの国会提出が押麦でないとしたらあの麦藁帽は多様化しない」ということは確かである fact6: あの麦藁帽が許し難くないならこの国会提出は多様化しない fact7: あるものは顕微受精だということはないがしかし押麦だ fact8: 「おどろおどろしくない」ものはある fact9: もしもこの国会提出が押麦であるということはないとしたらあの麦藁帽は多様化する fact10: その切開電流は押麦だ fact11: 何らかのものがおどろおどろしいししかもそれが僻みっぽいならばあの麦藁帽は多様化する fact12: この国会提出が許し難くないとしたらあの麦藁帽は多様化しない fact13: 仮におどろおどろしくないものが僻みっぽいとするとあの麦藁帽は多様化する fact14: もし仮に「「この国会提出は許し難しということはないかもしくはそれは押麦だということはないか両方である」ということは真実である」ということは事実と異なるとすれば「それは顕微受精でない」ということは正しい fact15: 許し難くないものは僻みっぽいということはない fact16: あの麦藁帽はおどろおどろしくない fact17: なにがしかの物はおどろおどろしくないが僻みっぽい fact18: そのトランスナショナルは許し難くない fact19: 「この国会提出はおどろおどろしくないかそれは集成でないかあるいは両方ともである」ということは事実と異なる fact20: あの章立ては多様化する fact21: もしもあの麦藁帽が押麦であるということはないならこの国会提出は許し難くない
void -> assump1: 以下のように仮定する。この国会提出は許し難くないか押麦であるということはないかまたは両方である; assump1 & fact12 & fact5 -> int1: あの麦藁帽は多様化しない; fact17 & fact13 -> int2: あの麦藁帽は多様化する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この国会提出は許し難しということはないかまたは押麦でないかもしくは両方だ」ということは嘘である; int4 & fact14 -> hypothesis;
あの矢面は僻みっぽくない
fact22 -> int5: 「あの矢面は許し難くない」ということは事実であるならば僻みっぽくない;
$facts$ = fact1: ある物が押麦であるかもしくは多様化しないかあるいはどちらもだとしたらそれは押麦である fact2: もしも「なにがしかのものは多様化しないけれど許し難し」ということは確かだとするとあの麦藁帽は顕微受精だ fact3: 「あの麦藁帽は張り巡らさないかもしくは輔弼しない」ということは成り立たない fact4: おどろおどろしくない物は押麦であるかあるいは多様化しないかどちらもである fact5: 「もしもこの国会提出が押麦でないとしたらあの麦藁帽は多様化しない」ということは確かである fact6: あの麦藁帽が許し難くないならこの国会提出は多様化しない fact7: あるものは顕微受精だということはないがしかし押麦だ fact8: 「おどろおどろしくない」ものはある fact9: もしもこの国会提出が押麦であるということはないとしたらあの麦藁帽は多様化する fact10: その切開電流は押麦だ fact11: 何らかのものがおどろおどろしいししかもそれが僻みっぽいならばあの麦藁帽は多様化する fact12: この国会提出が許し難くないとしたらあの麦藁帽は多様化しない fact13: 仮におどろおどろしくないものが僻みっぽいとするとあの麦藁帽は多様化する fact14: もし仮に「「この国会提出は許し難しということはないかもしくはそれは押麦だということはないか両方である」ということは真実である」ということは事実と異なるとすれば「それは顕微受精でない」ということは正しい fact15: 許し難くないものは僻みっぽいということはない fact16: あの麦藁帽はおどろおどろしくない fact17: なにがしかの物はおどろおどろしくないが僻みっぽい fact18: そのトランスナショナルは許し難くない fact19: 「この国会提出はおどろおどろしくないかそれは集成でないかあるいは両方ともである」ということは事実と異なる fact20: あの章立ては多様化する fact21: もしもあの麦藁帽が押麦であるということはないならこの国会提出は許し難くない ; $hypothesis$ = 「この国会提出は顕微受精だということはない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この国会提出は許し難くないか押麦であるということはないかまたは両方である; assump1 & fact12 & fact5 -> int1: あの麦藁帽は多様化しない; fact17 & fact13 -> int2: あの麦藁帽は多様化する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この国会提出は許し難しということはないかまたは押麦でないかもしくは両方だ」ということは嘘である; int4 & fact14 -> hypothesis; __PROVED__
事実1: ある物が押麦であるかもしくは多様化しないかあるいはどちらもだとしたらそれは押麦である
事実2: もしも「なにがしかのものは多様化しないけれど許し難し」ということは確かだとするとあの麦藁帽は顕微受精だ
事実3: 「あの麦藁帽は張り巡らさないかもしくは輔弼しない」ということは成り立たない
事実4: おどろおどろしくない物は押麦であるかあるいは多様化しないかどちらもである
事実5: 「もしもこの国会提出が押麦でないとしたらあの麦藁帽は多様化しない」ということは確かである
事実6: あの麦藁帽が許し難くないならこの国会提出は多様化しない
事実7: あるものは顕微受精だということはないがしかし押麦だ
事実8: 「おどろおどろしくない」ものはある
事実9: もしもこの国会提出が押麦であるということはないとしたらあの麦藁帽は多様化する
事実10: その切開電流は押麦だ
事実11: 何らかのものがおどろおどろしいししかもそれが僻みっぽいならばあの麦藁帽は多様化する
事実12: この国会提出が許し難くないとしたらあの麦藁帽は多様化しない
事実13: 仮におどろおどろしくないものが僻みっぽいとするとあの麦藁帽は多様化する
事実14: もし仮に「「この国会提出は許し難しということはないかもしくはそれは押麦だということはないか両方である」ということは真実である」ということは事実と異なるとすれば「それは顕微受精でない」ということは正しい
事実15: 許し難くないものは僻みっぽいということはない
事実16: あの麦藁帽はおどろおどろしくない
事実17: なにがしかの物はおどろおどろしくないが僻みっぽい
事実18: そのトランスナショナルは許し難くない
事実19: 「この国会提出はおどろおどろしくないかそれは集成でないかあるいは両方ともである」ということは事実と異なる
事実20: あの章立ては多様化する
事実21: もしもあの麦藁帽が押麦であるということはないならこの国会提出は許し難くない

仮説: 「この国会提出は顕微受精だということはない」ということは成り立つ
1. 仮定1: 以下のように仮定する。この国会提出は許し難くないか押麦であるということはないかまたは両方である
2. 仮定1と事実12と事実5から、推論1: "あの麦藁帽は多様化しない"が導かれる
3. 事実17と事実13から、推論2: "あの麦藁帽は多様化する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この国会提出は許し難しということはないかまたは押麦でないかもしくは両方だ」ということは嘘である"が導かれる
6. 推論4と事実14から、仮説が導かれる

よって、仮説が証明されました。