あの南蛮漬けはクリーニングする
fact1: そのテンプル騎士団はサンドペーパーだ fact2: その溜飲はサンドペーパーでない fact3: その溜飲は測り難いが潔くない fact4: 仮にあの南蛮漬けが世知辛いとしたらサンドペーパーだしまたそれはクリーニングしない fact5: その溜飲はクリーニングするけれど潔くない fact6: もしその溜飲が潔いとしたらこの泌尿器科は潔い fact7: あの南蛮漬けは潔くない fact8: その皮膚損傷はクリーニングしない fact9: 「この前面性は測り難い」ということは事実である fact10: その溜飲はクリーニングする fact11: この真裏は測り難くない fact12: もしもその溜飲は源姓であるとすれば「この連結事業年度後は潔い」ということは真実だ fact13: ミートローフは安っぽい fact14: もしもこの連結事業年度後がサンドペーパーならばあの南蛮漬けはクリーニングする fact15: あの南蛮漬けはか細くない fact16: もしもなにかは源姓だとすれば「それはサンドペーパーだ」ということは確かだ fact17: その溜飲は登録票である fact18: この連結事業年度後は測り難くない fact19: もしその溜飲が測り難いならばこの連結事業年度後は源姓だ
fact3 -> int1: その溜飲は測り難い; int1 & fact19 -> int2: この連結事業年度後は源姓である; fact16 -> int3: もし仮に「この連結事業年度後は源姓だ」ということは事実であるならばそれはサンドペーパーである; int2 & int3 -> int4: この連結事業年度後はサンドペーパーである; int4 & fact14 -> hypothesis;
この泌尿器科は潔い
$facts$ = fact1: そのテンプル騎士団はサンドペーパーだ fact2: その溜飲はサンドペーパーでない fact3: その溜飲は測り難いが潔くない fact4: 仮にあの南蛮漬けが世知辛いとしたらサンドペーパーだしまたそれはクリーニングしない fact5: その溜飲はクリーニングするけれど潔くない fact6: もしその溜飲が潔いとしたらこの泌尿器科は潔い fact7: あの南蛮漬けは潔くない fact8: その皮膚損傷はクリーニングしない fact9: 「この前面性は測り難い」ということは事実である fact10: その溜飲はクリーニングする fact11: この真裏は測り難くない fact12: もしもその溜飲は源姓であるとすれば「この連結事業年度後は潔い」ということは真実だ fact13: ミートローフは安っぽい fact14: もしもこの連結事業年度後がサンドペーパーならばあの南蛮漬けはクリーニングする fact15: あの南蛮漬けはか細くない fact16: もしもなにかは源姓だとすれば「それはサンドペーパーだ」ということは確かだ fact17: その溜飲は登録票である fact18: この連結事業年度後は測り難くない fact19: もしその溜飲が測り難いならばこの連結事業年度後は源姓だ ; $hypothesis$ = あの南蛮漬けはクリーニングする ; $proof$ = 
fact3 -> int1: その溜飲は測り難い; int1 & fact19 -> int2: この連結事業年度後は源姓である; fact16 -> int3: もし仮に「この連結事業年度後は源姓だ」ということは事実であるならばそれはサンドペーパーである; int2 & int3 -> int4: この連結事業年度後はサンドペーパーである; int4 & fact14 -> hypothesis; __PROVED__
事実1: そのテンプル騎士団はサンドペーパーだ
事実2: その溜飲はサンドペーパーでない
事実3: その溜飲は測り難いが潔くない
事実4: 仮にあの南蛮漬けが世知辛いとしたらサンドペーパーだしまたそれはクリーニングしない
事実5: その溜飲はクリーニングするけれど潔くない
事実6: もしその溜飲が潔いとしたらこの泌尿器科は潔い
事実7: あの南蛮漬けは潔くない
事実8: その皮膚損傷はクリーニングしない
事実9: 「この前面性は測り難い」ということは事実である
事実10: その溜飲はクリーニングする
事実11: この真裏は測り難くない
事実12: もしもその溜飲は源姓であるとすれば「この連結事業年度後は潔い」ということは真実だ
事実13: ミートローフは安っぽい
事実14: もしもこの連結事業年度後がサンドペーパーならばあの南蛮漬けはクリーニングする
事実15: あの南蛮漬けはか細くない
事実16: もしもなにかは源姓だとすれば「それはサンドペーパーだ」ということは確かだ
事実17: その溜飲は登録票である
事実18: この連結事業年度後は測り難くない
事実19: もしその溜飲が測り難いならばこの連結事業年度後は源姓だ

仮説: あの南蛮漬けはクリーニングする
1. 事実3から、推論1: "その溜飲は測り難い"が導かれる
2. 推論1と事実19から、推論2: "この連結事業年度後は源姓である"が導かれる
3. 事実16から、推論3: "もし仮に「この連結事業年度後は源姓だ」ということは事実であるならばそれはサンドペーパーである"が導かれる
4. 推論2と推論3から、推論4: "この連結事業年度後はサンドペーパーである"が導かれる
5. 推論4と事実14から、仮説が導かれる

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