この万国共通は世界大百科事典でない
fact1: もし「その日雇いは古代米であるかもしくはスババーバであるか両方である」ということは成り立たないとしたら「この万国共通は世界大百科事典でない」ということは確かである fact2: 仮に「集まる」ものはあるとすると「この鉄鎖はスババーバでない」ということは真実である fact3: 「吐き出せらないが集まる」ということは誤っているということはないというものはない fact4: もし仮に「吐き出せる」物があるとするとあのＩＴＶはえぐくない fact5: もし「吐き出せる」ものがあるとすればあの鉄鎖は古代米でない fact6: その肌襦袢はスババーバでない fact7: 吐き出せるしそれにそれは集まるというものはない fact8: 仮に「「吐き出せらなくて集まる」ということは間違っている」ものがあるとしたらあのＩＴＶはえぐくない fact9: 「世界大百科事典でない」物があるとしたらこの万国共通は吐き出せるということはない fact10: 仮に「「えぐくない」ということは本当である」物はあるとすると「その日雇いは古代米であるかまたはスババーバであるかもしくはどちらもである」ということは誤りだ
fact3 -> int1: 「「この鉄鎖は吐き出せるということはないがそれは集まる」ということは成り立つ」ということは誤りである; int1 -> int2: 「「吐き出せらない一方で集まる」ということは間違いである」物はある; int2 & fact8 -> int3: あのＩＴＶはえぐくない; int3 -> int4: 何らかのものはえぐくない; int4 & fact10 -> int5: 「その日雇いは古代米であるかあるいはそれはスババーバであるか両方である」ということは成り立たない; int5 & fact1 -> hypothesis;
$facts$ = fact1: もし「その日雇いは古代米であるかもしくはスババーバであるか両方である」ということは成り立たないとしたら「この万国共通は世界大百科事典でない」ということは確かである fact2: 仮に「集まる」ものはあるとすると「この鉄鎖はスババーバでない」ということは真実である fact3: 「吐き出せらないが集まる」ということは誤っているということはないというものはない fact4: もし仮に「吐き出せる」物があるとするとあのＩＴＶはえぐくない fact5: もし「吐き出せる」ものがあるとすればあの鉄鎖は古代米でない fact6: その肌襦袢はスババーバでない fact7: 吐き出せるしそれにそれは集まるというものはない fact8: 仮に「「吐き出せらなくて集まる」ということは間違っている」ものがあるとしたらあのＩＴＶはえぐくない fact9: 「世界大百科事典でない」物があるとしたらこの万国共通は吐き出せるということはない fact10: 仮に「「えぐくない」ということは本当である」物はあるとすると「その日雇いは古代米であるかまたはスババーバであるかもしくはどちらもである」ということは誤りだ ; $hypothesis$ = この万国共通は世界大百科事典でない ; $proof$ = 
fact3 -> int1: 「「この鉄鎖は吐き出せるということはないがそれは集まる」ということは成り立つ」ということは誤りである; int1 -> int2: 「「吐き出せらない一方で集まる」ということは間違いである」物はある; int2 & fact8 -> int3: あのＩＴＶはえぐくない; int3 -> int4: 何らかのものはえぐくない; int4 & fact10 -> int5: 「その日雇いは古代米であるかあるいはそれはスババーバであるか両方である」ということは成り立たない; int5 & fact1 -> hypothesis; __PROVED__
事実1: もし「その日雇いは古代米であるかもしくはスババーバであるか両方である」ということは成り立たないとしたら「この万国共通は世界大百科事典でない」ということは確かである
事実2: 仮に「集まる」ものはあるとすると「この鉄鎖はスババーバでない」ということは真実である
事実3: 「吐き出せらないが集まる」ということは誤っているということはないというものはない
事実4: もし仮に「吐き出せる」物があるとするとあのＩＴＶはえぐくない
事実5: もし「吐き出せる」ものがあるとすればあの鉄鎖は古代米でない
事実6: その肌襦袢はスババーバでない
事実7: 吐き出せるしそれにそれは集まるというものはない
事実8: 仮に「「吐き出せらなくて集まる」ということは間違っている」ものがあるとしたらあのＩＴＶはえぐくない
事実9: 「世界大百科事典でない」物があるとしたらこの万国共通は吐き出せるということはない
事実10: 仮に「「えぐくない」ということは本当である」物はあるとすると「その日雇いは古代米であるかまたはスババーバであるかもしくはどちらもである」ということは誤りだ

仮説: この万国共通は世界大百科事典でない
1. 事実3から、推論1: "「「この鉄鎖は吐き出せるということはないがそれは集まる」ということは成り立つ」ということは誤りである"が導かれる
2. 推論1から、推論2: "「「吐き出せらない一方で集まる」ということは間違いである」物はある"が導かれる
3. 推論2と事実8から、推論3: "あのＩＴＶはえぐくない"が導かれる
4. 推論3から、推論4: "何らかのものはえぐくない"が導かれる
5. 推論4と事実10から、推論5: "「その日雇いは古代米であるかあるいはそれはスババーバであるか両方である」ということは成り立たない"が導かれる
6. 推論5と事実1から、仮説が導かれる

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