この憧憬は六十七ページ参照であるかもしくは免るないかまたは両方だ
fact1: 「その支配行為は長袖であるかもしくはそれは使い難くないかもしくは両方ともである」ということは成り立たない fact2: もし仮にその炒め玉葱が血腥くないとしたらそれは直系家族でなくてその上発行登録である fact3: もしこの助産師が六十七ページ参照だとするとその株屋は免る fact4: この憧憬は土壌であるけど血腥くない fact5: 「仮にそのＫ子が読み込めないが弱々しいならそのＫ子は成体脊髄由来でない」ということは真実である fact6: もし「この助産師は使い難い」ということは成り立つとするとそのＫ子は成体脊髄由来だ fact7: もしなにかは使い難いとすると「発行登録だということはないがしかし成体脊髄由来である」ということは間違いである fact8: 「そのＫ子は弱々しい」ということは成り立つ fact9: この憧憬は免る fact10: この助産師は六十七ページ参照でない fact11: 使い難くないものは六十七ページ参照であるかもしくは免るない fact12: この助産師が読み込めるならそのＫ子は使い難い fact13: この憧憬は直系家族でない fact14: もし仮に「なにかは発行登録でないけど成体脊髄由来である」ということは間違っているとすると発行登録だ fact15: その炒め玉葱は血腥くない fact16: そのＫ子は免るということはない fact17: もし仮にその炒め玉葱が血腥くないならばそれは直系家族でない fact18: もしなんらかのものが免れば直系家族だということはないしおまけに使い難い fact19: もしもその株屋は免るないとすれば「この憧憬は六十七ページ参照であるかあるいは免るない」ということは成り立たない fact20: 仮にその炒め玉葱が直系家族だしそれにそれが発行登録であるならこの助産師は直系家族である fact21: その炒め玉葱は使い難くない fact22: その株屋は成体脊髄由来だということはない fact23: その炒め玉葱は直系家族でない fact24: もし仮にこの助産師が直系家族だけどそれが使い難くないならばその株屋は免るない fact25: もしその株屋が免るないとすればこの憧憬は免る fact26: そのＫ子は読み込めないけど弱々しい fact27: もしその炒め玉葱が直系家族でないけど発行登録であるとしたら「この助産師は直系家族である」ということは事実だ
void -> assump1: 以下のように仮定する。この助産師は使い難い; fact6 & assump1 -> int1: そのＫ子は成体脊髄由来である; fact5 & fact26 -> int2: そのＫ子は成体脊髄由来だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この助産師は使い難くない; fact2 & fact15 -> int5: 「その炒め玉葱は直系家族でないがしかし発行登録だ」ということは本当である; int5 & fact27 -> int6: この助産師は直系家族である; int4 & int6 -> int7: この助産師は直系家族だけれどそれは使い難くない; int7 & fact24 -> int8: その株屋は免るない; int8 & fact19 -> hypothesis;
この憧憬は六十七ページ参照であるかあるいは免るないかまたは両方である
fact28 -> int9: この憧憬は使い難くないとすると「それは六十七ページ参照であるかあるいはそれは免るない」ということは事実だ;
$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: もし仮にこの助産師が直系家族だけどそれが使い難くないならばその株屋は免るない fact25: もしその株屋が免るないとすればこの憧憬は免る fact26: そのＫ子は読み込めないけど弱々しい fact27: もしその炒め玉葱が直系家族でないけど発行登録であるとしたら「この助産師は直系家族である」ということは事実だ ; $hypothesis$ = この憧憬は六十七ページ参照であるかもしくは免るないかまたは両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この助産師は使い難い; fact6 & assump1 -> int1: そのＫ子は成体脊髄由来である; fact5 & fact26 -> int2: そのＫ子は成体脊髄由来だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この助産師は使い難くない; fact2 & fact15 -> int5: 「その炒め玉葱は直系家族でないがしかし発行登録だ」ということは本当である; int5 & fact27 -> int6: この助産師は直系家族である; int4 & int6 -> int7: この助産師は直系家族だけれどそれは使い難くない; int7 & fact24 -> int8: その株屋は免るない; int8 & fact19 -> 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: もし仮にこの助産師が直系家族だけどそれが使い難くないならばその株屋は免るない
事実25: もしその株屋が免るないとすればこの憧憬は免る
事実26: そのＫ子は読み込めないけど弱々しい
事実27: もしその炒め玉葱が直系家族でないけど発行登録であるとしたら「この助産師は直系家族である」ということは事実だ

仮説: この憧憬は六十七ページ参照であるかもしくは免るないかまたは両方だ
1. 仮定1: 以下のように仮定する。この助産師は使い難い
2. 事実6と仮定1から、推論1: "そのＫ子は成体脊髄由来である"が導かれる
3. 事実5と事実26から、推論2: "そのＫ子は成体脊髄由来だということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この助産師は使い難くない"が導かれる
6. 事実2と事実15から、推論5: "「その炒め玉葱は直系家族でないがしかし発行登録だ」ということは本当である"が導かれる
7. 推論5と事実27から、推論6: "この助産師は直系家族である"が導かれる
8. 推論4と推論6から、推論7: "この助産師は直系家族だけれどそれは使い難くない"が導かれる
9. 推論7と事実24から、推論8: "その株屋は免るない"が導かれる
10. 推論8と事実19から、仮説が否定される

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