その診療報酬明細書は返す
fact1: もし仮にあの資本参加は二十一世紀福祉ビジョンならば「「この暑さはホグワーツ校で二十一世紀福祉ビジョンだ」ということは成り立つ」ということは成り立たない fact2: 仮に「あの資本参加は進化し易くないし押さえでない」ということは成り立つということはないとするとあの水草は返す fact3: あの水草が押さえでないとすればあの診療報酬明細書は返す fact4: なんらかのものが丸いとしたらそれは二十一世紀福祉ビジョンだけど講席でない fact5: この暑さは進化し易いということはないしそれにガッシュでない fact6: 「この暑さはホグワーツ校であるし進化し易い」ということは事実と異なる fact7: もしもこの暑さがホグワーツ校だということはないならばそのリスク減少率はホグワーツ校でない fact8: もしもこの対価補償金は二十一世紀福祉ビジョンであるとすれば「あの資本参加は加減であるが二十一世紀福祉ビジョンでない」ということは成り立たない fact9: 仮にあの資本参加は進化し易くないし打ち難くないなら「あの水草は押さえでない」ということは本当だ fact10: もし仮に何かは丸いとすると講席でない fact11: この肝っ玉御母は粘り強くない fact12: 仮に「この暑さはホグワーツ校でないしさらにガッシュでない」ということは嘘であるとしたらこの対価補償金は丸い fact13: もしそのアウトが進化し易くないならあの資本参加は進化し易くない fact14: もし仮にこの肝っ玉御母が粘り強いとすると進化し易いということはない fact15: 「この暑さはホグワーツ校でないし更にガッシュでない」ということは成り立たない fact16: もし「「粘り強くない」ということは成り立つ」ものがあるとするとそのアウトは進化し易くない fact17: 「この暑さは講席だし加えてそれは加減である」ということは嘘であるならそれは講席でない fact18: 「なにかは加減であるけれど二十一世紀福祉ビジョンでない」ということは成り立つということはないとするとそれは打ち難くない
fact12 & fact15 -> int1: この対価補償金は丸い; fact4 -> int2: もしもこの対価補償金が丸いとすれば二十一世紀福祉ビジョンでそれにそれは講席でない; int1 & int2 -> int3: この対価補償金は二十一世紀福祉ビジョンであるが講席でない; int3 -> int4: 「この対価補償金は二十一世紀福祉ビジョンである」ということは正しい; int4 & fact8 -> int5: 「あの資本参加は加減だが二十一世紀福祉ビジョンでない」ということは嘘である; fact18 -> int6: 仮に「「あの資本参加は加減であるがそれは二十一世紀福祉ビジョンでない」ということは成り立たない」ということは嘘でないならそれは打ち難いということはない; int5 & int6 -> int7: あの資本参加は打ち難いということはない; fact11 -> int8: 「粘り強いということはない」物はある; fact16 & int8 -> int9: そのアウトは進化し易いということはない; int9 & fact13 -> int10: 「あの資本参加は進化し易くない」ということは本当である; int7 & int10 -> int11: あの資本参加は進化し易くないしおまけに打ち難くない; int11 & fact9 -> int12: あの水草は押さえでない; int12 & fact3 -> hypothesis;
その診療報酬明細書は返さない
$facts$ = fact1: もし仮にあの資本参加は二十一世紀福祉ビジョンならば「「この暑さはホグワーツ校で二十一世紀福祉ビジョンだ」ということは成り立つ」ということは成り立たない fact2: 仮に「あの資本参加は進化し易くないし押さえでない」ということは成り立つということはないとするとあの水草は返す fact3: あの水草が押さえでないとすればあの診療報酬明細書は返す fact4: なんらかのものが丸いとしたらそれは二十一世紀福祉ビジョンだけど講席でない fact5: この暑さは進化し易いということはないしそれにガッシュでない fact6: 「この暑さはホグワーツ校であるし進化し易い」ということは事実と異なる fact7: もしもこの暑さがホグワーツ校だということはないならばそのリスク減少率はホグワーツ校でない fact8: もしもこの対価補償金は二十一世紀福祉ビジョンであるとすれば「あの資本参加は加減であるが二十一世紀福祉ビジョンでない」ということは成り立たない fact9: 仮にあの資本参加は進化し易くないし打ち難くないなら「あの水草は押さえでない」ということは本当だ fact10: もし仮に何かは丸いとすると講席でない fact11: この肝っ玉御母は粘り強くない fact12: 仮に「この暑さはホグワーツ校でないしさらにガッシュでない」ということは嘘であるとしたらこの対価補償金は丸い fact13: もしそのアウトが進化し易くないならあの資本参加は進化し易くない fact14: もし仮にこの肝っ玉御母が粘り強いとすると進化し易いということはない fact15: 「この暑さはホグワーツ校でないし更にガッシュでない」ということは成り立たない fact16: もし「「粘り強くない」ということは成り立つ」ものがあるとするとそのアウトは進化し易くない fact17: 「この暑さは講席だし加えてそれは加減である」ということは嘘であるならそれは講席でない fact18: 「なにかは加減であるけれど二十一世紀福祉ビジョンでない」ということは成り立つということはないとするとそれは打ち難くない ; $hypothesis$ = その診療報酬明細書は返す ; $proof$ = 
fact12 & fact15 -> int1: この対価補償金は丸い; fact4 -> int2: もしもこの対価補償金が丸いとすれば二十一世紀福祉ビジョンでそれにそれは講席でない; int1 & int2 -> int3: この対価補償金は二十一世紀福祉ビジョンであるが講席でない; int3 -> int4: 「この対価補償金は二十一世紀福祉ビジョンである」ということは正しい; int4 & fact8 -> int5: 「あの資本参加は加減だが二十一世紀福祉ビジョンでない」ということは嘘である; fact18 -> int6: 仮に「「あの資本参加は加減であるがそれは二十一世紀福祉ビジョンでない」ということは成り立たない」ということは嘘でないならそれは打ち難いということはない; int5 & int6 -> int7: あの資本参加は打ち難いということはない; fact11 -> int8: 「粘り強いということはない」物はある; fact16 & int8 -> int9: そのアウトは進化し易いということはない; int9 & fact13 -> int10: 「あの資本参加は進化し易くない」ということは本当である; int7 & int10 -> int11: あの資本参加は進化し易くないしおまけに打ち難くない; int11 & fact9 -> int12: あの水草は押さえでない; int12 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にあの資本参加は二十一世紀福祉ビジョンならば「「この暑さはホグワーツ校で二十一世紀福祉ビジョンだ」ということは成り立つ」ということは成り立たない
事実2: 仮に「あの資本参加は進化し易くないし押さえでない」ということは成り立つということはないとするとあの水草は返す
事実3: あの水草が押さえでないとすればあの診療報酬明細書は返す
事実4: なんらかのものが丸いとしたらそれは二十一世紀福祉ビジョンだけど講席でない
事実5: この暑さは進化し易いということはないしそれにガッシュでない
事実6: 「この暑さはホグワーツ校であるし進化し易い」ということは事実と異なる
事実7: もしもこの暑さがホグワーツ校だということはないならばそのリスク減少率はホグワーツ校でない
事実8: もしもこの対価補償金は二十一世紀福祉ビジョンであるとすれば「あの資本参加は加減であるが二十一世紀福祉ビジョンでない」ということは成り立たない
事実9: 仮にあの資本参加は進化し易くないし打ち難くないなら「あの水草は押さえでない」ということは本当だ
事実10: もし仮に何かは丸いとすると講席でない
事実11: この肝っ玉御母は粘り強くない
事実12: 仮に「この暑さはホグワーツ校でないしさらにガッシュでない」ということは嘘であるとしたらこの対価補償金は丸い
事実13: もしそのアウトが進化し易くないならあの資本参加は進化し易くない
事実14: もし仮にこの肝っ玉御母が粘り強いとすると進化し易いということはない
事実15: 「この暑さはホグワーツ校でないし更にガッシュでない」ということは成り立たない
事実16: もし「「粘り強くない」ということは成り立つ」ものがあるとするとそのアウトは進化し易くない
事実17: 「この暑さは講席だし加えてそれは加減である」ということは嘘であるならそれは講席でない
事実18: 「なにかは加減であるけれど二十一世紀福祉ビジョンでない」ということは成り立つということはないとするとそれは打ち難くない

仮説: その診療報酬明細書は返す
1. 事実12と事実15から、推論1: "この対価補償金は丸い"が導かれる
2. 事実4から、推論2: "もしもこの対価補償金が丸いとすれば二十一世紀福祉ビジョンでそれにそれは講席でない"が導かれる
3. 推論1と推論2から、推論3: "この対価補償金は二十一世紀福祉ビジョンであるが講席でない"が導かれる
4. 推論3から、推論4: "「この対価補償金は二十一世紀福祉ビジョンである」ということは正しい"が導かれる
5. 推論4と事実8から、推論5: "「あの資本参加は加減だが二十一世紀福祉ビジョンでない」ということは嘘である"が導かれる
6. 事実18から、推論6: "仮に「「あの資本参加は加減であるがそれは二十一世紀福祉ビジョンでない」ということは成り立たない」ということは嘘でないならそれは打ち難いということはない"が導かれる
7. 推論5と推論6から、推論7: "あの資本参加は打ち難いということはない"が導かれる
8. 事実11から、推論8: "「粘り強いということはない」物はある"が導かれる
9. 事実16と推論8から、推論9: "そのアウトは進化し易いということはない"が導かれる
10. 推論9と事実13から、推論10: "「あの資本参加は進化し易くない」ということは本当である"が導かれる
11. 推論7と推論10から、推論11: "あの資本参加は進化し易くないしおまけに打ち難くない"が導かれる
12. 推論11と事実9から、推論12: "あの水草は押さえでない"が導かれる
13. 推論12と事実3から、仮説が導かれる

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