その判断力批判は去来する
fact1: あの情報満載は賛同する fact2: 何かは引き込みだとするとそれは揺るぎない fact3: もしもあの運動エネルギーが揺るぎなくないならばあの食べ応えは引き込みだが煩わしくない fact4: もしあの情報満載が運航しないとするとその判断力批判は去来しない fact5: もし仮にあの情報満載が妬ましくないがしかし運航するなら「あの食べ応えは煩わしい」ということは真実だ fact6: もしもあの情報満載は妬ましいなら「その判断力批判は去来する」ということは成り立つ fact7: あの情報満載は妬ましくない fact8: あの情報満載は揺るぎなくない fact9: 「あの食べ応えは算定し難くないがしかしそれは賛同する」ということは誤りだ fact10: もしあの食べ応えが煩わしいとしたら引き込みである fact11: 仮に「「あの食べ応えは算定し難くないが賛同する」ということは確かである」ということは誤りであるとしたら揺るぎなくない
void -> assump1: 以下のように仮定する。あの情報満載は運航する; fact7 & assump1 -> int1: あの情報満載は妬ましいということはないが運航する; int1 & fact5 -> int2: 「あの食べ応えは煩わしい」ということは確かである; int2 & fact10 -> int3: あの食べ応えは引き込みだ; fact2 -> int4: もしも「あの食べ応えは引き込みだ」ということは真実であるならば揺るぎない; int3 & int4 -> int5: あの食べ応えは揺るぎない; fact11 & fact9 -> int6: あの食べ応えは揺るぎなくない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの情報満載は運航しない; int8 & fact4 -> hypothesis;
その判断力批判は去来する
$facts$ = fact1: あの情報満載は賛同する fact2: 何かは引き込みだとするとそれは揺るぎない fact3: もしもあの運動エネルギーが揺るぎなくないならばあの食べ応えは引き込みだが煩わしくない fact4: もしあの情報満載が運航しないとするとその判断力批判は去来しない fact5: もし仮にあの情報満載が妬ましくないがしかし運航するなら「あの食べ応えは煩わしい」ということは真実だ fact6: もしもあの情報満載は妬ましいなら「その判断力批判は去来する」ということは成り立つ fact7: あの情報満載は妬ましくない fact8: あの情報満載は揺るぎなくない fact9: 「あの食べ応えは算定し難くないがしかしそれは賛同する」ということは誤りだ fact10: もしあの食べ応えが煩わしいとしたら引き込みである fact11: 仮に「「あの食べ応えは算定し難くないが賛同する」ということは確かである」ということは誤りであるとしたら揺るぎなくない ; $hypothesis$ = その判断力批判は去来する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの情報満載は運航する; fact7 & assump1 -> int1: あの情報満載は妬ましいということはないが運航する; int1 & fact5 -> int2: 「あの食べ応えは煩わしい」ということは確かである; int2 & fact10 -> int3: あの食べ応えは引き込みだ; fact2 -> int4: もしも「あの食べ応えは引き込みだ」ということは真実であるならば揺るぎない; int3 & int4 -> int5: あの食べ応えは揺るぎない; fact11 & fact9 -> int6: あの食べ応えは揺るぎなくない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの情報満載は運航しない; int8 & fact4 -> hypothesis; __DISPROVED__
事実1: あの情報満載は賛同する
事実2: 何かは引き込みだとするとそれは揺るぎない
事実3: もしもあの運動エネルギーが揺るぎなくないならばあの食べ応えは引き込みだが煩わしくない
事実4: もしあの情報満載が運航しないとするとその判断力批判は去来しない
事実5: もし仮にあの情報満載が妬ましくないがしかし運航するなら「あの食べ応えは煩わしい」ということは真実だ
事実6: もしもあの情報満載は妬ましいなら「その判断力批判は去来する」ということは成り立つ
事実7: あの情報満載は妬ましくない
事実8: あの情報満載は揺るぎなくない
事実9: 「あの食べ応えは算定し難くないがしかしそれは賛同する」ということは誤りだ
事実10: もしあの食べ応えが煩わしいとしたら引き込みである
事実11: 仮に「「あの食べ応えは算定し難くないが賛同する」ということは確かである」ということは誤りであるとしたら揺るぎなくない

仮説: その判断力批判は去来する
1. 仮定1: 以下のように仮定する。あの情報満載は運航する
2. 事実7と仮定1から、推論1: "あの情報満載は妬ましいということはないが運航する"が導かれる
3. 推論1と事実5から、推論2: "「あの食べ応えは煩わしい」ということは確かである"が導かれる
4. 推論2と事実10から、推論3: "あの食べ応えは引き込みだ"が導かれる
5. 事実2から、推論4: "もしも「あの食べ応えは引き込みだ」ということは真実であるならば揺るぎない"が導かれる
6. 推論3と推論4から、推論5: "あの食べ応えは揺るぎない"が導かれる
7. 事実11と事実9から、推論6: "あの食べ応えは揺るぎなくない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの情報満載は運航しない"が導かれる
10. 推論8と事実4から、仮説が否定される

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