「あの産出量は立ち得るということはない」ということは事実だ
fact1: 仮に「Ｎ点であるということはない」ものはあるとすると「あの産出量は抜け易い一方で立ち得ない」ということは嘘である fact2: もし仮にあの幼稚園児が抜け易い一方で立ち得ないとするとあの産出量は立ち得ない fact3: 温かくない物は抜け易いが立ち得ない fact4: もし仮にこの猪首は過ごし易いということはないとしたら「その端役は溺愛するがそれは告示するということはない」ということは間違いである fact5: 「とあるものは温かくない」ということは確かだ fact6: その端役がＮ点であるかそれが飛び上がれるかどちらもであるならばあの幼稚園児は温かくない fact7: もしも「このスパイは抗し難くないものであって更に自己実現出来ない」ということは成り立たないとすれば自己実現出来る fact8: 仮にこのスパイは自己実現出来るとすれば「この猪首は通話するがしかしまごまごしない」ということは成り立たない fact9: もしもこのスパイはダーダネルス海峡でないならば「それは抗し難くないしかつ自己実現出来ない」ということは誤っている fact10: あの照査は立ち得る fact11: 「なんらかのものは溺愛するけれど告示しない」ということは誤っているとすれば溺愛しない fact12: もしもなにかは溺愛しないならばそれはＮ点でまたそれは弛み無い fact13: もし仮になんらかのものは温かくないとしたら「あの幼稚園児は抜け易いけれどＮ点でない」ということは誤っている fact14: あの産出量は温かい fact15: もしも「あの幼稚園児は抜け易い一方でＮ点でない」ということは嘘であるとするとあの産出量は立ち得る fact16: もし仮にあの幼稚園児が抜け易くないとするとあの産出量は立ち得る fact17: 「あるものは通話するがまごまごするということはない」ということは成り立たないならば過ごし易くない fact18: 「「温かい」ということは成り立つ」ものはある
fact5 & fact13 -> int1: 「あの幼稚園児は抜け易いけどＮ点でない」ということは成り立たない; int1 & fact15 -> hypothesis;
あの産出量は立ち得ない
fact26 -> int2: 仮にあの幼稚園児が温かくないとすれば抜け易いししかも立ち得ない; fact20 -> int3: 仮にその端役が溺愛しないならＮ点で弛み無い; fact28 -> int4: 「その端役は溺愛する一方で告示しない」ということは確かでないとしたらそれは溺愛しない; fact24 -> int5: もし仮に「この猪首は通話する一方でまごまごしない」ということは誤りなら過ごし易くない;
$facts$ = fact1: 仮に「Ｎ点であるということはない」ものはあるとすると「あの産出量は抜け易い一方で立ち得ない」ということは嘘である fact2: もし仮にあの幼稚園児が抜け易い一方で立ち得ないとするとあの産出量は立ち得ない fact3: 温かくない物は抜け易いが立ち得ない fact4: もし仮にこの猪首は過ごし易いということはないとしたら「その端役は溺愛するがそれは告示するということはない」ということは間違いである fact5: 「とあるものは温かくない」ということは確かだ fact6: その端役がＮ点であるかそれが飛び上がれるかどちらもであるならばあの幼稚園児は温かくない fact7: もしも「このスパイは抗し難くないものであって更に自己実現出来ない」ということは成り立たないとすれば自己実現出来る fact8: 仮にこのスパイは自己実現出来るとすれば「この猪首は通話するがしかしまごまごしない」ということは成り立たない fact9: もしもこのスパイはダーダネルス海峡でないならば「それは抗し難くないしかつ自己実現出来ない」ということは誤っている fact10: あの照査は立ち得る fact11: 「なんらかのものは溺愛するけれど告示しない」ということは誤っているとすれば溺愛しない fact12: もしもなにかは溺愛しないならばそれはＮ点でまたそれは弛み無い fact13: もし仮になんらかのものは温かくないとしたら「あの幼稚園児は抜け易いけれどＮ点でない」ということは誤っている fact14: あの産出量は温かい fact15: もしも「あの幼稚園児は抜け易い一方でＮ点でない」ということは嘘であるとするとあの産出量は立ち得る fact16: もし仮にあの幼稚園児が抜け易くないとするとあの産出量は立ち得る fact17: 「あるものは通話するがまごまごするということはない」ということは成り立たないならば過ごし易くない fact18: 「「温かい」ということは成り立つ」ものはある ; $hypothesis$ = 「あの産出量は立ち得るということはない」ということは事実だ ; $proof$ = 
fact5 & fact13 -> int1: 「あの幼稚園児は抜け易いけどＮ点でない」ということは成り立たない; int1 & fact15 -> hypothesis; __DISPROVED__
事実1: 仮に「Ｎ点であるということはない」ものはあるとすると「あの産出量は抜け易い一方で立ち得ない」ということは嘘である
事実2: もし仮にあの幼稚園児が抜け易い一方で立ち得ないとするとあの産出量は立ち得ない
事実3: 温かくない物は抜け易いが立ち得ない
事実4: もし仮にこの猪首は過ごし易いということはないとしたら「その端役は溺愛するがそれは告示するということはない」ということは間違いである
事実5: 「とあるものは温かくない」ということは確かだ
事実6: その端役がＮ点であるかそれが飛び上がれるかどちらもであるならばあの幼稚園児は温かくない
事実7: もしも「このスパイは抗し難くないものであって更に自己実現出来ない」ということは成り立たないとすれば自己実現出来る
事実8: 仮にこのスパイは自己実現出来るとすれば「この猪首は通話するがしかしまごまごしない」ということは成り立たない
事実9: もしもこのスパイはダーダネルス海峡でないならば「それは抗し難くないしかつ自己実現出来ない」ということは誤っている
事実10: あの照査は立ち得る
事実11: 「なんらかのものは溺愛するけれど告示しない」ということは誤っているとすれば溺愛しない
事実12: もしもなにかは溺愛しないならばそれはＮ点でまたそれは弛み無い
事実13: もし仮になんらかのものは温かくないとしたら「あの幼稚園児は抜け易いけれどＮ点でない」ということは誤っている
事実14: あの産出量は温かい
事実15: もしも「あの幼稚園児は抜け易い一方でＮ点でない」ということは嘘であるとするとあの産出量は立ち得る
事実16: もし仮にあの幼稚園児が抜け易くないとするとあの産出量は立ち得る
事実17: 「あるものは通話するがまごまごするということはない」ということは成り立たないならば過ごし易くない
事実18: 「「温かい」ということは成り立つ」ものはある

仮説: 「あの産出量は立ち得るということはない」ということは事実だ
1. 事実5と事実13から、推論1: "「あの幼稚園児は抜け易いけどＮ点でない」ということは成り立たない"が導かれる
2. 推論1と事実15から、仮説が否定される

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