「この貯水槽は突き上がらないけれど吹き易い」ということは確かでない
fact1: 「あのプログラミングは弱々しくてさらに得られ難い」ということは間違いだ fact2: 仮にその配慮は火災保険契約でないとしたら「「この貯水槽は突き上がらない一方でそれは吹き易い」ということは成り立つ」ということは成り立たない fact3: もしなにがしかのものが火災保険契約であるとするとそれは脱感作療法でなくてしかもウイルスファイルだ fact4: この資格試験は規定し得る fact5: 仮にあるものが火災保険契約だとするとそれはウイルスファイルである fact6: 仮にその配慮は火災保険契約であるならばウイルスファイルである fact7: その配慮は規定し得る fact8: その配慮はウイルスファイルだ fact9: もし仮に「その配慮は規定し得る」ということは事実だとしたらそれは弱々しい fact10: この貯水槽は規定し得ない fact11: 「この貯水槽は突き上がるし吹き易い」ということは間違いである fact12: もしもその配慮は火災保険契約でないなら「この貯水槽は突き上がるしその上吹き易い」ということは成り立たない fact13: 仮にその配慮が突き上がるならそれは火災保険契約だということはないしそれにそれは吹き易い fact14: もし仮に何らかの物が火災保険契約であるとすればそれは突き上がらないしそれは吹き易い fact15: なにかは弱々しいなら「それは脱感作療法でないがウイルスファイルだ」ということは成り立たない fact16: その配慮は吹き易い fact17: 「「その参列者は実現し易くない一方で冷え込みである」ということは誤っている」ということは事実だ fact18: なにかは弱々しいならばそれは突き上がるということはなくておまけにウイルスファイルだ
fact3 -> int1: もし仮にその配慮は火災保険契約であるなら脱感作療法でないがしかしウイルスファイルだ; void -> assump1: 以下のように仮定する。その配慮は火災保険契約である; int1 & assump1 -> int2: その配慮は脱感作療法でないがウイルスファイルだ; fact15 -> int3: もしもその配慮は弱々しいとしたら「それは脱感作療法でなくてウイルスファイルである」ということは成り立たない; fact9 & fact7 -> int4: その配慮は弱々しい; int3 & int4 -> int5: 「「その配慮は脱感作療法でないがウイルスファイルである」ということは成り立たない」ということは事実と異ならない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その配慮は火災保険契約でない; int7 & fact2 -> hypothesis;
この貯水槽は突き上がらないけど吹き易い
fact19 -> int8: 仮にこの貯水槽が火災保険契約だとすればそれは突き上がらなくてまたそれは吹き易い;
$facts$ = fact1: 「あのプログラミングは弱々しくてさらに得られ難い」ということは間違いだ fact2: 仮にその配慮は火災保険契約でないとしたら「「この貯水槽は突き上がらない一方でそれは吹き易い」ということは成り立つ」ということは成り立たない fact3: もしなにがしかのものが火災保険契約であるとするとそれは脱感作療法でなくてしかもウイルスファイルだ fact4: この資格試験は規定し得る fact5: 仮にあるものが火災保険契約だとするとそれはウイルスファイルである fact6: 仮にその配慮は火災保険契約であるならばウイルスファイルである fact7: その配慮は規定し得る fact8: その配慮はウイルスファイルだ fact9: もし仮に「その配慮は規定し得る」ということは事実だとしたらそれは弱々しい fact10: この貯水槽は規定し得ない fact11: 「この貯水槽は突き上がるし吹き易い」ということは間違いである fact12: もしもその配慮は火災保険契約でないなら「この貯水槽は突き上がるしその上吹き易い」ということは成り立たない fact13: 仮にその配慮が突き上がるならそれは火災保険契約だということはないしそれにそれは吹き易い fact14: もし仮に何らかの物が火災保険契約であるとすればそれは突き上がらないしそれは吹き易い fact15: なにかは弱々しいなら「それは脱感作療法でないがウイルスファイルだ」ということは成り立たない fact16: その配慮は吹き易い fact17: 「「その参列者は実現し易くない一方で冷え込みである」ということは誤っている」ということは事実だ fact18: なにかは弱々しいならばそれは突き上がるということはなくておまけにウイルスファイルだ ; $hypothesis$ = 「この貯水槽は突き上がらないけれど吹き易い」ということは確かでない ; $proof$ = 
fact3 -> int1: もし仮にその配慮は火災保険契約であるなら脱感作療法でないがしかしウイルスファイルだ; void -> assump1: 以下のように仮定する。その配慮は火災保険契約である; int1 & assump1 -> int2: その配慮は脱感作療法でないがウイルスファイルだ; fact15 -> int3: もしもその配慮は弱々しいとしたら「それは脱感作療法でなくてウイルスファイルである」ということは成り立たない; fact9 & fact7 -> int4: その配慮は弱々しい; int3 & int4 -> int5: 「「その配慮は脱感作療法でないがウイルスファイルである」ということは成り立たない」ということは事実と異ならない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その配慮は火災保険契約でない; int7 & fact2 -> hypothesis; __PROVED__
事実1: 「あのプログラミングは弱々しくてさらに得られ難い」ということは間違いだ
事実2: 仮にその配慮は火災保険契約でないとしたら「「この貯水槽は突き上がらない一方でそれは吹き易い」ということは成り立つ」ということは成り立たない
事実3: もしなにがしかのものが火災保険契約であるとするとそれは脱感作療法でなくてしかもウイルスファイルだ
事実4: この資格試験は規定し得る
事実5: 仮にあるものが火災保険契約だとするとそれはウイルスファイルである
事実6: 仮にその配慮は火災保険契約であるならばウイルスファイルである
事実7: その配慮は規定し得る
事実8: その配慮はウイルスファイルだ
事実9: もし仮に「その配慮は規定し得る」ということは事実だとしたらそれは弱々しい
事実10: この貯水槽は規定し得ない
事実11: 「この貯水槽は突き上がるし吹き易い」ということは間違いである
事実12: もしもその配慮は火災保険契約でないなら「この貯水槽は突き上がるしその上吹き易い」ということは成り立たない
事実13: 仮にその配慮が突き上がるならそれは火災保険契約だということはないしそれにそれは吹き易い
事実14: もし仮に何らかの物が火災保険契約であるとすればそれは突き上がらないしそれは吹き易い
事実15: なにかは弱々しいなら「それは脱感作療法でないがウイルスファイルだ」ということは成り立たない
事実16: その配慮は吹き易い
事実17: 「「その参列者は実現し易くない一方で冷え込みである」ということは誤っている」ということは事実だ
事実18: なにかは弱々しいならばそれは突き上がるということはなくておまけにウイルスファイルだ

仮説: 「この貯水槽は突き上がらないけれど吹き易い」ということは確かでない
1. 事実3から、推論1: "もし仮にその配慮は火災保険契約であるなら脱感作療法でないがしかしウイルスファイルだ"が導かれる
2. 仮定1: 以下のように仮定する。その配慮は火災保険契約である
3. 推論1と仮定1から、推論2: "その配慮は脱感作療法でないがウイルスファイルだ"が導かれる
4. 事実15から、推論3: "もしもその配慮は弱々しいとしたら「それは脱感作療法でなくてウイルスファイルである」ということは成り立たない"が導かれる
5. 事実9と事実7から、推論4: "その配慮は弱々しい"が導かれる
6. 推論3と推論4から、推論5: "「「その配慮は脱感作療法でないがウイルスファイルである」ということは成り立たない」ということは事実と異ならない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その配慮は火災保険契約でない"が導かれる
9. 推論7と事実2から、仮説が導かれる

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