そのポイント間は矢でなくてじんじんしない
fact1: その肺動脈狭窄は広がり難くない fact2: 仮にその肺動脈狭窄が矢であるとするとそのポイント間は矢でないしじんじんしない fact3: あの杵はじんじんしなくてそれに広がり難くないなら「あの強圧法は広がり難い」ということは確かだ fact4: 仮にこの真因が調査部でないとするとそれは社会福祉固有でなくてかつそれはしょんべんでない fact5: もしその肺動脈狭窄は植菌操作であるならそれはボーでない fact6: もし仮にあの強圧法がスカイラインであるということはないならその称賛はスカイラインだ fact7: 植菌操作は首尾良いかあるいは矢でないかまたはどちらもだ fact8: もしあるものは植菌操作であるならばそれはボーでない fact9: その称賛はスカイラインならば「それはじんじんする」ということは本当だ fact10: もしもその肺動脈狭窄が広がり難くないしかつそれはスカイラインでないならば矢である fact11: もし仮になにかは矢であるならじんじんするか広がり難くないか両方である fact12: もし仮にあの強圧法が広がり難いならばその称賛はボーである fact13: そのポイント間はボーでない fact14: その肺動脈狭窄はじんじんしない fact15: その肺動脈狭窄はボーである fact16: 仮に何らかのものが植菌操作であるか首尾良くないかあるいは両方ともであるとするとボーでない fact17: 仮にその称賛がボーであるとすればそのポイント間はスカイラインだ fact18: スカイラインは植菌操作であるかもしくは首尾良くないかあるいはどちらもだ fact19: 仮に「そのポイント間はスカイラインである」ということは確かだとするとその肺動脈狭窄は熱くない
fact18 -> int1: その肺動脈狭窄がスカイラインであるとしたら植菌操作であるかもしくは首尾良いということはないかどちらもである; void -> assump1: 以下のように仮定する。その肺動脈狭窄はスカイラインだ; int1 & assump1 -> int2: その肺動脈狭窄は植菌操作であるか首尾良くない; fact16 -> int3: もしその肺動脈狭窄が植菌操作であるかもしくは首尾良くないとするとボーでない; int2 & int3 -> int4: その肺動脈狭窄はボーでない; int4 & fact15 -> int5: これは矛盾である; [assump1] & int5 -> int6: その肺動脈狭窄はスカイラインでない; int6 & fact1 -> int7: その肺動脈狭窄は広がり難くないしおまけにそれはスカイラインでない; int7 & fact10 -> int8: その肺動脈狭窄は矢だ; int8 & fact2 -> hypothesis;
「そのポイント間は矢でなくておまけにじんじんするということはない」ということは誤りである
$facts$ = fact1: その肺動脈狭窄は広がり難くない fact2: 仮にその肺動脈狭窄が矢であるとするとそのポイント間は矢でないしじんじんしない fact3: あの杵はじんじんしなくてそれに広がり難くないなら「あの強圧法は広がり難い」ということは確かだ fact4: 仮にこの真因が調査部でないとするとそれは社会福祉固有でなくてかつそれはしょんべんでない fact5: もしその肺動脈狭窄は植菌操作であるならそれはボーでない fact6: もし仮にあの強圧法がスカイラインであるということはないならその称賛はスカイラインだ fact7: 植菌操作は首尾良いかあるいは矢でないかまたはどちらもだ fact8: もしあるものは植菌操作であるならばそれはボーでない fact9: その称賛はスカイラインならば「それはじんじんする」ということは本当だ fact10: もしもその肺動脈狭窄が広がり難くないしかつそれはスカイラインでないならば矢である fact11: もし仮になにかは矢であるならじんじんするか広がり難くないか両方である fact12: もし仮にあの強圧法が広がり難いならばその称賛はボーである fact13: そのポイント間はボーでない fact14: その肺動脈狭窄はじんじんしない fact15: その肺動脈狭窄はボーである fact16: 仮に何らかのものが植菌操作であるか首尾良くないかあるいは両方ともであるとするとボーでない fact17: 仮にその称賛がボーであるとすればそのポイント間はスカイラインだ fact18: スカイラインは植菌操作であるかもしくは首尾良くないかあるいはどちらもだ fact19: 仮に「そのポイント間はスカイラインである」ということは確かだとするとその肺動脈狭窄は熱くない ; $hypothesis$ = そのポイント間は矢でなくてじんじんしない ; $proof$ = 
fact18 -> int1: その肺動脈狭窄がスカイラインであるとしたら植菌操作であるかもしくは首尾良いということはないかどちらもである; void -> assump1: 以下のように仮定する。その肺動脈狭窄はスカイラインだ; int1 & assump1 -> int2: その肺動脈狭窄は植菌操作であるか首尾良くない; fact16 -> int3: もしその肺動脈狭窄が植菌操作であるかもしくは首尾良くないとするとボーでない; int2 & int3 -> int4: その肺動脈狭窄はボーでない; int4 & fact15 -> int5: これは矛盾である; [assump1] & int5 -> int6: その肺動脈狭窄はスカイラインでない; int6 & fact1 -> int7: その肺動脈狭窄は広がり難くないしおまけにそれはスカイラインでない; int7 & fact10 -> int8: その肺動脈狭窄は矢だ; int8 & fact2 -> hypothesis; __PROVED__
事実1: その肺動脈狭窄は広がり難くない
事実2: 仮にその肺動脈狭窄が矢であるとするとそのポイント間は矢でないしじんじんしない
事実3: あの杵はじんじんしなくてそれに広がり難くないなら「あの強圧法は広がり難い」ということは確かだ
事実4: 仮にこの真因が調査部でないとするとそれは社会福祉固有でなくてかつそれはしょんべんでない
事実5: もしその肺動脈狭窄は植菌操作であるならそれはボーでない
事実6: もし仮にあの強圧法がスカイラインであるということはないならその称賛はスカイラインだ
事実7: 植菌操作は首尾良いかあるいは矢でないかまたはどちらもだ
事実8: もしあるものは植菌操作であるならばそれはボーでない
事実9: その称賛はスカイラインならば「それはじんじんする」ということは本当だ
事実10: もしもその肺動脈狭窄が広がり難くないしかつそれはスカイラインでないならば矢である
事実11: もし仮になにかは矢であるならじんじんするか広がり難くないか両方である
事実12: もし仮にあの強圧法が広がり難いならばその称賛はボーである
事実13: そのポイント間はボーでない
事実14: その肺動脈狭窄はじんじんしない
事実15: その肺動脈狭窄はボーである
事実16: 仮に何らかのものが植菌操作であるか首尾良くないかあるいは両方ともであるとするとボーでない
事実17: 仮にその称賛がボーであるとすればそのポイント間はスカイラインだ
事実18: スカイラインは植菌操作であるかもしくは首尾良くないかあるいはどちらもだ
事実19: 仮に「そのポイント間はスカイラインである」ということは確かだとするとその肺動脈狭窄は熱くない

仮説: そのポイント間は矢でなくてじんじんしない
1. 事実18から、推論1: "その肺動脈狭窄がスカイラインであるとしたら植菌操作であるかもしくは首尾良いということはないかどちらもである"が導かれる
2. 仮定1: 以下のように仮定する。その肺動脈狭窄はスカイラインだ
3. 推論1と仮定1から、推論2: "その肺動脈狭窄は植菌操作であるか首尾良くない"が導かれる
4. 事実16から、推論3: "もしその肺動脈狭窄が植菌操作であるかもしくは首尾良くないとするとボーでない"が導かれる
5. 推論2と推論3から、推論4: "その肺動脈狭窄はボーでない"が導かれる
6. 推論4と事実15から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その肺動脈狭窄はスカイラインでない"が導かれる
8. 推論6と事実1から、推論7: "その肺動脈狭窄は広がり難くないしおまけにそれはスカイラインでない"が導かれる
9. 推論7と事実10から、推論8: "その肺動脈狭窄は矢だ"が導かれる
10. 推論8と事実2から、仮説が導かれる

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