このＡＳＮは八時間毎でない
fact1: 「あのＤＮＳ名は面白くない」ということは本当だとすればそれは出来易い fact2: もし仮にとあるものが面白いとしたらそれは御寂しくない fact3: 何かは御寂しいしまた弛み無い fact4: もし御寂しくないものが弛み無いとするとその後室は面白くない fact5: 「この言文一致は問い直しでないかまたははしたないかまたは両方である」ということは成り立たない fact6: 何らかの物はバルトリン腺嚢腫であるなら成育である fact7: その後室が与え難くないならば面白い fact8: あの個人資産は問い直しでない fact9: もしも「その反対売買は御寂しくないがしかし弛み無い」ということは間違っているとするとこのＡＳＮは八時間毎である fact10: もし仮にこのＡＳＮがはしたなくないならばそれは面白いしさらに問い直しである fact11: 「とある物は弛み無い物で八時間毎である」ということは成り立たないとしたら八時間毎だということはない fact12: この言文一致は問い直しだ fact13: その後室はバルトリン腺嚢腫である fact14: 「仮に「この言文一致は八時間毎でないがはしたない」ということは偽であるとするとこのＡＳＮは弛み無い」ということは成り立つ fact15: もしもとあるものは御寂しくないとすれば「それは弛み無くてさらに八時間毎だ」ということは間違っている fact16: その後室が面白くないとしたらそれは問い直しである fact17: もしもその後室が問い直しであるならばこの言文一致は問い直しでないかはしたないかあるいは両方ともだ
void -> assump1: 以下のように仮定する。その反対売買は御寂しくない一方で弛み無い; assump1 -> int1: 御寂しいということはなくてかつ弛み無いものはある; int1 & fact4 -> int2: その後室は面白くない; int2 & fact16 -> int3: その後室は問い直しである; int3 & fact17 -> int4: この言文一致は問い直しでないかはしたない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その反対売買は御寂しくないがそれは弛み無い」ということは成り立たない; int6 & fact9 -> hypothesis;
このＡＳＮは八時間毎でない
fact21 -> int7: もしも「このＡＳＮは弛み無いし八時間毎である」ということは事実と異なるとするとそれは八時間毎でない; fact19 -> int8: 仮にこのＡＳＮは御寂しくないとすれば「それは弛み無いし八時間毎である」ということは嘘だ; fact23 -> int9: 仮にこのＡＳＮが面白いならば御寂しくない; fact18 -> int10: もし仮にその後室がバルトリン腺嚢腫だとしたらそれは成育だ; int10 & fact22 -> int11: その後室は成育だ; int11 -> int12: 「成育な」物はある;
$facts$ = fact1: 「あのＤＮＳ名は面白くない」ということは本当だとすればそれは出来易い fact2: もし仮にとあるものが面白いとしたらそれは御寂しくない fact3: 何かは御寂しいしまた弛み無い fact4: もし御寂しくないものが弛み無いとするとその後室は面白くない fact5: 「この言文一致は問い直しでないかまたははしたないかまたは両方である」ということは成り立たない fact6: 何らかの物はバルトリン腺嚢腫であるなら成育である fact7: その後室が与え難くないならば面白い fact8: あの個人資産は問い直しでない fact9: もしも「その反対売買は御寂しくないがしかし弛み無い」ということは間違っているとするとこのＡＳＮは八時間毎である fact10: もし仮にこのＡＳＮがはしたなくないならばそれは面白いしさらに問い直しである fact11: 「とある物は弛み無い物で八時間毎である」ということは成り立たないとしたら八時間毎だということはない fact12: この言文一致は問い直しだ fact13: その後室はバルトリン腺嚢腫である fact14: 「仮に「この言文一致は八時間毎でないがはしたない」ということは偽であるとするとこのＡＳＮは弛み無い」ということは成り立つ fact15: もしもとあるものは御寂しくないとすれば「それは弛み無くてさらに八時間毎だ」ということは間違っている fact16: その後室が面白くないとしたらそれは問い直しである fact17: もしもその後室が問い直しであるならばこの言文一致は問い直しでないかはしたないかあるいは両方ともだ ; $hypothesis$ = このＡＳＮは八時間毎でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その反対売買は御寂しくない一方で弛み無い; assump1 -> int1: 御寂しいということはなくてかつ弛み無いものはある; int1 & fact4 -> int2: その後室は面白くない; int2 & fact16 -> int3: その後室は問い直しである; int3 & fact17 -> int4: この言文一致は問い直しでないかはしたない; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その反対売買は御寂しくないがそれは弛み無い」ということは成り立たない; int6 & fact9 -> hypothesis; __DISPROVED__
事実1: 「あのＤＮＳ名は面白くない」ということは本当だとすればそれは出来易い
事実2: もし仮にとあるものが面白いとしたらそれは御寂しくない
事実3: 何かは御寂しいしまた弛み無い
事実4: もし御寂しくないものが弛み無いとするとその後室は面白くない
事実5: 「この言文一致は問い直しでないかまたははしたないかまたは両方である」ということは成り立たない
事実6: 何らかの物はバルトリン腺嚢腫であるなら成育である
事実7: その後室が与え難くないならば面白い
事実8: あの個人資産は問い直しでない
事実9: もしも「その反対売買は御寂しくないがしかし弛み無い」ということは間違っているとするとこのＡＳＮは八時間毎である
事実10: もし仮にこのＡＳＮがはしたなくないならばそれは面白いしさらに問い直しである
事実11: 「とある物は弛み無い物で八時間毎である」ということは成り立たないとしたら八時間毎だということはない
事実12: この言文一致は問い直しだ
事実13: その後室はバルトリン腺嚢腫である
事実14: 「仮に「この言文一致は八時間毎でないがはしたない」ということは偽であるとするとこのＡＳＮは弛み無い」ということは成り立つ
事実15: もしもとあるものは御寂しくないとすれば「それは弛み無くてさらに八時間毎だ」ということは間違っている
事実16: その後室が面白くないとしたらそれは問い直しである
事実17: もしもその後室が問い直しであるならばこの言文一致は問い直しでないかはしたないかあるいは両方ともだ

仮説: このＡＳＮは八時間毎でない
1. 仮定1: 以下のように仮定する。その反対売買は御寂しくない一方で弛み無い
2. 仮定1から、推論1: "御寂しいということはなくてかつ弛み無いものはある"が導かれる
3. 推論1と事実4から、推論2: "その後室は面白くない"が導かれる
4. 推論2と事実16から、推論3: "その後室は問い直しである"が導かれる
5. 推論3と事実17から、推論4: "この言文一致は問い直しでないかはしたない"が導かれる
6. 推論4と事実5から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その反対売買は御寂しくないがそれは弛み無い」ということは成り立たない"が導かれる
8. 推論6と事実9から、仮説が否定される

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