その製剤は御悪くないけれど課程だ
fact1: 長細いものは浅黒い fact2: もし仮にあの睨めっこが取っ付き易くなくておまけにそれが点数稼ぎだということはないならばその二号天蚕糸は取っ付き易くない fact3: もし「その製剤は煩わしいが長細くない」ということは偽だとしたらそれは浅黒くない fact4: もし何らかのものは浅黒いとしたら「右クリックするがしかしフットマッサージでない」ということは成り立たない fact5: もし仮に何かは浅黒くないとすれば「御悪くなくて加えてそれは課程だ」ということは間違いだ fact6: 「その製剤は煩わしいがしかし長細いということはない」ということは誤っている fact7: 仮にその二号天蚕糸が取っ付き易いということはないならその後退戦は煩わしくておまけにそれは長細い fact8: 「その製剤は見付け易くておまけに御悪い」ということは成り立たない fact9: もしなにかは課程でないならば「浅黒いしそれは長細い」ということは間違いだ fact10: 「もしもその後退戦が浅黒いならその製剤は浅黒い」ということは事実だ fact11: そのＡＴＭ設置店舗は食べ歩く fact12: もし仮に何らかのものが引き摺らないとすれば取っ付き易くないししかも点数稼ぎでない fact13: もしとあるものが苦くて加えて食べ歩くとすればあの介護休暇は温いということはない fact14: そのＡＴＭ設置店舗は苦い
fact5 -> int1: 仮にその製剤は浅黒くないなら「それは御悪くないしそれは課程である」ということは成り立つということはない; fact3 & fact6 -> int2: その製剤は浅黒くない; int1 & int2 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact3 & fact6 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「その製剤は右クリックするがしかしフットマッサージでない」ということは成り立たない
fact18 -> int3: その製剤は浅黒いとすれば「右クリックするし加えてそれはフットマッサージでない」ということは誤っている; fact23 -> int4: もし仮にその後退戦が長細いとしたらそれは浅黒い; fact22 -> int5: あの睨めっこが引き摺らないとすれば取っ付き易くなくてそれは点数稼ぎでない; fact21 & fact15 -> int6: そのＡＴＭ設置店舗は苦いししかもそれは食べ歩く; int6 -> int7: 「苦いしおまけに食べ歩く」ものはある; int7 & fact20 -> int8: この介護休暇は温くない; int8 -> int9: なにがしかの物は温くない;
$facts$ = fact1: 長細いものは浅黒い fact2: もし仮にあの睨めっこが取っ付き易くなくておまけにそれが点数稼ぎだということはないならばその二号天蚕糸は取っ付き易くない fact3: もし「その製剤は煩わしいが長細くない」ということは偽だとしたらそれは浅黒くない fact4: もし何らかのものは浅黒いとしたら「右クリックするがしかしフットマッサージでない」ということは成り立たない fact5: もし仮に何かは浅黒くないとすれば「御悪くなくて加えてそれは課程だ」ということは間違いだ fact6: 「その製剤は煩わしいがしかし長細いということはない」ということは誤っている fact7: 仮にその二号天蚕糸が取っ付き易いということはないならその後退戦は煩わしくておまけにそれは長細い fact8: 「その製剤は見付け易くておまけに御悪い」ということは成り立たない fact9: もしなにかは課程でないならば「浅黒いしそれは長細い」ということは間違いだ fact10: 「もしもその後退戦が浅黒いならその製剤は浅黒い」ということは事実だ fact11: そのＡＴＭ設置店舗は食べ歩く fact12: もし仮に何らかのものが引き摺らないとすれば取っ付き易くないししかも点数稼ぎでない fact13: もしとあるものが苦くて加えて食べ歩くとすればあの介護休暇は温いということはない fact14: そのＡＴＭ設置店舗は苦い ; $hypothesis$ = その製剤は御悪くないけれど課程だ ; $proof$ = 
fact5 -> int1: 仮にその製剤は浅黒くないなら「それは御悪くないしそれは課程である」ということは成り立つということはない; fact3 & fact6 -> int2: その製剤は浅黒くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 長細いものは浅黒い
事実2: もし仮にあの睨めっこが取っ付き易くなくておまけにそれが点数稼ぎだということはないならばその二号天蚕糸は取っ付き易くない
事実3: もし「その製剤は煩わしいが長細くない」ということは偽だとしたらそれは浅黒くない
事実4: もし何らかのものは浅黒いとしたら「右クリックするがしかしフットマッサージでない」ということは成り立たない
事実5: もし仮に何かは浅黒くないとすれば「御悪くなくて加えてそれは課程だ」ということは間違いだ
事実6: 「その製剤は煩わしいがしかし長細いということはない」ということは誤っている
事実7: 仮にその二号天蚕糸が取っ付き易いということはないならその後退戦は煩わしくておまけにそれは長細い
事実8: 「その製剤は見付け易くておまけに御悪い」ということは成り立たない
事実9: もしなにかは課程でないならば「浅黒いしそれは長細い」ということは間違いだ
事実10: 「もしもその後退戦が浅黒いならその製剤は浅黒い」ということは事実だ
事実11: そのＡＴＭ設置店舗は食べ歩く
事実12: もし仮に何らかのものが引き摺らないとすれば取っ付き易くないししかも点数稼ぎでない
事実13: もしとあるものが苦くて加えて食べ歩くとすればあの介護休暇は温いということはない
事実14: そのＡＴＭ設置店舗は苦い

仮説: その製剤は御悪くないけれど課程だ
1. 事実5から、推論1: "仮にその製剤は浅黒くないなら「それは御悪くないしそれは課程である」ということは成り立つということはない"が導かれる
2. 事実3と事実6から、推論2: "その製剤は浅黒くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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