「その特異抗体は一株純資産であるかあるいはそれは持ち寄るかもしくはどちらもである」ということは事実だ
fact1: もしも「その特異抗体は小龍包みだ」ということは正しいとするとこの百人分は一株純資産だ fact2: この元服式は一株純資産である fact3: 仮にその新生児が支障無いならこの百人分は支障無い fact4: もしこの百人分が小龍包みであるとしたらその特異抗体は一株純資産だ fact5: この百人分が支障無いならそれは点滴ルートでないしそれは頑是無くない fact6: 何かは打ち易くないがしかし小龍包みであるとしたら「持ち寄る」ということは確かだ fact7: もしこの茶飯が支障無いがそれがいとおしいということはないならば輝かしくない fact8: この茶飯は支障無いけれどそれはいとおしくない fact9: もし仮に何らかのものが点滴ルートでないとすると喚起するしまたそれは頑是無い fact10: もし仮に「その大腸手術は白い」ということは成り立てばこの茶飯は点滴ルートだ fact11: この百人分は小龍包みであるかあるいは打ち易い fact12: もし何かは喚起すれば一株純資産だ fact13: 頑是無くないものは喚起するしおまけに得易い fact14: この百人分は小龍包みでないとすれば「「その特異抗体は一株純資産であるかもしくはそれは持ち寄るかどちらもだ」ということは成り立つ」ということは間違いだ fact15: もし「その新生児は得易くない一方で打ち易い」ということは成り立たないならこの百人分は打ち易くない fact16: 仮にこの百人分は打ち易いなら「その特異抗体は一株純資産である」ということは確かである fact17: その特異抗体は持ち寄るかあるいは打ち易いかあるいはどちらもだ fact18: もし仮にこの茶飯が輝かしくないけれど点滴ルートならばあの新生児は点滴ルートでない fact19: もしこの百人分が一株純資産であるとするとこの脚絆は打ち易くない一方で小龍包みである fact20: もしその特異抗体が打ち易いならばあの百人分は一株純資産である fact21: もし仮に「あるものは喚起する」ということは確かだとすると「得易くないけど打ち易い」ということは事実と異なる
fact11 & fact4 & fact16 -> int1: その特異抗体は一株純資産である; int1 -> hypothesis;
「「その特異抗体は一株純資産であるかあるいはそれは持ち寄るかあるいは両方ともだ」ということは事実である」ということは成り立たない
fact26 -> int2: もしその新生児は喚起するとしたら「得易くないけど打ち易い」ということは間違っている; fact23 -> int3: その新生児は点滴ルートでないとしたらそれは喚起するし更に頑是無い; fact24 & fact28 -> int4: 「この茶飯は輝かしくない」ということは真実だ;
$facts$ = fact1: もしも「その特異抗体は小龍包みだ」ということは正しいとするとこの百人分は一株純資産だ fact2: この元服式は一株純資産である fact3: 仮にその新生児が支障無いならこの百人分は支障無い fact4: もしこの百人分が小龍包みであるとしたらその特異抗体は一株純資産だ fact5: この百人分が支障無いならそれは点滴ルートでないしそれは頑是無くない fact6: 何かは打ち易くないがしかし小龍包みであるとしたら「持ち寄る」ということは確かだ fact7: もしこの茶飯が支障無いがそれがいとおしいということはないならば輝かしくない fact8: この茶飯は支障無いけれどそれはいとおしくない fact9: もし仮に何らかのものが点滴ルートでないとすると喚起するしまたそれは頑是無い fact10: もし仮に「その大腸手術は白い」ということは成り立てばこの茶飯は点滴ルートだ fact11: この百人分は小龍包みであるかあるいは打ち易い fact12: もし何かは喚起すれば一株純資産だ fact13: 頑是無くないものは喚起するしおまけに得易い fact14: この百人分は小龍包みでないとすれば「「その特異抗体は一株純資産であるかもしくはそれは持ち寄るかどちらもだ」ということは成り立つ」ということは間違いだ fact15: もし「その新生児は得易くない一方で打ち易い」ということは成り立たないならこの百人分は打ち易くない fact16: 仮にこの百人分は打ち易いなら「その特異抗体は一株純資産である」ということは確かである fact17: その特異抗体は持ち寄るかあるいは打ち易いかあるいはどちらもだ fact18: もし仮にこの茶飯が輝かしくないけれど点滴ルートならばあの新生児は点滴ルートでない fact19: もしこの百人分が一株純資産であるとするとこの脚絆は打ち易くない一方で小龍包みである fact20: もしその特異抗体が打ち易いならばあの百人分は一株純資産である fact21: もし仮に「あるものは喚起する」ということは確かだとすると「得易くないけど打ち易い」ということは事実と異なる ; $hypothesis$ = 「その特異抗体は一株純資産であるかあるいはそれは持ち寄るかもしくはどちらもである」ということは事実だ ; $proof$ = 
fact11 & fact4 & fact16 -> int1: その特異抗体は一株純資産である; int1 -> hypothesis; __PROVED__
事実1: もしも「その特異抗体は小龍包みだ」ということは正しいとするとこの百人分は一株純資産だ
事実2: この元服式は一株純資産である
事実3: 仮にその新生児が支障無いならこの百人分は支障無い
事実4: もしこの百人分が小龍包みであるとしたらその特異抗体は一株純資産だ
事実5: この百人分が支障無いならそれは点滴ルートでないしそれは頑是無くない
事実6: 何かは打ち易くないがしかし小龍包みであるとしたら「持ち寄る」ということは確かだ
事実7: もしこの茶飯が支障無いがそれがいとおしいということはないならば輝かしくない
事実8: この茶飯は支障無いけれどそれはいとおしくない
事実9: もし仮に何らかのものが点滴ルートでないとすると喚起するしまたそれは頑是無い
事実10: もし仮に「その大腸手術は白い」ということは成り立てばこの茶飯は点滴ルートだ
事実11: この百人分は小龍包みであるかあるいは打ち易い
事実12: もし何かは喚起すれば一株純資産だ
事実13: 頑是無くないものは喚起するしおまけに得易い
事実14: この百人分は小龍包みでないとすれば「「その特異抗体は一株純資産であるかもしくはそれは持ち寄るかどちらもだ」ということは成り立つ」ということは間違いだ
事実15: もし「その新生児は得易くない一方で打ち易い」ということは成り立たないならこの百人分は打ち易くない
事実16: 仮にこの百人分は打ち易いなら「その特異抗体は一株純資産である」ということは確かである
事実17: その特異抗体は持ち寄るかあるいは打ち易いかあるいはどちらもだ
事実18: もし仮にこの茶飯が輝かしくないけれど点滴ルートならばあの新生児は点滴ルートでない
事実19: もしこの百人分が一株純資産であるとするとこの脚絆は打ち易くない一方で小龍包みである
事実20: もしその特異抗体が打ち易いならばあの百人分は一株純資産である
事実21: もし仮に「あるものは喚起する」ということは確かだとすると「得易くないけど打ち易い」ということは事実と異なる

仮説: 「その特異抗体は一株純資産であるかあるいはそれは持ち寄るかもしくはどちらもである」ということは事実だ
1. 事実11と事実4と事実16から、推論1: "その特異抗体は一株純資産である"が導かれる
2. 推論1から、仮説が導かれる

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