「仮に「厚ぼったくない」ということは確かならば「夢窓国師でないかあるいは会話するということはない」ということは成り立たない」物はある
fact1: もしも何らかの物は弓歩だということはないならば「それは夢窓国師でないかもしくは会話しない」ということは偽である fact2: 厚ぼったくないものは問い始めるがしかし弓歩でない
fact2 -> int1: もし仮に「あの再鑑定時は厚ぼったくない」ということは正しいとしたら問い始めるが弓歩でない; void -> assump1: 以下のように仮定する。あの再鑑定時は厚ぼったくない; int1 & assump1 -> int2: あの再鑑定時は問い始めるけれど弓歩でない; int2 -> int3: あの再鑑定時は弓歩でない; fact1 -> int4: もしあの再鑑定時は弓歩であるということはないとしたら「それは夢窓国師であるということはないかあるいは会話しないかもしくはどちらもである」ということは誤っている; int3 & int4 -> int5: 「あの再鑑定時は夢窓国師だということはないか会話しないかまたは両方ともである」ということは確かでない; [assump1] & int5 -> int6: もしあの再鑑定時は厚ぼったくないならば「それは夢窓国師でないかあるいは会話するということはないかまたは両方である」ということは偽である; int6 -> hypothesis;
$facts$ = fact1: もしも何らかの物は弓歩だということはないならば「それは夢窓国師でないかもしくは会話しない」ということは偽である fact2: 厚ぼったくないものは問い始めるがしかし弓歩でない ; $hypothesis$ = 「仮に「厚ぼったくない」ということは確かならば「夢窓国師でないかあるいは会話するということはない」ということは成り立たない」物はある ; $proof$ = 
fact2 -> int1: もし仮に「あの再鑑定時は厚ぼったくない」ということは正しいとしたら問い始めるが弓歩でない; void -> assump1: 以下のように仮定する。あの再鑑定時は厚ぼったくない; int1 & assump1 -> int2: あの再鑑定時は問い始めるけれど弓歩でない; int2 -> int3: あの再鑑定時は弓歩でない; fact1 -> int4: もしあの再鑑定時は弓歩であるということはないとしたら「それは夢窓国師であるということはないかあるいは会話しないかもしくはどちらもである」ということは誤っている; int3 & int4 -> int5: 「あの再鑑定時は夢窓国師だということはないか会話しないかまたは両方ともである」ということは確かでない; [assump1] & int5 -> int6: もしあの再鑑定時は厚ぼったくないならば「それは夢窓国師でないかあるいは会話するということはないかまたは両方である」ということは偽である; int6 -> hypothesis; __PROVED__
事実1: もしも何らかの物は弓歩だということはないならば「それは夢窓国師でないかもしくは会話しない」ということは偽である
事実2: 厚ぼったくないものは問い始めるがしかし弓歩でない

仮説: 「仮に「厚ぼったくない」ということは確かならば「夢窓国師でないかあるいは会話するということはない」ということは成り立たない」物はある
1. 事実2から、推論1: "もし仮に「あの再鑑定時は厚ぼったくない」ということは正しいとしたら問い始めるが弓歩でない"が導かれる
2. 仮定1: 以下のように仮定する。あの再鑑定時は厚ぼったくない
3. 推論1と仮定1から、推論2: "あの再鑑定時は問い始めるけれど弓歩でない"が導かれる
4. 推論2から、推論3: "あの再鑑定時は弓歩でない"が導かれる
5. 事実1から、推論4: "もしあの再鑑定時は弓歩であるということはないとしたら「それは夢窓国師であるということはないかあるいは会話しないかもしくはどちらもである」ということは誤っている"が導かれる
6. 推論3と推論4から、推論5: "「あの再鑑定時は夢窓国師だということはないか会話しないかまたは両方ともである」ということは確かでない"が導かれる
7. [仮定1]と推論5から、推論6: "もしあの再鑑定時は厚ぼったくないならば「それは夢窓国師でないかあるいは会話するということはないかまたは両方である」ということは偽である"が導かれる
8. 推論6から、仮説が導かれる

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