「「「フーリエ逆変換するし絶え兼ねるということはない」ということは誤りな」ものはある」ということは成り立たない
fact1: 仮に「あのテラス・ハウスは物寂しいということはない」ということは本当であるならば「「フーリエ逆変換するし絶え兼ねらない」ということは正しい」ということは成り立たない fact2: あのテラス・ハウスは物寂しくない fact3: 「あのレコード会社はフィレであるけど絶え兼ねらない」ということは誤りだ fact4: 「「印字する一方で睦み合わない」ということは成り立たない」物はある fact5: 与し易くない物は胡椒するしそれに尋ねる fact6: もし仮になんらかのものは物寂しいとすれば「御仕舞うしそれにそれはフーリエ逆変換するということはない」ということは誤りである fact7: もしなにがしかのものが来室すればそれは嗅ぐ fact8: あのテラス・ハウスは来室する fact9: 「あのテラス・ハウスはフーリエ逆変換するしその上絶え兼ねる」ということは誤りだ fact10: もし仮にその霊子線は景気循環でないとしたら「フーリエ逆変換するしまたそれは嫌らしくない」ということは事実と異なる fact11: 「あのテラス・ハウスは与し易くない」ということは成り立つ fact12: 「「フーリエ逆変換するし絶え兼ねる」ということは成り立たない」物はある fact13: 仮にあのテラス・ハウスはおどろおどろしくないとすると「それは遅れ易くてフーリエ逆変換しない」ということは間違っている fact14: 「その農協職員は物寂しくない」ということは成り立つ fact15: 「フーリエ逆変換するししかも絶え兼ねらない」物はある fact16: 「あのテラス・ハウスはフーリエ逆変換するがしかしそれは残余コントロール権でない」ということは誤っている fact17: 「「フーリエ逆変換するしその上物寂しくない」ということは偽な」物はある fact18: もしもあのテラス・ハウスは物寂しくないとすると「それはフーリエ逆変換するし絶え兼ねる」ということは偽である fact19: 「あのテラス・ハウスはめでたしがフーリエ逆変換しない」ということは成り立たない fact20: あのテラス・ハウスはまだるっこしくないなら「胡椒する一方で雲散霧消しない」ということは間違いである
fact1 & fact2 -> int1: 「あのテラス・ハウスはフーリエ逆変換するがしかし絶え兼ねるということはない」ということは成り立たない; int1 -> hypothesis;
「その無文は御仕舞う一方でフーリエ逆変換しない」ということは間違っている
fact25 -> int2: もしその無文は物寂しいとすると「御仕舞う一方でフーリエ逆変換しない」ということは間違いである; fact22 -> int3: あのテラス・ハウスが来室するとすれば嗅ぐ; int3 & fact24 -> int4: あのテラス・ハウスは嗅ぐ; fact21 -> int5: あのテラス・ハウスが与し易くないならばそれは胡椒するしそれは尋ねる; int5 & fact23 -> int6: 「あのテラス・ハウスは胡椒するしそれに尋ねる」ということは成り立つ; int6 -> int7: あのテラス・ハウスは胡椒する; int4 & int7 -> int8: あのテラス・ハウスは嗅ぐし加えてそれは胡椒する; int8 -> int9: 「嗅ぐし胡椒する」物はある;
$facts$ = fact1: 仮に「あのテラス・ハウスは物寂しいということはない」ということは本当であるならば「「フーリエ逆変換するし絶え兼ねらない」ということは正しい」ということは成り立たない fact2: あのテラス・ハウスは物寂しくない fact3: 「あのレコード会社はフィレであるけど絶え兼ねらない」ということは誤りだ fact4: 「「印字する一方で睦み合わない」ということは成り立たない」物はある fact5: 与し易くない物は胡椒するしそれに尋ねる fact6: もし仮になんらかのものは物寂しいとすれば「御仕舞うしそれにそれはフーリエ逆変換するということはない」ということは誤りである fact7: もしなにがしかのものが来室すればそれは嗅ぐ fact8: あのテラス・ハウスは来室する fact9: 「あのテラス・ハウスはフーリエ逆変換するしその上絶え兼ねる」ということは誤りだ fact10: もし仮にその霊子線は景気循環でないとしたら「フーリエ逆変換するしまたそれは嫌らしくない」ということは事実と異なる fact11: 「あのテラス・ハウスは与し易くない」ということは成り立つ fact12: 「「フーリエ逆変換するし絶え兼ねる」ということは成り立たない」物はある fact13: 仮にあのテラス・ハウスはおどろおどろしくないとすると「それは遅れ易くてフーリエ逆変換しない」ということは間違っている fact14: 「その農協職員は物寂しくない」ということは成り立つ fact15: 「フーリエ逆変換するししかも絶え兼ねらない」物はある fact16: 「あのテラス・ハウスはフーリエ逆変換するがしかしそれは残余コントロール権でない」ということは誤っている fact17: 「「フーリエ逆変換するしその上物寂しくない」ということは偽な」物はある fact18: もしもあのテラス・ハウスは物寂しくないとすると「それはフーリエ逆変換するし絶え兼ねる」ということは偽である fact19: 「あのテラス・ハウスはめでたしがフーリエ逆変換しない」ということは成り立たない fact20: あのテラス・ハウスはまだるっこしくないなら「胡椒する一方で雲散霧消しない」ということは間違いである ; $hypothesis$ = 「「「フーリエ逆変換するし絶え兼ねるということはない」ということは誤りな」ものはある」ということは成り立たない ; $proof$ = 
fact1 & fact2 -> int1: 「あのテラス・ハウスはフーリエ逆変換するがしかし絶え兼ねるということはない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: 仮に「あのテラス・ハウスは物寂しいということはない」ということは本当であるならば「「フーリエ逆変換するし絶え兼ねらない」ということは正しい」ということは成り立たない
事実2: あのテラス・ハウスは物寂しくない
事実3: 「あのレコード会社はフィレであるけど絶え兼ねらない」ということは誤りだ
事実4: 「「印字する一方で睦み合わない」ということは成り立たない」物はある
事実5: 与し易くない物は胡椒するしそれに尋ねる
事実6: もし仮になんらかのものは物寂しいとすれば「御仕舞うしそれにそれはフーリエ逆変換するということはない」ということは誤りである
事実7: もしなにがしかのものが来室すればそれは嗅ぐ
事実8: あのテラス・ハウスは来室する
事実9: 「あのテラス・ハウスはフーリエ逆変換するしその上絶え兼ねる」ということは誤りだ
事実10: もし仮にその霊子線は景気循環でないとしたら「フーリエ逆変換するしまたそれは嫌らしくない」ということは事実と異なる
事実11: 「あのテラス・ハウスは与し易くない」ということは成り立つ
事実12: 「「フーリエ逆変換するし絶え兼ねる」ということは成り立たない」物はある
事実13: 仮にあのテラス・ハウスはおどろおどろしくないとすると「それは遅れ易くてフーリエ逆変換しない」ということは間違っている
事実14: 「その農協職員は物寂しくない」ということは成り立つ
事実15: 「フーリエ逆変換するししかも絶え兼ねらない」物はある
事実16: 「あのテラス・ハウスはフーリエ逆変換するがしかしそれは残余コントロール権でない」ということは誤っている
事実17: 「「フーリエ逆変換するしその上物寂しくない」ということは偽な」物はある
事実18: もしもあのテラス・ハウスは物寂しくないとすると「それはフーリエ逆変換するし絶え兼ねる」ということは偽である
事実19: 「あのテラス・ハウスはめでたしがフーリエ逆変換しない」ということは成り立たない
事実20: あのテラス・ハウスはまだるっこしくないなら「胡椒する一方で雲散霧消しない」ということは間違いである

仮説: 「「「フーリエ逆変換するし絶え兼ねるということはない」ということは誤りな」ものはある」ということは成り立たない
1. 事実1と事実2から、推論1: "「あのテラス・ハウスはフーリエ逆変換するがしかし絶え兼ねるということはない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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