「そのＤ型以降は整備出来なくてそれに地球儀でない」ということは誤りだ
fact1: もし仮に「「止まれる」ということは成り立つ」ものはあるとしたら「そのＤ型以降は整備出来るということはないがしかし地球儀だ」ということは成り立たない fact2: その商店会は整備出来る fact3: あのワインバーは穂ちゃんである fact4: 「そのＤ型以降は整備出来るけれど地球儀であるということはない」ということは嘘だ fact5: 仮に「あのワインバーは穂ちゃんだ」ということは本当であるとすれば止まれる fact6: もし何らかのものは止まれるとすれば「そのＤ型以降は整備出来なくてしかもそれは地球儀でない」ということは事実と異なる fact7: もしも何らかの物は穂ちゃんであるということはないとすればそれは整備出来ないしその上地球儀でない
fact5 & fact3 -> int1: あのワインバーは止まれる; int1 -> int2: なんらかのものは止まれる; int2 & fact6 -> hypothesis;
fact5 & fact3 -> int1: {B}{a}; int1 -> int2: (Ex): {B}x; int2 & fact6 -> hypothesis;
そのＤ型以降は整備出来なくてそれは地球儀でない
fact8 -> int3: もしもそのＤ型以降は穂ちゃんでないならばそれは整備出来ないしかつ地球儀でない;
$facts$ = fact1: もし仮に「「止まれる」ということは成り立つ」ものはあるとしたら「そのＤ型以降は整備出来るということはないがしかし地球儀だ」ということは成り立たない fact2: その商店会は整備出来る fact3: あのワインバーは穂ちゃんである fact4: 「そのＤ型以降は整備出来るけれど地球儀であるということはない」ということは嘘だ fact5: 仮に「あのワインバーは穂ちゃんだ」ということは本当であるとすれば止まれる fact6: もし何らかのものは止まれるとすれば「そのＤ型以降は整備出来なくてしかもそれは地球儀でない」ということは事実と異なる fact7: もしも何らかの物は穂ちゃんであるということはないとすればそれは整備出来ないしその上地球儀でない ; $hypothesis$ = 「そのＤ型以降は整備出来なくてそれに地球儀でない」ということは誤りだ ; $proof$ = 
fact5 & fact3 -> int1: あのワインバーは止まれる; int1 -> int2: なんらかのものは止まれる; int2 & fact6 -> hypothesis; __PROVED__
事実1: もし仮に「「止まれる」ということは成り立つ」ものはあるとしたら「そのＤ型以降は整備出来るということはないがしかし地球儀だ」ということは成り立たない
事実2: その商店会は整備出来る
事実3: あのワインバーは穂ちゃんである
事実4: 「そのＤ型以降は整備出来るけれど地球儀であるということはない」ということは嘘だ
事実5: 仮に「あのワインバーは穂ちゃんだ」ということは本当であるとすれば止まれる
事実6: もし何らかのものは止まれるとすれば「そのＤ型以降は整備出来なくてしかもそれは地球儀でない」ということは事実と異なる
事実7: もしも何らかの物は穂ちゃんであるということはないとすればそれは整備出来ないしその上地球儀でない

仮説: 「そのＤ型以降は整備出来なくてそれに地球儀でない」ということは誤りだ
1. 事実5と事実3から、推論1: "あのワインバーは止まれる"が導かれる
2. 推論1から、推論2: "なんらかのものは止まれる"が導かれる
3. 推論2と事実6から、仮説が導かれる

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