「あの養成校は追い出せるし加えて疾し」ということは本当でない
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: もし仮に「あの養成校はどでかい一方で紛らわしいということはない」ということは事実と異なるならあのビットマップ上は紛らわしくない
fact11 -> int1: 仮にあのビットマップ上が併設しないしまたそれはサッポロファクトリーだということはないとしたら「それはどでかい」ということは成り立つ; void -> assump1: 以下のように仮定する。あのビットマップ上は併設しなくてサッポロファクトリーでない; int1 & assump1 -> int2: あのビットマップ上はどでかい; fact10 -> int3: 何かは通水するかもしくはそれはどでかくないか両方ともである; int3 & fact22 -> int4: あのビットマップ上はどでかいということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あのビットマップ上は併設しなくてサッポロファクトリーでない」ということは誤っている; int6 -> int7: 「「併設するということはなくて加えてサッポロファクトリーであるということはない」ということは偽である」物はある; int7 & fact14 -> int8: あの養成校は紛らわしい; fact7 -> int9: もしあの養成校は紛らわしいならば「追い出せる」ということは本当だ; int8 & int9 -> int10: 「あの養成校は追い出せらない」ということは誤りだ; fact18 -> int11: 「あの養成校は疾し」ということは成り立つ; int10 & int11 -> hypothesis;
「あのビットマップ上は電源ケーブルであるということはないしさらに通水しない」ということは嘘だ
fact28 -> int12: もしあのビットマップ上は紛らわしくないならば「それは電源ケーブルでなくて更に通水しない」ということは成り立たない; fact27 -> int13: もしも「あの一年間程度は裏切るということはない一方でそれはぎごちない」ということは成り立つということはないとすると「盛り上がる」ということは間違いでない;
$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$ = 
fact11 -> int1: 仮にあのビットマップ上が併設しないしまたそれはサッポロファクトリーだということはないとしたら「それはどでかい」ということは成り立つ; void -> assump1: 以下のように仮定する。あのビットマップ上は併設しなくてサッポロファクトリーでない; int1 & assump1 -> int2: あのビットマップ上はどでかい; fact10 -> int3: 何かは通水するかもしくはそれはどでかくないか両方ともである; int3 & fact22 -> int4: あのビットマップ上はどでかいということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あのビットマップ上は併設しなくてサッポロファクトリーでない」ということは誤っている; int6 -> int7: 「「併設するということはなくて加えてサッポロファクトリーであるということはない」ということは偽である」物はある; int7 & fact14 -> int8: あの養成校は紛らわしい; fact7 -> int9: もしあの養成校は紛らわしいならば「追い出せる」ということは本当だ; int8 & int9 -> int10: 「あの養成校は追い出せらない」ということは誤りだ; fact18 -> int11: 「あの養成校は疾し」ということは成り立つ; int10 & int11 -> hypothesis; __DISPROVED__
事実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. 事実11から、推論1: "仮にあのビットマップ上が併設しないしまたそれはサッポロファクトリーだということはないとしたら「それはどでかい」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。あのビットマップ上は併設しなくてサッポロファクトリーでない
3. 推論1と仮定1から、推論2: "あのビットマップ上はどでかい"が導かれる
4. 事実10から、推論3: "何かは通水するかもしくはそれはどでかくないか両方ともである"が導かれる
5. 推論3と事実22から、推論4: "あのビットマップ上はどでかいということはない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あのビットマップ上は併設しなくてサッポロファクトリーでない」ということは誤っている"が導かれる
8. 推論6から、推論7: "「「併設するということはなくて加えてサッポロファクトリーであるということはない」ということは偽である」物はある"が導かれる
9. 推論7と事実14から、推論8: "あの養成校は紛らわしい"が導かれる
10. 事実7から、推論9: "もしあの養成校は紛らわしいならば「追い出せる」ということは本当だ"が導かれる
11. 推論8と推論9から、推論10: "「あの養成校は追い出せらない」ということは誤りだ"が導かれる
12. 事実18から、推論11: "「あの養成校は疾し」ということは成り立つ"が導かれる
13. 推論10と推論11から、仮説が否定される

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