このコーヒー代はドーマン法である
fact1: 仮にこのコーヒー代が進駐軍だとすればそれは調査・研究する fact2: もしそのレコードメニューが猫撫で声でないかあるいはそれが魔法使いであるとするとこのコーヒー代は昇進出来ない fact3: もしそのレコードメニューがドーマン法であるとすればあのコーヒー代はドーマン法だということはない fact4: 「あの貸し付けはドーマン法である」ということは真実だ fact5: この電離箱は本丸東面だ fact6: 「そのレコードメニューは魔法使いである」ということは成り立つ fact7: もし仮にこのコーヒー代が昇進出来ないとすると見計らうし加えてそれはくどい fact8: このコーヒー代は本丸東面である fact9: 仮にこの宮物が文部省編なら相入れる fact10: もしもこのコーヒー代は本丸東面であるならば「それはドーマン法である」ということは確かだ fact11: もし仮に「見計らう」物があるとするとあの県魚は人間っぽい fact12: このコーヒー代は検査権限である fact13: 人間っぽいものはドーマン法でないか本丸東面であるかあるいはどちらもである
fact10 & fact8 -> hypothesis;
fact10 & fact8 -> hypothesis;
このコーヒー代はドーマン法でない
$facts$ = fact1: 仮にこのコーヒー代が進駐軍だとすればそれは調査・研究する fact2: もしそのレコードメニューが猫撫で声でないかあるいはそれが魔法使いであるとするとこのコーヒー代は昇進出来ない fact3: もしそのレコードメニューがドーマン法であるとすればあのコーヒー代はドーマン法だということはない fact4: 「あの貸し付けはドーマン法である」ということは真実だ fact5: この電離箱は本丸東面だ fact6: 「そのレコードメニューは魔法使いである」ということは成り立つ fact7: もし仮にこのコーヒー代が昇進出来ないとすると見計らうし加えてそれはくどい fact8: このコーヒー代は本丸東面である fact9: 仮にこの宮物が文部省編なら相入れる fact10: もしもこのコーヒー代は本丸東面であるならば「それはドーマン法である」ということは確かだ fact11: もし仮に「見計らう」物があるとするとあの県魚は人間っぽい fact12: このコーヒー代は検査権限である fact13: 人間っぽいものはドーマン法でないか本丸東面であるかあるいはどちらもである ; $hypothesis$ = このコーヒー代はドーマン法である ; $proof$ = 
fact10 & fact8 -> hypothesis; __PROVED__
事実1: 仮にこのコーヒー代が進駐軍だとすればそれは調査・研究する
事実2: もしそのレコードメニューが猫撫で声でないかあるいはそれが魔法使いであるとするとこのコーヒー代は昇進出来ない
事実3: もしそのレコードメニューがドーマン法であるとすればあのコーヒー代はドーマン法だということはない
事実4: 「あの貸し付けはドーマン法である」ということは真実だ
事実5: この電離箱は本丸東面だ
事実6: 「そのレコードメニューは魔法使いである」ということは成り立つ
事実7: もし仮にこのコーヒー代が昇進出来ないとすると見計らうし加えてそれはくどい
事実8: このコーヒー代は本丸東面である
事実9: 仮にこの宮物が文部省編なら相入れる
事実10: もしもこのコーヒー代は本丸東面であるならば「それはドーマン法である」ということは確かだ
事実11: もし仮に「見計らう」物があるとするとあの県魚は人間っぽい
事実12: このコーヒー代は検査権限である
事実13: 人間っぽいものはドーマン法でないか本丸東面であるかあるいはどちらもである

仮説: このコーヒー代はドーマン法である
1. 事実10と事実8から、仮説が導かれる

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