あの同鉱は三竜でない
fact1: もしもあの同鉱が配流するということはないならば証券会社間でないしおまけに三竜でない fact2: 仮にあの同鉱は三竜であるということはないならば「あのフレアースカートは証券会社間でないがしかし付着し易い」ということは成り立たない fact3: もしあの同鉱は三竜でないとすると「「あのフレアースカートは証券会社間でないし付着し易くない」ということは事実と異ならない」ということは事実と異なる fact4: 仮になにかは犯し難いならば「それは配流しないが袴である」ということは成り立たない fact5: 仮に「何らかのものは三竜でなくて配流しない」ということは成り立たないとするとそれは証券会社間である fact6: その諸階級間は配流しない fact7: あのフレアースカートは配流しない fact8: もしもなにがしかの物は教育要求であるかもしくは妬ましいかまたはどちらもであるならそれは当該労働組合でない fact9: あのフレアースカートは付着し易くない fact10: あのフレアースカートが配流しないとしたらそれは付着し易くない fact11: 仮に「この一関節は予測しないし加えて適応範囲でない」ということは間違っているとすれば適応範囲だ fact12: あのフレアースカートが配流するということはないならば証券会社間でなくて加えて付着し易いということはない fact13: あのフレアースカートは収容施設である fact14: もしこの裏書きは犯し難いか当該労働組合でないかあるいは両方ともなら「それは袴でない」ということは成り立つ fact15: この一関節が適応範囲であるならあの精神病像は涼しいが伴えるということはない fact16: もし仮にあの精神病像は黙しないとすると「この捕虜交換は限り無しということはないしその上カーソルキーでない」ということは間違いである fact17: もし仮に「なにがしかのものは限り無しないしその上それはカーソルキーでない」ということは嘘であるとすればカーソルキーだ fact18: 「「あの同鉱は付着し易いということはないしおまけに三竜でない」ということは成り立つ」ということは成り立たない fact19: 「この一関節が予測しないしさらにそれは適応範囲でない」ということは誤っている fact20: もし仮にこの捕虜交換がカーソルキーであるとしたらあの収縮速度は教育要求である fact21: もしも「あの収縮速度は成立し難くないし犯し難くない」ということは嘘だとするとあのフレアースカートは犯し難い fact22: 「あのフレアースカートは証券会社間でないが付着し易い」ということは間違いである fact23: とある物は当該労働組合でないとすると「成立し難くないしおまけにそれは犯し難くない」ということは嘘だ fact24: なにかは涼しいなら「それは黙しない」ということは真実である
void -> assump1: 以下のように仮定する。あの同鉱は三竜でない; fact3 & assump1 -> int1: 「あのフレアースカートは証券会社間であるということはないしおまけに付着し易くない」ということは偽だ; fact12 & fact7 -> int2: あのフレアースカートは証券会社間だということはなくて付着し易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの同鉱は三竜でない
fact27 -> int4: 仮にあのフレアースカートは犯し難いなら「配流しないけれど袴だ」ということは正しくない; fact29 -> int5: 「あの収縮速度は当該労働組合でない」ということは正しいなら「成立し難くないしそれは犯し難くない」ということは事実と異なる; fact32 -> int6: あの収縮速度が教育要求であるかあるいはそれは妬ましいかまたは両方ともならそれは当該労働組合でない; fact31 -> int7: もしも「この捕虜交換は限り無しないしカーソルキーでない」ということは成り立たないならそれはカーソルキーだ; fact28 -> int8: もしも「あの精神病像は涼しい」ということは確かならば黙しない; fact34 & fact33 -> int9: この一関節は適応範囲だ; fact25 & int9 -> int10: あの精神病像は涼しいけれど伴えない; int10 -> int11: あの精神病像は涼しい; int8 & int11 -> int12: あの精神病像は黙しない; fact30 & int12 -> int13: 「この捕虜交換は限り無しないしカーソルキーでない」ということは成り立たない; int7 & int13 -> int14: この捕虜交換はカーソルキーだ; fact35 & int14 -> int15: あの収縮速度は教育要求である; int15 -> int16: あの収縮速度は教育要求であるかもしくは妬ましいかどちらもだ; int6 & int16 -> int17: あの収縮速度は当該労働組合でない; int5 & int17 -> int18: 「あの収縮速度は成立し難くないし犯し難くない」ということは成り立たない; fact26 & int18 -> int19: あのフレアースカートは犯し難い; int4 & int19 -> int20: 「あのフレアースカートは配流しないけれど袴だ」ということは誤りだ; int20 -> int21: 「「「配流しないし袴だ」ということは間違いである」ものはある」ということは本当だ;
$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: なにかは涼しいなら「それは黙しない」ということは真実である ; $hypothesis$ = あの同鉱は三竜でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの同鉱は三竜でない; fact3 & assump1 -> int1: 「あのフレアースカートは証券会社間であるということはないしおまけに付着し易くない」ということは偽だ; fact12 & fact7 -> int2: あのフレアースカートは証券会社間だということはなくて付着し易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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: なにかは涼しいなら「それは黙しない」ということは真実である

仮説: あの同鉱は三竜でない
1. 仮定1: 以下のように仮定する。あの同鉱は三竜でない
2. 事実3と仮定1から、推論1: "「あのフレアースカートは証券会社間であるということはないしおまけに付着し易くない」ということは偽だ"が導かれる
3. 事実12と事実7から、推論2: "あのフレアースカートは証券会社間だということはなくて付着し易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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