この八以下は活動等だ
fact1: この八以下は正しい fact2: この八以下は見出だし難い fact3: もし「この被爆者はマン汁でないけど直り難い」ということは成り立たないとするとあのＢＭＳはマン汁でない fact4: もし仮にあの妻殺しが各教科・領域でないとすればこの八以下が活動等だしかつ選択し易い fact5: 「初々しい」物はある fact6: 「もしもこの被爆者は繰り返し見ないなら「この被爆者はマン汁であるということはないけれどそれは直り難い」ということは成り立たない」ということは真実である fact7: 「職場でない」物はある fact8: もし選択し易いものは各教科・領域であるとすれば結合し易くない fact9: もしも何らかの物がマン汁だということはないとすると経産でないかもしくはそれはユニバーサルサービスであるかまたは両方である fact10: もしもこの八以下が見出だし難いとしたらそれは各教科・領域である fact11: もしこの八以下は結合し易くないとすればそれは厚い fact12: もし「あのＢＭＳは見出だし難くない」ということは事実なら「その御茶会は結合し易くて更に初々しい」ということは間違いである fact13: 仮に「「結合し易くて更に初々しい」ということは間違いである」物があるとするとそのトポロジーは結合し易くない fact14: もしもあの知財は下卑れば「それは選択し易い」ということは成り立つ fact15: もしこの八以下が活動等ならばそれは選択し易い fact16: 仮になんらかのものは経産であるということはないかまたはユニバーサルサービスであるかまたはどちらもだとしたらそれは見出だし難くない fact17: この成文法は活動等でない fact18: もし仮にとあるものが職場でないならこの被爆者は繰り返し見ない fact19: 仮になんらかの物が初々しいとすればあの八以下は厚くない
void -> assump1: 以下のように仮定する。この八以下は活動等である; fact15 & assump1 -> int1: この八以下は選択し易い; fact2 & fact10 -> int2: 「この八以下は各教科・領域である」ということは事実だ; int1 & int2 -> int3: この八以下は選択し易いし各教科・領域である; fact8 -> int4: この八以下は選択し易くて各教科・領域だとするとそれは結合し易いということはない; int3 & int4 -> int5: この八以下は結合し易くない; int5 & fact11 -> int6: この八以下は厚い; fact19 & fact5 -> int7: この八以下は厚くない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この八以下は活動等である
fact27 -> int9: もしもあのＢＭＳが経産でないかもしくはユニバーサルサービスだとするとそれは見出だし難くない; fact28 -> int10: もしもあのＢＭＳがマン汁でないとすればそれは経産であるということはないかあるいはそれはユニバーサルサービスであるかもしくは両方だ; fact20 & fact24 -> int11: この被爆者は繰り返し見ない; fact22 & int11 -> int12: 「この被爆者はマン汁であるということはないけれど直り難い」ということは誤りである; fact23 & int12 -> int13: あのＢＭＳはマン汁でない; int10 & int13 -> int14: あのＢＭＳは経産でないかあるいはそれはユニバーサルサービスであるかまたは両方だ; int9 & int14 -> int15: あのＢＭＳは見出だし難くない; fact26 & int15 -> int16: 「その御茶会は結合し易くて加えて初々しい」ということは成り立たない; int16 -> int17: 「「結合し易くて加えて初々しい」ということは間違いである」物はある; int17 & fact21 -> int18: そのトポロジーは結合し易くない; int18 -> int19: とある物は結合し易くない;
$facts$ = fact1: この八以下は正しい fact2: この八以下は見出だし難い fact3: もし「この被爆者はマン汁でないけど直り難い」ということは成り立たないとするとあのＢＭＳはマン汁でない fact4: もし仮にあの妻殺しが各教科・領域でないとすればこの八以下が活動等だしかつ選択し易い fact5: 「初々しい」物はある fact6: 「もしもこの被爆者は繰り返し見ないなら「この被爆者はマン汁であるということはないけれどそれは直り難い」ということは成り立たない」ということは真実である fact7: 「職場でない」物はある fact8: もし選択し易いものは各教科・領域であるとすれば結合し易くない fact9: もしも何らかの物がマン汁だということはないとすると経産でないかもしくはそれはユニバーサルサービスであるかまたは両方である fact10: もしもこの八以下が見出だし難いとしたらそれは各教科・領域である fact11: もしこの八以下は結合し易くないとすればそれは厚い fact12: もし「あのＢＭＳは見出だし難くない」ということは事実なら「その御茶会は結合し易くて更に初々しい」ということは間違いである fact13: 仮に「「結合し易くて更に初々しい」ということは間違いである」物があるとするとそのトポロジーは結合し易くない fact14: もしもあの知財は下卑れば「それは選択し易い」ということは成り立つ fact15: もしこの八以下が活動等ならばそれは選択し易い fact16: 仮になんらかのものは経産であるということはないかまたはユニバーサルサービスであるかまたはどちらもだとしたらそれは見出だし難くない fact17: この成文法は活動等でない fact18: もし仮にとあるものが職場でないならこの被爆者は繰り返し見ない fact19: 仮になんらかの物が初々しいとすればあの八以下は厚くない ; $hypothesis$ = この八以下は活動等だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この八以下は活動等である; fact15 & assump1 -> int1: この八以下は選択し易い; fact2 & fact10 -> int2: 「この八以下は各教科・領域である」ということは事実だ; int1 & int2 -> int3: この八以下は選択し易いし各教科・領域である; fact8 -> int4: この八以下は選択し易くて各教科・領域だとするとそれは結合し易いということはない; int3 & int4 -> int5: この八以下は結合し易くない; int5 & fact11 -> int6: この八以下は厚い; fact19 & fact5 -> int7: この八以下は厚くない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: この八以下は正しい
事実2: この八以下は見出だし難い
事実3: もし「この被爆者はマン汁でないけど直り難い」ということは成り立たないとするとあのＢＭＳはマン汁でない
事実4: もし仮にあの妻殺しが各教科・領域でないとすればこの八以下が活動等だしかつ選択し易い
事実5: 「初々しい」物はある
事実6: 「もしもこの被爆者は繰り返し見ないなら「この被爆者はマン汁であるということはないけれどそれは直り難い」ということは成り立たない」ということは真実である
事実7: 「職場でない」物はある
事実8: もし選択し易いものは各教科・領域であるとすれば結合し易くない
事実9: もしも何らかの物がマン汁だということはないとすると経産でないかもしくはそれはユニバーサルサービスであるかまたは両方である
事実10: もしもこの八以下が見出だし難いとしたらそれは各教科・領域である
事実11: もしこの八以下は結合し易くないとすればそれは厚い
事実12: もし「あのＢＭＳは見出だし難くない」ということは事実なら「その御茶会は結合し易くて更に初々しい」ということは間違いである
事実13: 仮に「「結合し易くて更に初々しい」ということは間違いである」物があるとするとそのトポロジーは結合し易くない
事実14: もしもあの知財は下卑れば「それは選択し易い」ということは成り立つ
事実15: もしこの八以下が活動等ならばそれは選択し易い
事実16: 仮になんらかのものは経産であるということはないかまたはユニバーサルサービスであるかまたはどちらもだとしたらそれは見出だし難くない
事実17: この成文法は活動等でない
事実18: もし仮にとあるものが職場でないならこの被爆者は繰り返し見ない
事実19: 仮になんらかの物が初々しいとすればあの八以下は厚くない

仮説: この八以下は活動等だ
1. 仮定1: 以下のように仮定する。この八以下は活動等である
2. 事実15と仮定1から、推論1: "この八以下は選択し易い"が導かれる
3. 事実2と事実10から、推論2: "「この八以下は各教科・領域である」ということは事実だ"が導かれる
4. 推論1と推論2から、推論3: "この八以下は選択し易いし各教科・領域である"が導かれる
5. 事実8から、推論4: "この八以下は選択し易くて各教科・領域だとするとそれは結合し易いということはない"が導かれる
6. 推論3と推論4から、推論5: "この八以下は結合し易くない"が導かれる
7. 推論5と事実11から、推論6: "この八以下は厚い"が導かれる
8. 事実19と事実5から、推論7: "この八以下は厚くない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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