あの双発は醜くない
fact1: あの双発は制覇する fact2: 仮にあの双発がだんまりであるとすればこの熱燗は醜い fact3: あの入電は醜い fact4: だんまりが混同し易いとしたら醜くない fact5: 「この熱燗はパーセルデータである」ということは真実だ fact6: この熱燗は黴臭い fact7: あの双発はだんまりである fact8: この熱燗はだんまりである fact9: この短編映画はだんまりだ fact10: もし仮にこの熱燗がだんまりだとすればあの双発は醜い fact11: あの双発は貯蔵中である fact12: この熱燗は醜い fact13: そのアプリケーションは醜い fact14: もしこの熱燗が醜いとすればあの双発はだんまりだ
fact10 & fact8 -> hypothesis;
fact10 & fact8 -> hypothesis;
あの双発は醜くない
fact15 -> int1: もしあの双発はだんまりであるしそれに混同し易いとすれば醜くない;
$facts$ = fact1: あの双発は制覇する fact2: 仮にあの双発がだんまりであるとすればこの熱燗は醜い fact3: あの入電は醜い fact4: だんまりが混同し易いとしたら醜くない fact5: 「この熱燗はパーセルデータである」ということは真実だ fact6: この熱燗は黴臭い fact7: あの双発はだんまりである fact8: この熱燗はだんまりである fact9: この短編映画はだんまりだ fact10: もし仮にこの熱燗がだんまりだとすればあの双発は醜い fact11: あの双発は貯蔵中である fact12: この熱燗は醜い fact13: そのアプリケーションは醜い fact14: もしこの熱燗が醜いとすればあの双発はだんまりだ ; $hypothesis$ = あの双発は醜くない ; $proof$ = 
fact10 & fact8 -> hypothesis; __DISPROVED__
事実1: あの双発は制覇する
事実2: 仮にあの双発がだんまりであるとすればこの熱燗は醜い
事実3: あの入電は醜い
事実4: だんまりが混同し易いとしたら醜くない
事実5: 「この熱燗はパーセルデータである」ということは真実だ
事実6: この熱燗は黴臭い
事実7: あの双発はだんまりである
事実8: この熱燗はだんまりである
事実9: この短編映画はだんまりだ
事実10: もし仮にこの熱燗がだんまりだとすればあの双発は醜い
事実11: あの双発は貯蔵中である
事実12: この熱燗は醜い
事実13: そのアプリケーションは醜い
事実14: もしこの熱燗が醜いとすればあの双発はだんまりだ

仮説: あの双発は醜くない
1. 事実10と事実8から、仮説が否定される

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