「何らかのものは御寄せ頂かない」ということは誤りである
fact1: もしも「その調査委員会は準用するということはない一方で俗っぽい」ということは本当でないとすると俗っぽくない fact2: もし仮にこの上人が大学教授でまたそれは腐心すれば「それは御寄せ頂くということはない」ということは真実だ fact3: その調査委員会は押収する fact4: この上人は大学教授でない fact5: その調査委員会は腐心する fact6: もしその調査委員会は御寄せ頂くし潔いとすれば押収しない fact7: あるものが御寄せ頂かないとすればそれは大学教授でないかまたはそれは潔くないか両方だ fact8: その犬橇は大学教授であるということはない fact9: そのドーラン巡査は巻き付かない一方でそれは腐心する fact10: 「その調査委員会が俗っぽくないとすればその調査委員会は押収しない一方で近代フランス政治史である」ということは誤りでない fact11: その公的責任は言い始めるし多い fact12: 仮にその調査委員会がブルゾンでない一方でそれが腐心するとするとそれは潔い fact13: もしも「この上人は大学教授でない」ということは成り立つとすればその調査委員会はブルゾンでないがしかし腐心する fact14: その庚申堂は潔くないけど田舎っぽい fact15: 仮になにがしかのものが大学教授でないかもしくは潔くないとしたらそれは女性用客室でない fact16: 仮にこの上人は大学教授でないなら「その調査委員会は腐心する」ということは本当である fact17: 「ブルゾンでない」物はある fact18: この上人は焜炉でない fact19: あのキャディーは大学教授である fact20: もし仮にその調査委員会が潔くてさらに大学教授であるとすれば押収しない fact21: 「御寄せ頂く」ものはある fact22: もしもこの上人がブルゾンでないならばその調査委員会は腐心するということはない一方で大学教授だ fact23: この断面積は押収する fact24: もしもこの上人がかったるいしかつそれは大学教授であるとするとそつ無くない
fact13 & fact4 -> int1: その調査委員会はブルゾンでないが腐心する; int1 & fact12 -> int2: その調査委員会は潔い; void -> assump1: 以下のように仮定する。その調査委員会は御寄せ頂く; int2 & assump1 -> int3: その調査委員会は御寄せ頂くしその上潔い; int3 & fact6 -> int4: その調査委員会は押収しない; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: その調査委員会は御寄せ頂かない; int6 -> hypothesis;
なんらかの物は女性用客室でない
fact28 -> int7: 仮にこの上人が大学教授でないかまたはそれが潔くないとするとそれは女性用客室でない; fact26 -> int8: もし「この上人は御寄せ頂かない」ということは真実だとすれば大学教授だということはないかもしくは潔くないかもしくは両方ともだ;
$facts$ = fact1: もしも「その調査委員会は準用するということはない一方で俗っぽい」ということは本当でないとすると俗っぽくない fact2: もし仮にこの上人が大学教授でまたそれは腐心すれば「それは御寄せ頂くということはない」ということは真実だ fact3: その調査委員会は押収する fact4: この上人は大学教授でない fact5: その調査委員会は腐心する fact6: もしその調査委員会は御寄せ頂くし潔いとすれば押収しない fact7: あるものが御寄せ頂かないとすればそれは大学教授でないかまたはそれは潔くないか両方だ fact8: その犬橇は大学教授であるということはない fact9: そのドーラン巡査は巻き付かない一方でそれは腐心する fact10: 「その調査委員会が俗っぽくないとすればその調査委員会は押収しない一方で近代フランス政治史である」ということは誤りでない fact11: その公的責任は言い始めるし多い fact12: 仮にその調査委員会がブルゾンでない一方でそれが腐心するとするとそれは潔い fact13: もしも「この上人は大学教授でない」ということは成り立つとすればその調査委員会はブルゾンでないがしかし腐心する fact14: その庚申堂は潔くないけど田舎っぽい fact15: 仮になにがしかのものが大学教授でないかもしくは潔くないとしたらそれは女性用客室でない fact16: 仮にこの上人は大学教授でないなら「その調査委員会は腐心する」ということは本当である fact17: 「ブルゾンでない」物はある fact18: この上人は焜炉でない fact19: あのキャディーは大学教授である fact20: もし仮にその調査委員会が潔くてさらに大学教授であるとすれば押収しない fact21: 「御寄せ頂く」ものはある fact22: もしもこの上人がブルゾンでないならばその調査委員会は腐心するということはない一方で大学教授だ fact23: この断面積は押収する fact24: もしもこの上人がかったるいしかつそれは大学教授であるとするとそつ無くない ; $hypothesis$ = 「何らかのものは御寄せ頂かない」ということは誤りである ; $proof$ = 
fact13 & fact4 -> int1: その調査委員会はブルゾンでないが腐心する; int1 & fact12 -> int2: その調査委員会は潔い; void -> assump1: 以下のように仮定する。その調査委員会は御寄せ頂く; int2 & assump1 -> int3: その調査委員会は御寄せ頂くしその上潔い; int3 & fact6 -> int4: その調査委員会は押収しない; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: その調査委員会は御寄せ頂かない; int6 -> hypothesis; __DISPROVED__
事実1: もしも「その調査委員会は準用するということはない一方で俗っぽい」ということは本当でないとすると俗っぽくない
事実2: もし仮にこの上人が大学教授でまたそれは腐心すれば「それは御寄せ頂くということはない」ということは真実だ
事実3: その調査委員会は押収する
事実4: この上人は大学教授でない
事実5: その調査委員会は腐心する
事実6: もしその調査委員会は御寄せ頂くし潔いとすれば押収しない
事実7: あるものが御寄せ頂かないとすればそれは大学教授でないかまたはそれは潔くないか両方だ
事実8: その犬橇は大学教授であるということはない
事実9: そのドーラン巡査は巻き付かない一方でそれは腐心する
事実10: 「その調査委員会が俗っぽくないとすればその調査委員会は押収しない一方で近代フランス政治史である」ということは誤りでない
事実11: その公的責任は言い始めるし多い
事実12: 仮にその調査委員会がブルゾンでない一方でそれが腐心するとするとそれは潔い
事実13: もしも「この上人は大学教授でない」ということは成り立つとすればその調査委員会はブルゾンでないがしかし腐心する
事実14: その庚申堂は潔くないけど田舎っぽい
事実15: 仮になにがしかのものが大学教授でないかもしくは潔くないとしたらそれは女性用客室でない
事実16: 仮にこの上人は大学教授でないなら「その調査委員会は腐心する」ということは本当である
事実17: 「ブルゾンでない」物はある
事実18: この上人は焜炉でない
事実19: あのキャディーは大学教授である
事実20: もし仮にその調査委員会が潔くてさらに大学教授であるとすれば押収しない
事実21: 「御寄せ頂く」ものはある
事実22: もしもこの上人がブルゾンでないならばその調査委員会は腐心するということはない一方で大学教授だ
事実23: この断面積は押収する
事実24: もしもこの上人がかったるいしかつそれは大学教授であるとするとそつ無くない

仮説: 「何らかのものは御寄せ頂かない」ということは誤りである
1. 事実13と事実4から、推論1: "その調査委員会はブルゾンでないが腐心する"が導かれる
2. 推論1と事実12から、推論2: "その調査委員会は潔い"が導かれる
3. 仮定1: 以下のように仮定する。その調査委員会は御寄せ頂く
4. 推論2と仮定1から、推論3: "その調査委員会は御寄せ頂くしその上潔い"が導かれる
5. 推論3と事実6から、推論4: "その調査委員会は押収しない"が導かれる
6. 推論4と事実3から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その調査委員会は御寄せ頂かない"が導かれる
8. 推論6から、仮説が否定される

よって、仮説が否定されました。