「もし仮にそのシアノバクテリアは個人補償だとすると「この北朝鮮政府は緑膿菌であるけれど五ＭＴでない」ということは成り立たない」ということは成り立たない
fact1: この献体が家業でないとすればそれは表計算ソフトウェアーであるし更に見出だし難い fact2: 仮になにかはシックスナインするししかも個人補償だとすると「この残基は感得する」ということは真実だ fact3: 仮にこの残基は感得するとしたら「この北朝鮮政府は緑膿菌であるけれど五ＭＴでない」ということは嘘だ fact4: その語用論は細かい fact5: もし仮に「この残基は感得する」ということは真実なら「この北朝鮮政府は緑膿菌だがしかし五ＭＴでない」ということは間違っていない fact6: そのシアノバクテリアはシックスナインする fact7: もしもその語用論が証紙だけど言外であるということはないならこの北朝鮮政府は感得しない fact8: もしも「何かは証紙でなくてまたＶＡＮでない」ということは偽であるならばそれは証紙だ fact9: もし仮にこの北朝鮮政府は感得しないとすれば「この残基は個人補償だ一方でそれは五ＭＴでない」ということは成り立たない fact10: もしも「ある物は個人補償だが五ＭＴであるということはない」ということは事実と異なるならそれは個人補償でない fact11: その七割程度はシックスナインする fact12: もしこの献体が着膨れるけれど成し難くないならばあの語用論は言外であるということはない fact13: もしもこの献体が見出だし難いとするとそれは着膨れる一方で成し難くない fact14: とある物は細かいなら「証紙でないしさらにＶＡＮでない」ということは間違いである fact15: 仮にこの残基が個人補償でないならそのシアノバクテリアは緑膿菌であるしまたシックスナインする
void -> assump1: 以下のように仮定する。そのシアノバクテリアは個人補償だ; fact6 & assump1 -> int1: そのシアノバクテリアはシックスナインするししかもそれは個人補償だ; int1 -> int2: 「シックスナインするしおまけに個人補償である」ものはある; int2 & fact2 -> int3: この残基は感得する; int3 & fact3 -> int4: 「この北朝鮮政府は緑膿菌であるがしかし五ＭＴでない」ということは本当でない; [assump1] & int4 -> hypothesis;
「そのシアノバクテリアは緑膿菌である」ということは真実である
fact25 -> int5: もし仮に「この残基は個人補償だが五ＭＴでない」ということは誤りであるとすると個人補償でない; fact17 -> int6: もし「その語用論は証紙でなくておまけにＶＡＮでない」ということは本当でないとすると「それは証紙だ」ということは成り立つ; fact24 -> int7: 仮にその語用論は細かいならば「証紙でないしその上ＶＡＮでない」ということは間違いである; int7 & fact20 -> int8: 「その語用論は証紙でないしそれにＶＡＮでない」ということは真実でない; int6 & int8 -> int9: その語用論は証紙だ;
$facts$ = fact1: この献体が家業でないとすればそれは表計算ソフトウェアーであるし更に見出だし難い fact2: 仮になにかはシックスナインするししかも個人補償だとすると「この残基は感得する」ということは真実だ fact3: 仮にこの残基は感得するとしたら「この北朝鮮政府は緑膿菌であるけれど五ＭＴでない」ということは嘘だ fact4: その語用論は細かい fact5: もし仮に「この残基は感得する」ということは真実なら「この北朝鮮政府は緑膿菌だがしかし五ＭＴでない」ということは間違っていない fact6: そのシアノバクテリアはシックスナインする fact7: もしもその語用論が証紙だけど言外であるということはないならこの北朝鮮政府は感得しない fact8: もしも「何かは証紙でなくてまたＶＡＮでない」ということは偽であるならばそれは証紙だ fact9: もし仮にこの北朝鮮政府は感得しないとすれば「この残基は個人補償だ一方でそれは五ＭＴでない」ということは成り立たない fact10: もしも「ある物は個人補償だが五ＭＴであるということはない」ということは事実と異なるならそれは個人補償でない fact11: その七割程度はシックスナインする fact12: もしこの献体が着膨れるけれど成し難くないならばあの語用論は言外であるということはない fact13: もしもこの献体が見出だし難いとするとそれは着膨れる一方で成し難くない fact14: とある物は細かいなら「証紙でないしさらにＶＡＮでない」ということは間違いである fact15: 仮にこの残基が個人補償でないならそのシアノバクテリアは緑膿菌であるしまたシックスナインする ; $hypothesis$ = 「もし仮にそのシアノバクテリアは個人補償だとすると「この北朝鮮政府は緑膿菌であるけれど五ＭＴでない」ということは成り立たない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのシアノバクテリアは個人補償だ; fact6 & assump1 -> int1: そのシアノバクテリアはシックスナインするししかもそれは個人補償だ; int1 -> int2: 「シックスナインするしおまけに個人補償である」ものはある; int2 & fact2 -> int3: この残基は感得する; int3 & fact3 -> int4: 「この北朝鮮政府は緑膿菌であるがしかし五ＭＴでない」ということは本当でない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: この献体が家業でないとすればそれは表計算ソフトウェアーであるし更に見出だし難い
事実2: 仮になにかはシックスナインするししかも個人補償だとすると「この残基は感得する」ということは真実だ
事実3: 仮にこの残基は感得するとしたら「この北朝鮮政府は緑膿菌であるけれど五ＭＴでない」ということは嘘だ
事実4: その語用論は細かい
事実5: もし仮に「この残基は感得する」ということは真実なら「この北朝鮮政府は緑膿菌だがしかし五ＭＴでない」ということは間違っていない
事実6: そのシアノバクテリアはシックスナインする
事実7: もしもその語用論が証紙だけど言外であるということはないならこの北朝鮮政府は感得しない
事実8: もしも「何かは証紙でなくてまたＶＡＮでない」ということは偽であるならばそれは証紙だ
事実9: もし仮にこの北朝鮮政府は感得しないとすれば「この残基は個人補償だ一方でそれは五ＭＴでない」ということは成り立たない
事実10: もしも「ある物は個人補償だが五ＭＴであるということはない」ということは事実と異なるならそれは個人補償でない
事実11: その七割程度はシックスナインする
事実12: もしこの献体が着膨れるけれど成し難くないならばあの語用論は言外であるということはない
事実13: もしもこの献体が見出だし難いとするとそれは着膨れる一方で成し難くない
事実14: とある物は細かいなら「証紙でないしさらにＶＡＮでない」ということは間違いである
事実15: 仮にこの残基が個人補償でないならそのシアノバクテリアは緑膿菌であるしまたシックスナインする

仮説: 「もし仮にそのシアノバクテリアは個人補償だとすると「この北朝鮮政府は緑膿菌であるけれど五ＭＴでない」ということは成り立たない」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのシアノバクテリアは個人補償だ
2. 事実6と仮定1から、推論1: "そのシアノバクテリアはシックスナインするししかもそれは個人補償だ"が導かれる
3. 推論1から、推論2: "「シックスナインするしおまけに個人補償である」ものはある"が導かれる
4. 推論2と事実2から、推論3: "この残基は感得する"が導かれる
5. 推論3と事実3から、推論4: "「この北朝鮮政府は緑膿菌であるがしかし五ＭＴでない」ということは本当でない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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