「なにかは発振するかまたは焦れったいということはないかまたは両方である」ということは成り立つということはない
fact1: あの使用済みは発振する fact2: 「あの使用済みは広まる」ということは真実だ fact3: なんらかの物は託けるかあるいは大女優であるかもしくは両方である fact4: あのウーパは発振する fact5: もしも「この黒Ｂは発振しない一方で焦れったい」ということは誤りであるとしたらあの使用済みは招く fact6: 「侵入し易いかまたは掛け易いかあるいはどちらもである物はある」ということは成り立つ fact7: あの使用済みは焦れったいかあるいは登記しない fact8: なんらかのものは幼けないかもしくはそれはキルトでないかまたはどちらもだ fact9: あの器形は焦れったいかそれは如何わしくないかあるいはどちらもである fact10: 何かは恋しいかまたはそれは侵入し易いということはない fact11: とあるものは祭床であるかまたは生じ易くないかどちらもである fact12: あの使用済みは焦れったいかあるいは個体内であるかあるいは両方である fact13: あの使用済みは横切る fact14: 「上げ易いかあるいは侵入し易いかもしくは両方な」ものはある fact15: 仮にその時価が御利用頂かないが区画するとすればこの黒Ｂは融通するということはない fact16: あるものは裏書きするかもしくは釣り合うということはないかまたは両方ともである
fact1 -> int1: あの使用済みは発振するかあるいは焦れったくないかあるいは両方だ; int1 -> hypothesis;
あの使用済みは招くかまたは現行犯逮捕しない
$facts$ = fact1: あの使用済みは発振する fact2: 「あの使用済みは広まる」ということは真実だ fact3: なんらかの物は託けるかあるいは大女優であるかもしくは両方である fact4: あのウーパは発振する fact5: もしも「この黒Ｂは発振しない一方で焦れったい」ということは誤りであるとしたらあの使用済みは招く fact6: 「侵入し易いかまたは掛け易いかあるいはどちらもである物はある」ということは成り立つ fact7: あの使用済みは焦れったいかあるいは登記しない fact8: なんらかのものは幼けないかもしくはそれはキルトでないかまたはどちらもだ fact9: あの器形は焦れったいかそれは如何わしくないかあるいはどちらもである fact10: 何かは恋しいかまたはそれは侵入し易いということはない fact11: とあるものは祭床であるかまたは生じ易くないかどちらもである fact12: あの使用済みは焦れったいかあるいは個体内であるかあるいは両方である fact13: あの使用済みは横切る fact14: 「上げ易いかあるいは侵入し易いかもしくは両方な」ものはある fact15: 仮にその時価が御利用頂かないが区画するとすればこの黒Ｂは融通するということはない fact16: あるものは裏書きするかもしくは釣り合うということはないかまたは両方ともである ; $hypothesis$ = 「なにかは発振するかまたは焦れったいということはないかまたは両方である」ということは成り立つということはない ; $proof$ = 
fact1 -> int1: あの使用済みは発振するかあるいは焦れったくないかあるいは両方だ; int1 -> hypothesis; __DISPROVED__
事実1: あの使用済みは発振する
事実2: 「あの使用済みは広まる」ということは真実だ
事実3: なんらかの物は託けるかあるいは大女優であるかもしくは両方である
事実4: あのウーパは発振する
事実5: もしも「この黒Ｂは発振しない一方で焦れったい」ということは誤りであるとしたらあの使用済みは招く
事実6: 「侵入し易いかまたは掛け易いかあるいはどちらもである物はある」ということは成り立つ
事実7: あの使用済みは焦れったいかあるいは登記しない
事実8: なんらかのものは幼けないかもしくはそれはキルトでないかまたはどちらもだ
事実9: あの器形は焦れったいかそれは如何わしくないかあるいはどちらもである
事実10: 何かは恋しいかまたはそれは侵入し易いということはない
事実11: とあるものは祭床であるかまたは生じ易くないかどちらもである
事実12: あの使用済みは焦れったいかあるいは個体内であるかあるいは両方である
事実13: あの使用済みは横切る
事実14: 「上げ易いかあるいは侵入し易いかもしくは両方な」ものはある
事実15: 仮にその時価が御利用頂かないが区画するとすればこの黒Ｂは融通するということはない
事実16: あるものは裏書きするかもしくは釣り合うということはないかまたは両方ともである

仮説: 「なにかは発振するかまたは焦れったいということはないかまたは両方である」ということは成り立つということはない
1. 事実1から、推論1: "あの使用済みは発振するかあるいは焦れったくないかあるいは両方だ"が導かれる
2. 推論1から、仮説が否定される

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