「この上場申請は中華人民共和国憲法でなくてしかもバトルタイプＡでない」ということは間違っている
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: その無知は御詫びでない
fact17 -> int1: その無知は混入し易い; void -> assump1: 以下のように仮定する。その無知はスタート出来る; int1 & assump1 -> int2: その無知は混入し易くてスタート出来る; int2 & fact24 -> int3: この勝ち気は手厳しいということはない; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: その無知はスタート出来ない; int5 & fact7 -> int6: 「この上場申請はスタート出来るということはないがしかし御詫びである」ということは誤りである; int6 & fact11 -> int7: この上場申請は中華人民共和国憲法でない; fact15 & fact14 -> int8: 「この上場申請はバトルタイプＡでない」ということは偽だということはない; int7 & int8 -> hypothesis;
「この上場申請は中華人民共和国憲法であるということはなくてかつバトルタイプＡでない」ということは嘘である
fact26 -> int9: 「もし仮にこの上場申請は混入し易いならば「この上場申請は中華人民共和国憲法でないしバトルタイプＡでない」ということは嘘である」ということは間違っていない; fact27 -> int10: 「この上場申請はスタート出来ない」ということは真実ならばそれは混入し易くて更に第三作である; fact28 -> int11: 仮にこの上場申請がスタート出来ないかまたはそれは手厳しいかあるいは両方ともならそれはスタート出来ない;
$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$ = 
fact17 -> int1: その無知は混入し易い; void -> assump1: 以下のように仮定する。その無知はスタート出来る; int1 & assump1 -> int2: その無知は混入し易くてスタート出来る; int2 & fact24 -> int3: この勝ち気は手厳しいということはない; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: その無知はスタート出来ない; int5 & fact7 -> int6: 「この上場申請はスタート出来るということはないがしかし御詫びである」ということは誤りである; int6 & fact11 -> int7: この上場申請は中華人民共和国憲法でない; fact15 & fact14 -> int8: 「この上場申請はバトルタイプＡでない」ということは偽だということはない; int7 & int8 -> 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. 事実17から、推論1: "その無知は混入し易い"が導かれる
2. 仮定1: 以下のように仮定する。その無知はスタート出来る
3. 推論1と仮定1から、推論2: "その無知は混入し易くてスタート出来る"が導かれる
4. 推論2と事実24から、推論3: "この勝ち気は手厳しいということはない"が導かれる
5. 推論3と事実21から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その無知はスタート出来ない"が導かれる
7. 推論5と事実7から、推論6: "「この上場申請はスタート出来るということはないがしかし御詫びである」ということは誤りである"が導かれる
8. 推論6と事実11から、推論7: "この上場申請は中華人民共和国憲法でない"が導かれる
9. 事実15と事実14から、推論8: "「この上場申請はバトルタイプＡでない」ということは偽だということはない"が導かれる
10. 推論7と推論8から、仮説が否定される

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