あの九十年代後半は騒がしくない
fact1: もし「堅苦しくない」ものはあるとすれば「あの検査前は呆気なくない一方でブルジョア層だ」ということは誤りである fact2: あの九十年代後半は五世紀後半だ fact3: もしもその自然法が番えらないかもしくは元亭主であるか両方ともであるならば堅苦しくない fact4: 呆気ない物はブルジョア層でない一方で堅苦しい fact5: 仮に「「呆気なくないがブルジョア層である」ということは事実でない」物があればあの九十年代後半はブルジョア層であるということはない fact6: この思い上がりは騒がしい fact7: あの九十年代後半は騒がしい fact8: その薄笑いは騒がしい fact9: もしなんらかの物が信心深いとしたらそれは番えらないかあるいはそれは元亭主であるかどちらもだ fact10: その自然法は信心深い
fact7 -> hypothesis;
fact7 -> hypothesis;
この諸表は騒がしい
fact13 -> int1: もしもその自然法が信心深いなら番えるということはないかもしくはそれは元亭主であるかあるいは両方である; int1 & fact12 -> int2: その自然法は番えらないか元亭主である; fact14 & int2 -> int3: その自然法は堅苦しくない; int3 -> int4: 堅苦しくないものはある; int4 & fact11 -> int5: 「あの検査前は呆気なくないけどそれはブルジョア層である」ということは成り立たない; int5 -> int6: 「「呆気なくない一方でブルジョア層だ」ということは成り立たない」物はある; int6 & fact15 -> int7: あの九十年代後半はブルジョア層であるということはない; int7 -> int8: 「ブルジョア層でない」ものはある;
$facts$ = fact1: もし「堅苦しくない」ものはあるとすれば「あの検査前は呆気なくない一方でブルジョア層だ」ということは誤りである fact2: あの九十年代後半は五世紀後半だ fact3: もしもその自然法が番えらないかもしくは元亭主であるか両方ともであるならば堅苦しくない fact4: 呆気ない物はブルジョア層でない一方で堅苦しい fact5: 仮に「「呆気なくないがブルジョア層である」ということは事実でない」物があればあの九十年代後半はブルジョア層であるということはない fact6: この思い上がりは騒がしい fact7: あの九十年代後半は騒がしい fact8: その薄笑いは騒がしい fact9: もしなんらかの物が信心深いとしたらそれは番えらないかあるいはそれは元亭主であるかどちらもだ fact10: その自然法は信心深い ; $hypothesis$ = あの九十年代後半は騒がしくない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: もし「堅苦しくない」ものはあるとすれば「あの検査前は呆気なくない一方でブルジョア層だ」ということは誤りである
事実2: あの九十年代後半は五世紀後半だ
事実3: もしもその自然法が番えらないかもしくは元亭主であるか両方ともであるならば堅苦しくない
事実4: 呆気ない物はブルジョア層でない一方で堅苦しい
事実5: 仮に「「呆気なくないがブルジョア層である」ということは事実でない」物があればあの九十年代後半はブルジョア層であるということはない
事実6: この思い上がりは騒がしい
事実7: あの九十年代後半は騒がしい
事実8: その薄笑いは騒がしい
事実9: もしなんらかの物が信心深いとしたらそれは番えらないかあるいはそれは元亭主であるかどちらもだ
事実10: その自然法は信心深い

仮説: あの九十年代後半は騒がしくない
1. 事実7から、仮説が否定される

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