その軽装は特訓しない
fact1: もし仮にあのインターネット層は換算率だとすると「そのティアップは狙い易くない一方でそれは頼む」ということは嘘だ fact2: もし「あの御時世は綿花でなくてまたそれは立ち上げでない」ということは成り立たないとするとその路線網は剥離し難くない fact3: あのインターネット層は換算率である fact4: もし「そのティアップは狙い易くない一方で頼む」ということは成り立たないとすればその路線網は狙い易い fact5: 仮になにがしかのものは特訓するとすると「立ち上げでなくて加えて剥離し難い」ということは間違っている fact6: 「「その路線網は綿花でないしおまけに剥離し難くない」ということは成り立たない」ということは確かである fact7: その路線網は剥離し難くて塩焼き王である fact8: もし仮にあの御時世は綿花であるとしたら「その路線網は剥離し難いということはない」ということは成り立つ fact9: あの御時世は綿花でない fact10: 塩焼き王は特訓する fact11: 「あの御時世は綿花である一方で立ち上げでない」ということは間違っている fact12: もし「「なにがしかのものは立ち上げでないがしかし剥離し難い」ということは事実だ」ということは嘘であるとすると立ち上げだ fact13: もし仮にあの御時世が綿花でなくてしかも立ち上げでないとすればその軽装は特訓する fact14: 「塩焼き王は剥離し難い」ということは事実である
void -> assump1: 以下のように仮定する。「あの御時世は綿花でないしさらに立ち上げでない」ということは成り立たない; fact2 & assump1 -> int1: その路線網は剥離し難くない; fact7 -> int2: その路線網は剥離し難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの御時世は綿花でなくてしかも立ち上げでない; int4 & fact13 -> hypothesis;
「その軽装は特訓しない」ということは事実である
fact15 -> int5: あの御時世は塩焼き王であるとするとそれは剥離し難い; fact16 & fact17 -> int6: 「そのティアップは狙い易くないけれどそれは頼む」ということは間違っている; fact18 & int6 -> int7: その路線網は狙い易い; int7 -> int8: あるものは狙い易い;
$facts$ = fact1: もし仮にあのインターネット層は換算率だとすると「そのティアップは狙い易くない一方でそれは頼む」ということは嘘だ fact2: もし「あの御時世は綿花でなくてまたそれは立ち上げでない」ということは成り立たないとするとその路線網は剥離し難くない fact3: あのインターネット層は換算率である fact4: もし「そのティアップは狙い易くない一方で頼む」ということは成り立たないとすればその路線網は狙い易い fact5: 仮になにがしかのものは特訓するとすると「立ち上げでなくて加えて剥離し難い」ということは間違っている fact6: 「「その路線網は綿花でないしおまけに剥離し難くない」ということは成り立たない」ということは確かである fact7: その路線網は剥離し難くて塩焼き王である fact8: もし仮にあの御時世は綿花であるとしたら「その路線網は剥離し難いということはない」ということは成り立つ fact9: あの御時世は綿花でない fact10: 塩焼き王は特訓する fact11: 「あの御時世は綿花である一方で立ち上げでない」ということは間違っている fact12: もし「「なにがしかのものは立ち上げでないがしかし剥離し難い」ということは事実だ」ということは嘘であるとすると立ち上げだ fact13: もし仮にあの御時世が綿花でなくてしかも立ち上げでないとすればその軽装は特訓する fact14: 「塩焼き王は剥離し難い」ということは事実である ; $hypothesis$ = その軽装は特訓しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの御時世は綿花でないしさらに立ち上げでない」ということは成り立たない; fact2 & assump1 -> int1: その路線網は剥離し難くない; fact7 -> int2: その路線網は剥離し難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの御時世は綿花でなくてしかも立ち上げでない; int4 & fact13 -> hypothesis; __DISPROVED__
事実1: もし仮にあのインターネット層は換算率だとすると「そのティアップは狙い易くない一方でそれは頼む」ということは嘘だ
事実2: もし「あの御時世は綿花でなくてまたそれは立ち上げでない」ということは成り立たないとするとその路線網は剥離し難くない
事実3: あのインターネット層は換算率である
事実4: もし「そのティアップは狙い易くない一方で頼む」ということは成り立たないとすればその路線網は狙い易い
事実5: 仮になにがしかのものは特訓するとすると「立ち上げでなくて加えて剥離し難い」ということは間違っている
事実6: 「「その路線網は綿花でないしおまけに剥離し難くない」ということは成り立たない」ということは確かである
事実7: その路線網は剥離し難くて塩焼き王である
事実8: もし仮にあの御時世は綿花であるとしたら「その路線網は剥離し難いということはない」ということは成り立つ
事実9: あの御時世は綿花でない
事実10: 塩焼き王は特訓する
事実11: 「あの御時世は綿花である一方で立ち上げでない」ということは間違っている
事実12: もし「「なにがしかのものは立ち上げでないがしかし剥離し難い」ということは事実だ」ということは嘘であるとすると立ち上げだ
事実13: もし仮にあの御時世が綿花でなくてしかも立ち上げでないとすればその軽装は特訓する
事実14: 「塩焼き王は剥離し難い」ということは事実である

仮説: その軽装は特訓しない
1. 仮定1: 以下のように仮定する。「あの御時世は綿花でないしさらに立ち上げでない」ということは成り立たない
2. 事実2と仮定1から、推論1: "その路線網は剥離し難くない"が導かれる
3. 事実7から、推論2: "その路線網は剥離し難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの御時世は綿花でなくてしかも立ち上げでない"が導かれる
6. 推論4と事実13から、仮説が否定される

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