この進行波説はＮＯＣでない
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: 「この進行波説は恥ずかしがるけれどそれは吸煙でない」ということは間違いである
void -> assump1: 以下のように仮定する。「この伊勢参宮名所図会は恥ずかしがる」ということは本当である; assump1 -> int1: この伊勢参宮名所図会は恥ずかしがるかあるいはヘルパンギーナであるかまたはどちらもである; int1 & fact14 -> int2: この味覚異常は悲しめるない; int2 & fact7 -> int3: 「あの国際基準は生まれ易くない」ということは本当だ; fact10 & fact2 -> int4: あの国際基準は生まれ易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この伊勢参宮名所図会は恥ずかしがるということはない; int6 & fact5 -> int7: この進行波説は吸煙だ; fact9 -> int8: もしもこの進行波説は吸煙であるとすればＮＯＣである; int7 & int8 -> hypothesis;
この進行波説はＮＯＣでない
fact26 -> int9: この進行波説が悲しめるとしたらそれがヘルパンギーナだししかもそれは恥ずかしがらない;
$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$ = 
void -> assump1: 以下のように仮定する。「この伊勢参宮名所図会は恥ずかしがる」ということは本当である; assump1 -> int1: この伊勢参宮名所図会は恥ずかしがるかあるいはヘルパンギーナであるかまたはどちらもである; int1 & fact14 -> int2: この味覚異常は悲しめるない; int2 & fact7 -> int3: 「あの国際基準は生まれ易くない」ということは本当だ; fact10 & fact2 -> int4: あの国際基準は生まれ易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この伊勢参宮名所図会は恥ずかしがるということはない; int6 & fact5 -> int7: この進行波説は吸煙だ; fact9 -> 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. 仮定1: 以下のように仮定する。「この伊勢参宮名所図会は恥ずかしがる」ということは本当である
2. 仮定1から、推論1: "この伊勢参宮名所図会は恥ずかしがるかあるいはヘルパンギーナであるかまたはどちらもである"が導かれる
3. 推論1と事実14から、推論2: "この味覚異常は悲しめるない"が導かれる
4. 推論2と事実7から、推論3: "「あの国際基準は生まれ易くない」ということは本当だ"が導かれる
5. 事実10と事実2から、推論4: "あの国際基準は生まれ易い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この伊勢参宮名所図会は恥ずかしがるということはない"が導かれる
8. 推論6と事実5から、推論7: "この進行波説は吸煙だ"が導かれる
9. 事実9から、推論8: "もしもこの進行波説は吸煙であるとすればＮＯＣである"が導かれる
10. 推論7と推論8から、仮説が否定される

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