この政府間パネルは認識理論であるかもしくは打つかあるいは両方ともである
fact1: あの時間限定は打つ fact2: 仮にその公衆電話が私らしいとすればあの政府間パネルは私らしい fact3: この政府間パネルはしょぼい fact4: もしその公衆電話が打つとしたらこの政府間パネルは権利だ fact5: 「その公衆電話は発揮し易くないがしかし倅である」ということは間違いだとしたら「私らしい」ということは成り立つ fact6: 仮に何らかのものは葡萄棚でないかまたは権利でないかまたは両方ともであるとしたらそれは権利でない fact7: この政府間パネルは認識理論であるかもしくは権利であるかもしくはどちらもだ fact8: その公衆電話は権利である fact9: もしもなにかは権利でないとすると「それは認識理論であるかもしくはそれは打つかまたは両方ともだ」ということは偽だ fact10: 「この山々は打つ」ということは事実である fact11: もしもその公衆電話が権利であるならこの政府間パネルは認識理論である fact12: 私らしいものは葡萄棚でないかまたは権利でないか両方ともだ fact13: この政府間パネルは蓄積され易い
fact11 & fact8 -> int1: 「この政府間パネルは認識理論だ」ということは真実だ; int1 -> hypothesis;
「この政府間パネルは認識理論であるかまたは打つかあるいはどちらもである」ということは間違っている
fact15 -> int2: もしもこの政府間パネルは権利でないならば「認識理論であるか打つかあるいはどちらもだ」ということは偽である; fact14 -> int3: もしこの政府間パネルは葡萄棚でないか権利でないかまたは両方ともならそれは権利だということはない; fact18 -> int4: もしこの政府間パネルが私らしいとすればそれは葡萄棚でないかあるいはそれは権利でない;
$facts$ = fact1: あの時間限定は打つ fact2: 仮にその公衆電話が私らしいとすればあの政府間パネルは私らしい fact3: この政府間パネルはしょぼい fact4: もしその公衆電話が打つとしたらこの政府間パネルは権利だ fact5: 「その公衆電話は発揮し易くないがしかし倅である」ということは間違いだとしたら「私らしい」ということは成り立つ fact6: 仮に何らかのものは葡萄棚でないかまたは権利でないかまたは両方ともであるとしたらそれは権利でない fact7: この政府間パネルは認識理論であるかもしくは権利であるかもしくはどちらもだ fact8: その公衆電話は権利である fact9: もしもなにかは権利でないとすると「それは認識理論であるかもしくはそれは打つかまたは両方ともだ」ということは偽だ fact10: 「この山々は打つ」ということは事実である fact11: もしもその公衆電話が権利であるならこの政府間パネルは認識理論である fact12: 私らしいものは葡萄棚でないかまたは権利でないか両方ともだ fact13: この政府間パネルは蓄積され易い ; $hypothesis$ = この政府間パネルは認識理論であるかもしくは打つかあるいは両方ともである ; $proof$ = 
fact11 & fact8 -> int1: 「この政府間パネルは認識理論だ」ということは真実だ; int1 -> hypothesis; __PROVED__
事実1: あの時間限定は打つ
事実2: 仮にその公衆電話が私らしいとすればあの政府間パネルは私らしい
事実3: この政府間パネルはしょぼい
事実4: もしその公衆電話が打つとしたらこの政府間パネルは権利だ
事実5: 「その公衆電話は発揮し易くないがしかし倅である」ということは間違いだとしたら「私らしい」ということは成り立つ
事実6: 仮に何らかのものは葡萄棚でないかまたは権利でないかまたは両方ともであるとしたらそれは権利でない
事実7: この政府間パネルは認識理論であるかもしくは権利であるかもしくはどちらもだ
事実8: その公衆電話は権利である
事実9: もしもなにかは権利でないとすると「それは認識理論であるかもしくはそれは打つかまたは両方ともだ」ということは偽だ
事実10: 「この山々は打つ」ということは事実である
事実11: もしもその公衆電話が権利であるならこの政府間パネルは認識理論である
事実12: 私らしいものは葡萄棚でないかまたは権利でないか両方ともだ
事実13: この政府間パネルは蓄積され易い

仮説: この政府間パネルは認識理論であるかもしくは打つかあるいは両方ともである
1. 事実11と事実8から、推論1: "「この政府間パネルは認識理論だ」ということは真実だ"が導かれる
2. 推論1から、仮説が導かれる

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