その名目的は三十四ページ参照だ
fact1: その名目的は四角い fact2: もし仮になにがしかの物が排膿でないしそれが参加すらないならばこのバイキングはＴＶドラマでない fact3: もし何らかの物はＴＶドラマでないなら「それは茘枝であるかあるいは育て易いかもしくは両方ともだ」ということは誤りでない fact4: 仮にその名目的は四角いなら「それは抜け易いということはない一方できったない」ということは成り立たない fact5: もしもとあるものは三十四ページ参照だということはないならば「それは急角度でないが画一化する」ということは成り立たない fact6: その名目的は抜け易くない fact7: 「その名目的は抜け易いししかもきったない」ということは間違いである fact8: もし仮にその名目的は三十四ページ参照でないとしたら抜け易いということはない fact9: 「排膿でなくて参加すらない」ものはある fact10: 「その名目的は三十四ページ参照でない」ということは事実だとすれば抜け易くないけどきったない
void -> assump1: 以下のように仮定する。その名目的は三十四ページ参照でない; fact10 & assump1 -> int1: その名目的は抜け易くない一方できったない; fact1 & fact4 -> int2: 「その名目的は抜け易いということはないがしかしきったない」ということは誤りである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「あの石壁は急角度でないがしかし画一化する」ということは成り立たない
fact13 -> int4: もしあの石壁は三十四ページ参照でないとすると「急角度でないがしかし画一化する」ということは成り立たない; fact12 -> int5: もしもこのバイキングがＴＶドラマでないとすれば茘枝であるかもしくは育て易い; fact11 & fact14 -> int6: 「このバイキングはＴＶドラマでない」ということは確かだ; int5 & int6 -> int7: このバイキングは茘枝であるかあるいは育て易いかどちらもである;
$facts$ = fact1: その名目的は四角い fact2: もし仮になにがしかの物が排膿でないしそれが参加すらないならばこのバイキングはＴＶドラマでない fact3: もし何らかの物はＴＶドラマでないなら「それは茘枝であるかあるいは育て易いかもしくは両方ともだ」ということは誤りでない fact4: 仮にその名目的は四角いなら「それは抜け易いということはない一方できったない」ということは成り立たない fact5: もしもとあるものは三十四ページ参照だということはないならば「それは急角度でないが画一化する」ということは成り立たない fact6: その名目的は抜け易くない fact7: 「その名目的は抜け易いししかもきったない」ということは間違いである fact8: もし仮にその名目的は三十四ページ参照でないとしたら抜け易いということはない fact9: 「排膿でなくて参加すらない」ものはある fact10: 「その名目的は三十四ページ参照でない」ということは事実だとすれば抜け易くないけどきったない ; $hypothesis$ = その名目的は三十四ページ参照だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その名目的は三十四ページ参照でない; fact10 & assump1 -> int1: その名目的は抜け易くない一方できったない; fact1 & fact4 -> int2: 「その名目的は抜け易いということはないがしかしきったない」ということは誤りである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その名目的は四角い
事実2: もし仮になにがしかの物が排膿でないしそれが参加すらないならばこのバイキングはＴＶドラマでない
事実3: もし何らかの物はＴＶドラマでないなら「それは茘枝であるかあるいは育て易いかもしくは両方ともだ」ということは誤りでない
事実4: 仮にその名目的は四角いなら「それは抜け易いということはない一方できったない」ということは成り立たない
事実5: もしもとあるものは三十四ページ参照だということはないならば「それは急角度でないが画一化する」ということは成り立たない
事実6: その名目的は抜け易くない
事実7: 「その名目的は抜け易いししかもきったない」ということは間違いである
事実8: もし仮にその名目的は三十四ページ参照でないとしたら抜け易いということはない
事実9: 「排膿でなくて参加すらない」ものはある
事実10: 「その名目的は三十四ページ参照でない」ということは事実だとすれば抜け易くないけどきったない

仮説: その名目的は三十四ページ参照だ
1. 仮定1: 以下のように仮定する。その名目的は三十四ページ参照でない
2. 事実10と仮定1から、推論1: "その名目的は抜け易くない一方できったない"が導かれる
3. 事実1と事実4から、推論2: "「その名目的は抜け易いということはないがしかしきったない」ということは誤りである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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