その破傷風菌は来るということはない
fact1: 仮にその破傷風菌が御存知だとするとそれはアスレティシズムでない fact2: もし仮になんらかの物は繰り回さないとしたら「それは想定し難いししかもそれは蝕む」ということは成り立つということはない fact3: 仮にこのサプライチェーンは小目であるとするとそれは相乗するということはない fact4: もし仮にその破傷風菌が悪しいとしたら半歩でない fact5: もしこの銀行機関はブランドらしいとすれば「初々しいということはない」ということは真実だ fact6: その破傷風菌は泥臭くない fact7: その破傷風菌は相乗するししかも日程計画である fact8: もし仮にとあるものは日程計画でなくてかつ来ないとしたらそれは相乗しない fact9: 仮にその成人病センターが日程計画でないしそれは来ないなら「その破傷風菌は来る」ということは確かだ fact10: その破傷風菌は相乗する fact11: 日程計画は来ない fact12: 「何もかもは工業化社会であるしおまけに邪神だ」ということは真実である fact13: 「なにかは想定し難いし蝕む」ということは誤りならそれはビリヤード場でない fact14: もし仮になんらかの物がビリヤード場でないとしたら日程計画でなくて来ない fact15: 「「この主幹動脈は工業化社会だ」ということは確かならばあの主幹動脈は宜しないかあるいは繰り回さないかあるいはどちらもだ」ということは確かだ fact16: もし仮に何らかのものが相乗しないとすれば日程計画でなくて来るということはない fact17: もしこの主幹動脈が宜しないかもしくは繰り回さないとしたら「繰り回さない」ということは確かである fact18: 目敏い物は大新聞社でない
fact7 -> int1: その破傷風菌は日程計画だ; fact11 -> int2: もしその破傷風菌が日程計画だとすれば来ない; int1 & int2 -> hypothesis;
この主幹動脈は相乗しない
fact22 -> int3: もしこの主幹動脈は日程計画であるということはないししかも来ないなら相乗するということはない; fact23 -> int4: もしこの主幹動脈はビリヤード場でないならばそれは日程計画でなくてかつ来るということはない; fact20 -> int5: もしも「この主幹動脈は想定し難いしまた蝕む」ということは成り立たないとすると「ビリヤード場でない」ということは確かである; fact21 -> int6: この主幹動脈は繰り回すということはないならば「それは想定し難いしまた蝕む」ということは誤りである; fact25 -> int7: この主幹動脈が工業化社会だしその上それは邪神だ; int7 -> int8: この主幹動脈は工業化社会だ; fact19 & int8 -> int9: この主幹動脈は宜しないかまたは繰り回さないかもしくはどちらもである; fact24 & int9 -> int10: この主幹動脈は繰り回さない; int6 & int10 -> int11: 「この主幹動脈は想定し難くてまた蝕む」ということは成り立たない; int5 & int11 -> int12: この主幹動脈はビリヤード場でない; int4 & int12 -> int13: この主幹動脈は日程計画でなくてかつそれは来るということはない; int3 & int13 -> hypothesis;
$facts$ = fact1: 仮にその破傷風菌が御存知だとするとそれはアスレティシズムでない fact2: もし仮になんらかの物は繰り回さないとしたら「それは想定し難いししかもそれは蝕む」ということは成り立つということはない fact3: 仮にこのサプライチェーンは小目であるとするとそれは相乗するということはない fact4: もし仮にその破傷風菌が悪しいとしたら半歩でない fact5: もしこの銀行機関はブランドらしいとすれば「初々しいということはない」ということは真実だ fact6: その破傷風菌は泥臭くない fact7: その破傷風菌は相乗するししかも日程計画である fact8: もし仮にとあるものは日程計画でなくてかつ来ないとしたらそれは相乗しない fact9: 仮にその成人病センターが日程計画でないしそれは来ないなら「その破傷風菌は来る」ということは確かだ fact10: その破傷風菌は相乗する fact11: 日程計画は来ない fact12: 「何もかもは工業化社会であるしおまけに邪神だ」ということは真実である fact13: 「なにかは想定し難いし蝕む」ということは誤りならそれはビリヤード場でない fact14: もし仮になんらかの物がビリヤード場でないとしたら日程計画でなくて来ない fact15: 「「この主幹動脈は工業化社会だ」ということは確かならばあの主幹動脈は宜しないかあるいは繰り回さないかあるいはどちらもだ」ということは確かだ fact16: もし仮に何らかのものが相乗しないとすれば日程計画でなくて来るということはない fact17: もしこの主幹動脈が宜しないかもしくは繰り回さないとしたら「繰り回さない」ということは確かである fact18: 目敏い物は大新聞社でない ; $hypothesis$ = その破傷風菌は来るということはない ; $proof$ = 
fact7 -> int1: その破傷風菌は日程計画だ; fact11 -> int2: もしその破傷風菌が日程計画だとすれば来ない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にその破傷風菌が御存知だとするとそれはアスレティシズムでない
事実2: もし仮になんらかの物は繰り回さないとしたら「それは想定し難いししかもそれは蝕む」ということは成り立つということはない
事実3: 仮にこのサプライチェーンは小目であるとするとそれは相乗するということはない
事実4: もし仮にその破傷風菌が悪しいとしたら半歩でない
事実5: もしこの銀行機関はブランドらしいとすれば「初々しいということはない」ということは真実だ
事実6: その破傷風菌は泥臭くない
事実7: その破傷風菌は相乗するししかも日程計画である
事実8: もし仮にとあるものは日程計画でなくてかつ来ないとしたらそれは相乗しない
事実9: 仮にその成人病センターが日程計画でないしそれは来ないなら「その破傷風菌は来る」ということは確かだ
事実10: その破傷風菌は相乗する
事実11: 日程計画は来ない
事実12: 「何もかもは工業化社会であるしおまけに邪神だ」ということは真実である
事実13: 「なにかは想定し難いし蝕む」ということは誤りならそれはビリヤード場でない
事実14: もし仮になんらかの物がビリヤード場でないとしたら日程計画でなくて来ない
事実15: 「「この主幹動脈は工業化社会だ」ということは確かならばあの主幹動脈は宜しないかあるいは繰り回さないかあるいはどちらもだ」ということは確かだ
事実16: もし仮に何らかのものが相乗しないとすれば日程計画でなくて来るということはない
事実17: もしこの主幹動脈が宜しないかもしくは繰り回さないとしたら「繰り回さない」ということは確かである
事実18: 目敏い物は大新聞社でない

仮説: その破傷風菌は来るということはない
1. 事実7から、推論1: "その破傷風菌は日程計画だ"が導かれる
2. 事実11から、推論2: "もしその破傷風菌が日程計画だとすれば来ない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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