「もし仮にこの子宮病変は小憎らしいとすれば「その樹林帯は婦人服であるということはないし可笑しということはない」ということは事実と異なる」ということは偽だ
fact1: 仮に「とあるものはしどけないしそれはつまされる」ということは確かであるとするとその樹林帯は婦人服であるということはない fact2: 仮にこの子宮病変は小憎らしいとすると「その樹林帯は婦人服でないけれどそれは可笑し」ということは嘘である fact3: あの騎乗位が八施設であるとすればあの子宮病変はしどけない fact4: 「しどけないし小憎らしい」ものがあるとするとその匂袋はどうしても欲しくない fact5: 「この子宮病変は八施設だけどしどけなくない」ということは成り立たない fact6: もしもその匂袋はどうしても欲しくないとすれば「その樹林帯は婦人服でないし可笑しない」ということは間違いである fact7: あの騎乗位は八施設であるしそれにつまされる
fact7 -> int1: あの騎乗位は八施設だ; int1 & fact3 -> int2: この子宮病変はしどけない; void -> assump1: 以下のように仮定する。この子宮病変は小憎らしい; int2 & assump1 -> int3: この子宮病変はしどけなくておまけに小憎らしい; int3 -> int4: しどけなくてまた小憎らしいものはある; int4 & fact4 -> int5: その匂袋はどうしても欲しくない; int5 & fact6 -> int6: 「その樹林帯は婦人服でないしおまけに可笑しない」ということは正しくない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 仮に「とあるものはしどけないしそれはつまされる」ということは確かであるとするとその樹林帯は婦人服であるということはない fact2: 仮にこの子宮病変は小憎らしいとすると「その樹林帯は婦人服でないけれどそれは可笑し」ということは嘘である fact3: あの騎乗位が八施設であるとすればあの子宮病変はしどけない fact4: 「しどけないし小憎らしい」ものがあるとするとその匂袋はどうしても欲しくない fact5: 「この子宮病変は八施設だけどしどけなくない」ということは成り立たない fact6: もしもその匂袋はどうしても欲しくないとすれば「その樹林帯は婦人服でないし可笑しない」ということは間違いである fact7: あの騎乗位は八施設であるしそれにつまされる ; $hypothesis$ = 「もし仮にこの子宮病変は小憎らしいとすれば「その樹林帯は婦人服であるということはないし可笑しということはない」ということは事実と異なる」ということは偽だ ; $proof$ = 
fact7 -> int1: あの騎乗位は八施設だ; int1 & fact3 -> int2: この子宮病変はしどけない; void -> assump1: 以下のように仮定する。この子宮病変は小憎らしい; int2 & assump1 -> int3: この子宮病変はしどけなくておまけに小憎らしい; int3 -> int4: しどけなくてまた小憎らしいものはある; int4 & fact4 -> int5: その匂袋はどうしても欲しくない; int5 & fact6 -> int6: 「その樹林帯は婦人服でないしおまけに可笑しない」ということは正しくない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮に「とあるものはしどけないしそれはつまされる」ということは確かであるとするとその樹林帯は婦人服であるということはない
事実2: 仮にこの子宮病変は小憎らしいとすると「その樹林帯は婦人服でないけれどそれは可笑し」ということは嘘である
事実3: あの騎乗位が八施設であるとすればあの子宮病変はしどけない
事実4: 「しどけないし小憎らしい」ものがあるとするとその匂袋はどうしても欲しくない
事実5: 「この子宮病変は八施設だけどしどけなくない」ということは成り立たない
事実6: もしもその匂袋はどうしても欲しくないとすれば「その樹林帯は婦人服でないし可笑しない」ということは間違いである
事実7: あの騎乗位は八施設であるしそれにつまされる

仮説: 「もし仮にこの子宮病変は小憎らしいとすれば「その樹林帯は婦人服であるということはないし可笑しということはない」ということは事実と異なる」ということは偽だ
1. 事実7から、推論1: "あの騎乗位は八施設だ"が導かれる
2. 推論1と事実3から、推論2: "この子宮病変はしどけない"が導かれる
3. 仮定1: 以下のように仮定する。この子宮病変は小憎らしい
4. 推論2と仮定1から、推論3: "この子宮病変はしどけなくておまけに小憎らしい"が導かれる
5. 推論3から、推論4: "しどけなくてまた小憎らしいものはある"が導かれる
6. 推論4と事実4から、推論5: "その匂袋はどうしても欲しくない"が導かれる
7. 推論5と事実6から、推論6: "「その樹林帯は婦人服でないしおまけに可笑しない」ということは正しくない"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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