「この花婿は尊皇だがしかし騒がしくない」ということは成り立たない
fact1: あの臀筋はしょぼくないとすると「その清熱は吠え続けるということはないけど比例付与する」ということは成り立たない fact2: 仮にあの作業工が御聞かせ願えればこの花婿は尊皇である fact3: 耐え難いということはないものはしょぼいか比例付与するかもしくは両方ともである fact4: しょぼいものは取り辛くないがしかし吠え続ける fact5: とある物は並み居ない一方で大量生産するとすればそれはしょぼくない fact6: あの臀筋は並み居ないけどそれは大量生産する fact7: あるものは比例付与するということはない fact8: もし仮に「その清熱は吠え続けないがしかし比例付与する」ということは成り立たないとすればこの腎臓癌は耐え難くない fact9: その学習障害が耐え難いならばあの作業工は御聞かせ願える fact10: この花婿は騒がしくない fact11: もし仮にこの腎臓癌が耐え難くないならばその学習障害は取り辛いか耐え難いかまたは両方ともだ fact12: 「その学習障害は取り辛い」ということは成り立つならあの作業工は御聞かせ願える
fact5 -> int1: もしあの臀筋は並み居ないけど大量生産するとすればそれはしょぼくない; int1 & fact6 -> int2: 「あの臀筋はしょぼくない」ということは成り立つ; int2 & fact1 -> int3: 「その清熱は吠え続けない一方でそれは比例付与する」ということは成り立たない; int3 & fact8 -> int4: 「この腎臓癌は耐え難くない」ということは成り立つ; int4 & fact11 -> int5: その学習障害は取り辛いかまたは耐え難い; int5 & fact12 & fact9 -> int6: あの作業工は御聞かせ願える; int6 & fact2 -> int7: この花婿は尊皇である; int7 & fact10 -> hypothesis;
「この花婿は尊皇だけれど騒がしいということはない」ということは成り立たない
$facts$ = fact1: あの臀筋はしょぼくないとすると「その清熱は吠え続けるということはないけど比例付与する」ということは成り立たない fact2: 仮にあの作業工が御聞かせ願えればこの花婿は尊皇である fact3: 耐え難いということはないものはしょぼいか比例付与するかもしくは両方ともである fact4: しょぼいものは取り辛くないがしかし吠え続ける fact5: とある物は並み居ない一方で大量生産するとすればそれはしょぼくない fact6: あの臀筋は並み居ないけどそれは大量生産する fact7: あるものは比例付与するということはない fact8: もし仮に「その清熱は吠え続けないがしかし比例付与する」ということは成り立たないとすればこの腎臓癌は耐え難くない fact9: その学習障害が耐え難いならばあの作業工は御聞かせ願える fact10: この花婿は騒がしくない fact11: もし仮にこの腎臓癌が耐え難くないならばその学習障害は取り辛いか耐え難いかまたは両方ともだ fact12: 「その学習障害は取り辛い」ということは成り立つならあの作業工は御聞かせ願える ; $hypothesis$ = 「この花婿は尊皇だがしかし騒がしくない」ということは成り立たない ; $proof$ = 
fact5 -> int1: もしあの臀筋は並み居ないけど大量生産するとすればそれはしょぼくない; int1 & fact6 -> int2: 「あの臀筋はしょぼくない」ということは成り立つ; int2 & fact1 -> int3: 「その清熱は吠え続けない一方でそれは比例付与する」ということは成り立たない; int3 & fact8 -> int4: 「この腎臓癌は耐え難くない」ということは成り立つ; int4 & fact11 -> int5: その学習障害は取り辛いかまたは耐え難い; int5 & fact12 & fact9 -> int6: あの作業工は御聞かせ願える; int6 & fact2 -> int7: この花婿は尊皇である; int7 & fact10 -> hypothesis; __DISPROVED__
事実1: あの臀筋はしょぼくないとすると「その清熱は吠え続けるということはないけど比例付与する」ということは成り立たない
事実2: 仮にあの作業工が御聞かせ願えればこの花婿は尊皇である
事実3: 耐え難いということはないものはしょぼいか比例付与するかもしくは両方ともである
事実4: しょぼいものは取り辛くないがしかし吠え続ける
事実5: とある物は並み居ない一方で大量生産するとすればそれはしょぼくない
事実6: あの臀筋は並み居ないけどそれは大量生産する
事実7: あるものは比例付与するということはない
事実8: もし仮に「その清熱は吠え続けないがしかし比例付与する」ということは成り立たないとすればこの腎臓癌は耐え難くない
事実9: その学習障害が耐え難いならばあの作業工は御聞かせ願える
事実10: この花婿は騒がしくない
事実11: もし仮にこの腎臓癌が耐え難くないならばその学習障害は取り辛いか耐え難いかまたは両方ともだ
事実12: 「その学習障害は取り辛い」ということは成り立つならあの作業工は御聞かせ願える

仮説: 「この花婿は尊皇だがしかし騒がしくない」ということは成り立たない
1. 事実5から、推論1: "もしあの臀筋は並み居ないけど大量生産するとすればそれはしょぼくない"が導かれる
2. 推論1と事実6から、推論2: "「あの臀筋はしょぼくない」ということは成り立つ"が導かれる
3. 推論2と事実1から、推論3: "「その清熱は吠え続けない一方でそれは比例付与する」ということは成り立たない"が導かれる
4. 推論3と事実8から、推論4: "「この腎臓癌は耐え難くない」ということは成り立つ"が導かれる
5. 推論4と事実11から、推論5: "その学習障害は取り辛いかまたは耐え難い"が導かれる
6. 推論5と事実12と事実9から、推論6: "あの作業工は御聞かせ願える"が導かれる
7. 推論6と事実2から、推論7: "この花婿は尊皇である"が導かれる
8. 推論7と事実10から、仮説が否定される

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