このティフェレットは汚らしい
fact1: このティフェレットは漂白でない fact2: あの退行性疾患が繰り上がるということはないが漂白ならばこのティフェレットは汚らしくない fact3: この高等学校時代は漂白でないがしかし松代屋である fact4: あの退行性疾患は繰り上がらない一方で漂白だ fact5: もしも「とある物は微調整する一方でそれは和合しない」ということは嘘だとしたら世知辛くない fact6: あの退行性疾患は早いということはないが打ち払う fact7: もしもあの退行性疾患が週給であるとするとあの外側翼突筋は幼いということはないが色っぽさである fact8: 汚らしい物は週給だ fact9: 「もし仮に何かは世知辛いとすれば「週給だ」ということは成り立つ」ということは成り立つ fact10: あの退行性疾患は繰り上がらない fact11: あの退行性疾患が繰り上がるし漂白であるならこのティフェレットは汚らしくない fact12: もしもあの退行性疾患が週給だとすればあのティフェレットは汚らしい
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
このティフェレットは汚らしい
fact14 -> int1: 仮にあの退行性疾患が世知辛いとすればそれは週給である;
$facts$ = fact1: このティフェレットは漂白でない fact2: あの退行性疾患が繰り上がるということはないが漂白ならばこのティフェレットは汚らしくない fact3: この高等学校時代は漂白でないがしかし松代屋である fact4: あの退行性疾患は繰り上がらない一方で漂白だ fact5: もしも「とある物は微調整する一方でそれは和合しない」ということは嘘だとしたら世知辛くない fact6: あの退行性疾患は早いということはないが打ち払う fact7: もしもあの退行性疾患が週給であるとするとあの外側翼突筋は幼いということはないが色っぽさである fact8: 汚らしい物は週給だ fact9: 「もし仮に何かは世知辛いとすれば「週給だ」ということは成り立つ」ということは成り立つ fact10: あの退行性疾患は繰り上がらない fact11: あの退行性疾患が繰り上がるし漂白であるならこのティフェレットは汚らしくない fact12: もしもあの退行性疾患が週給だとすればあのティフェレットは汚らしい ; $hypothesis$ = このティフェレットは汚らしい ; $proof$ = 
fact2 & fact4 -> hypothesis; __DISPROVED__
事実1: このティフェレットは漂白でない
事実2: あの退行性疾患が繰り上がるということはないが漂白ならばこのティフェレットは汚らしくない
事実3: この高等学校時代は漂白でないがしかし松代屋である
事実4: あの退行性疾患は繰り上がらない一方で漂白だ
事実5: もしも「とある物は微調整する一方でそれは和合しない」ということは嘘だとしたら世知辛くない
事実6: あの退行性疾患は早いということはないが打ち払う
事実7: もしもあの退行性疾患が週給であるとするとあの外側翼突筋は幼いということはないが色っぽさである
事実8: 汚らしい物は週給だ
事実9: 「もし仮に何かは世知辛いとすれば「週給だ」ということは成り立つ」ということは成り立つ
事実10: あの退行性疾患は繰り上がらない
事実11: あの退行性疾患が繰り上がるし漂白であるならこのティフェレットは汚らしくない
事実12: もしもあの退行性疾患が週給だとすればあのティフェレットは汚らしい

仮説: このティフェレットは汚らしい
1. 事実2と事実4から、仮説が否定される

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