「その左寄せはホットドッグだけど黒っぽくない」ということは事実と異なる
fact1: 仮になにがしかのものが冷やすしおまけに天狗らしいなら気高くない fact2: 仮に何かはイラク攻撃だということはないなら天狗らしいということはないけどホットドッグだ fact3: 仮にこの両国はローゼン刑事であるということはないならばそれは気高いしまた冷やす fact4: 仮にこの両国が天狗らしくない一方でそれがホットドッグだとすればこの撫子はホットドッグでない fact5: この五十パーセント台は天狗らしい fact6: もし仮にこの工藤智道は心地良いし更にズーミングだとしたらイラク攻撃でない fact7: その左寄せはローゼン刑事だし更に冷やす fact8: その左寄せは市町村審査会で更にホットドッグだ fact9: もしもその左寄せが仕方無しないならそれは心地良いがしかし冷やさない fact10: その左寄せは天狗らしいしそれはイラク攻撃である fact11: 気高くない物はホットドッグだ一方で黒っぽくない
fact10 -> int1: 「その左寄せは天狗らしくない」ということは成り立たない; fact7 -> int2: その左寄せは冷やす; int1 & int2 -> int3: その左寄せは冷やすし天狗らしい; fact1 -> int4: その左寄せは冷やすし天狗らしいとすればそれは気高いということはない; int3 & int4 -> int5: その左寄せは気高くない; fact11 -> int6: もしもその左寄せが気高くないとすればそれはホットドッグであるけれど黒っぽくない; int5 & int6 -> hypothesis;
「その左寄せはホットドッグだけれど黒っぽいということはない」ということは成り立たない
fact13 -> int7: この両国はイラク攻撃でないとしたらそれは天狗らしくないがホットドッグである;
$facts$ = fact1: 仮になにがしかのものが冷やすしおまけに天狗らしいなら気高くない fact2: 仮に何かはイラク攻撃だということはないなら天狗らしいということはないけどホットドッグだ fact3: 仮にこの両国はローゼン刑事であるということはないならばそれは気高いしまた冷やす fact4: 仮にこの両国が天狗らしくない一方でそれがホットドッグだとすればこの撫子はホットドッグでない fact5: この五十パーセント台は天狗らしい fact6: もし仮にこの工藤智道は心地良いし更にズーミングだとしたらイラク攻撃でない fact7: その左寄せはローゼン刑事だし更に冷やす fact8: その左寄せは市町村審査会で更にホットドッグだ fact9: もしもその左寄せが仕方無しないならそれは心地良いがしかし冷やさない fact10: その左寄せは天狗らしいしそれはイラク攻撃である fact11: 気高くない物はホットドッグだ一方で黒っぽくない ; $hypothesis$ = 「その左寄せはホットドッグだけど黒っぽくない」ということは事実と異なる ; $proof$ = 
fact10 -> int1: 「その左寄せは天狗らしくない」ということは成り立たない; fact7 -> int2: その左寄せは冷やす; int1 & int2 -> int3: その左寄せは冷やすし天狗らしい; fact1 -> int4: その左寄せは冷やすし天狗らしいとすればそれは気高いということはない; int3 & int4 -> int5: その左寄せは気高くない; fact11 -> int6: もしもその左寄せが気高くないとすればそれはホットドッグであるけれど黒っぽくない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものが冷やすしおまけに天狗らしいなら気高くない
事実2: 仮に何かはイラク攻撃だということはないなら天狗らしいということはないけどホットドッグだ
事実3: 仮にこの両国はローゼン刑事であるということはないならばそれは気高いしまた冷やす
事実4: 仮にこの両国が天狗らしくない一方でそれがホットドッグだとすればこの撫子はホットドッグでない
事実5: この五十パーセント台は天狗らしい
事実6: もし仮にこの工藤智道は心地良いし更にズーミングだとしたらイラク攻撃でない
事実7: その左寄せはローゼン刑事だし更に冷やす
事実8: その左寄せは市町村審査会で更にホットドッグだ
事実9: もしもその左寄せが仕方無しないならそれは心地良いがしかし冷やさない
事実10: その左寄せは天狗らしいしそれはイラク攻撃である
事実11: 気高くない物はホットドッグだ一方で黒っぽくない

仮説: 「その左寄せはホットドッグだけど黒っぽくない」ということは事実と異なる
1. 事実10から、推論1: "「その左寄せは天狗らしくない」ということは成り立たない"が導かれる
2. 事実7から、推論2: "その左寄せは冷やす"が導かれる
3. 推論1と推論2から、推論3: "その左寄せは冷やすし天狗らしい"が導かれる
4. 事実1から、推論4: "その左寄せは冷やすし天狗らしいとすればそれは気高いということはない"が導かれる
5. 推論3と推論4から、推論5: "その左寄せは気高くない"が導かれる
6. 事実11から、推論6: "もしもその左寄せが気高くないとすればそれはホットドッグであるけれど黒っぽくない"が導かれる
7. 推論5と推論6から、仮説が否定される

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