あのカットは仲間外れだ
fact1: この国家政治保安部は囁き合わないがしかしし辛いならば仲間外れだ fact2: 仮にこの毛糸製は起こり始めるしおまけにリラクセーション法であるならばそれは怪しい fact3: その赤葡萄酒は大白法である fact4: 仮にあのカットは濃縮しないが大白法であるとすれば交え用いる fact5: あのカットはＴＣＰセグメントでないけど金主である fact6: あの前部座席は当たらない fact7: あのカットは大白法でないけど当たるとすると仲間外れである fact8: あのカットは運び出しでない fact9: あのカットは大白法でないが当たる fact10: あの芳賀舎念はふらふらしないがしかし大白法だ fact11: あのカットは如此し fact12: もし仮にあのカットが燃え立たない一方でそれが仲間外れならそれは秘密道具である fact13: あのカットは埋まらない
fact7 & fact9 -> hypothesis;
fact7 & fact9 -> hypothesis;
$facts$ = fact1: この国家政治保安部は囁き合わないがしかしし辛いならば仲間外れだ fact2: 仮にこの毛糸製は起こり始めるしおまけにリラクセーション法であるならばそれは怪しい fact3: その赤葡萄酒は大白法である fact4: 仮にあのカットは濃縮しないが大白法であるとすれば交え用いる fact5: あのカットはＴＣＰセグメントでないけど金主である fact6: あの前部座席は当たらない fact7: あのカットは大白法でないけど当たるとすると仲間外れである fact8: あのカットは運び出しでない fact9: あのカットは大白法でないが当たる fact10: あの芳賀舎念はふらふらしないがしかし大白法だ fact11: あのカットは如此し fact12: もし仮にあのカットが燃え立たない一方でそれが仲間外れならそれは秘密道具である fact13: あのカットは埋まらない ; $hypothesis$ = あのカットは仲間外れだ ; $proof$ = 
fact7 & fact9 -> hypothesis; __PROVED__
事実1: この国家政治保安部は囁き合わないがしかしし辛いならば仲間外れだ
事実2: 仮にこの毛糸製は起こり始めるしおまけにリラクセーション法であるならばそれは怪しい
事実3: その赤葡萄酒は大白法である
事実4: 仮にあのカットは濃縮しないが大白法であるとすれば交え用いる
事実5: あのカットはＴＣＰセグメントでないけど金主である
事実6: あの前部座席は当たらない
事実7: あのカットは大白法でないけど当たるとすると仲間外れである
事実8: あのカットは運び出しでない
事実9: あのカットは大白法でないが当たる
事実10: あの芳賀舎念はふらふらしないがしかし大白法だ
事実11: あのカットは如此し
事実12: もし仮にあのカットが燃え立たない一方でそれが仲間外れならそれは秘密道具である
事実13: あのカットは埋まらない

仮説: あのカットは仲間外れだ
1. 事実7と事実9から、仮説が導かれる

よって、仮説が証明されました。