「この未決済額は学徒兵である」ということは誤っているということはない
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: もし仮になにかは成内でないとしたら「それは十八年前だが発揮し易くない」ということは成り立たない
fact25 -> int1: 仮にあの執務態度は成内でないとすると「それは十八年前だが発揮し易くない」ということは成り立つということはない; int1 & fact21 -> int2: 「あの執務態度は十八年前だが発揮し易くない」ということは真実でない; int2 & fact18 -> int3: あの執務態度は外壁線だ; int3 & fact23 -> int4: あの高濃度アガリクスは置き易い; int4 -> int5: あの高濃度アガリクスは置き易いかあるいは漏れ易くないかもしくは両方である; fact8 -> int6: 仮にあの高濃度アガリクスが置き易いかそれは漏れ易くないかまたは両方であるならばそれは分散する; int5 & int6 -> int7: 「あの高濃度アガリクスは分散する」ということは本当だ; fact11 & fact2 -> int8: あの高濃度アガリクスは心優しくない; int7 & int8 -> int9: あの高濃度アガリクスは心優しくないけど分散する; int9 & fact20 -> hypothesis;
「この未決済額は学徒兵でない」ということは成り立つ
fact26 -> int10: もしも「この未決済額は外壁線だがしかし成内でない」ということは間違っているならそれは学徒兵であるということはない;
$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: もし仮になにかは成内でないとしたら「それは十八年前だが発揮し易くない」ということは成り立たない ; $hypothesis$ = 「この未決済額は学徒兵である」ということは誤っているということはない ; $proof$ = 
fact25 -> int1: 仮にあの執務態度は成内でないとすると「それは十八年前だが発揮し易くない」ということは成り立つということはない; int1 & fact21 -> int2: 「あの執務態度は十八年前だが発揮し易くない」ということは真実でない; int2 & fact18 -> int3: あの執務態度は外壁線だ; int3 & fact23 -> int4: あの高濃度アガリクスは置き易い; int4 -> int5: あの高濃度アガリクスは置き易いかあるいは漏れ易くないかもしくは両方である; fact8 -> int6: 仮にあの高濃度アガリクスが置き易いかそれは漏れ易くないかまたは両方であるならばそれは分散する; int5 & int6 -> int7: 「あの高濃度アガリクスは分散する」ということは本当だ; fact11 & fact2 -> int8: あの高濃度アガリクスは心優しくない; int7 & int8 -> int9: あの高濃度アガリクスは心優しくないけど分散する; int9 & fact20 -> hypothesis; __PROVED__
事実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: もし仮になにかは成内でないとしたら「それは十八年前だが発揮し易くない」ということは成り立たない

仮説: 「この未決済額は学徒兵である」ということは誤っているということはない
1. 事実25から、推論1: "仮にあの執務態度は成内でないとすると「それは十八年前だが発揮し易くない」ということは成り立つということはない"が導かれる
2. 推論1と事実21から、推論2: "「あの執務態度は十八年前だが発揮し易くない」ということは真実でない"が導かれる
3. 推論2と事実18から、推論3: "あの執務態度は外壁線だ"が導かれる
4. 推論3と事実23から、推論4: "あの高濃度アガリクスは置き易い"が導かれる
5. 推論4から、推論5: "あの高濃度アガリクスは置き易いかあるいは漏れ易くないかもしくは両方である"が導かれる
6. 事実8から、推論6: "仮にあの高濃度アガリクスが置き易いかそれは漏れ易くないかまたは両方であるならばそれは分散する"が導かれる
7. 推論5と推論6から、推論7: "「あの高濃度アガリクスは分散する」ということは本当だ"が導かれる
8. 事実11と事実2から、推論8: "あの高濃度アガリクスは心優しくない"が導かれる
9. 推論7と推論8から、推論9: "あの高濃度アガリクスは心優しくないけど分散する"が導かれる
10. 推論9と事実20から、仮説が導かれる

よって、仮説が証明されました。