この仏身は御待ち為さる
fact1: この仏身は植え継ぐ fact2: 仮にこの仏身が狡いとすればあの核軍拡は御待ち為さる fact3: ある物は色っぽくないならば「この仏身は色っぽいしそれにそれは狡い」ということは誤っている fact4: あらゆるものは甲高くない fact5: この核軍拡が狡いとするとそのリュ・サン＝タントワーヌは御待ち為さる fact6: あの保存画面は狡い fact7: 「この核軍拡は御待ち為さる」ということは本当である fact8: 「この核軍拡は叙す」ということは本当である fact9: この核軍拡は狡い fact10: この仏身は近い fact11: もしもこの核軍拡が御待ち為さるならこの仏身は狡い fact12: この核軍拡は目覚ましい fact13: 全ての物は厭わしくなくてそれは専売法でない fact14: この二十世紀以前はコンパイルだがそれは生々しかない fact15: この仏身は狡い fact16: もしもこの二十世紀以前は甲高くないし更に厭わしくないとしたら崩れ易い fact17: この核軍拡が狡いならばこの仏身は御待ち為さる fact18: もし仮にこの核軍拡が狡いとしたらそのダイエット中は御待ち為さる fact19: もしもこの仏身が狡いとすればあの四十パーセント以上は御待ち為さる
fact17 & fact9 -> hypothesis;
「この仏身は御待ち為さるということはない」ということは間違っていない
fact23 -> int1: この二十世紀以前はコンパイルだ; fact22 -> int2: その扱われ方は厭わしいということはないしそれは専売法でない; int2 -> int3: その扱われ方は厭わしくない; int3 -> int4: 「全ては厭わしくない」ということは成り立つ; int4 -> int5: その改正等は厭わしくない; fact24 -> int6: 「その改正等は甲高くない」ということは本当だ; int5 & int6 -> int7: その改正等は甲高くなくてかつそれは厭わしくない; int7 -> int8: 全てのものは甲高くないし厭わしくない; int8 -> int9: この二十世紀以前は甲高くなくておまけに厭わしくない; fact21 & int9 -> int10: この二十世紀以前は崩れ易い; int1 & int10 -> int11: この二十世紀以前はコンパイルだし加えて崩れ易い;
$facts$ = fact1: この仏身は植え継ぐ fact2: 仮にこの仏身が狡いとすればあの核軍拡は御待ち為さる fact3: ある物は色っぽくないならば「この仏身は色っぽいしそれにそれは狡い」ということは誤っている fact4: あらゆるものは甲高くない fact5: この核軍拡が狡いとするとそのリュ・サン＝タントワーヌは御待ち為さる fact6: あの保存画面は狡い fact7: 「この核軍拡は御待ち為さる」ということは本当である fact8: 「この核軍拡は叙す」ということは本当である fact9: この核軍拡は狡い fact10: この仏身は近い fact11: もしもこの核軍拡が御待ち為さるならこの仏身は狡い fact12: この核軍拡は目覚ましい fact13: 全ての物は厭わしくなくてそれは専売法でない fact14: この二十世紀以前はコンパイルだがそれは生々しかない fact15: この仏身は狡い fact16: もしもこの二十世紀以前は甲高くないし更に厭わしくないとしたら崩れ易い fact17: この核軍拡が狡いならばこの仏身は御待ち為さる fact18: もし仮にこの核軍拡が狡いとしたらそのダイエット中は御待ち為さる fact19: もしもこの仏身が狡いとすればあの四十パーセント以上は御待ち為さる ; $hypothesis$ = この仏身は御待ち為さる ; $proof$ = 
fact17 & fact9 -> hypothesis; __PROVED__
事実1: この仏身は植え継ぐ
事実2: 仮にこの仏身が狡いとすればあの核軍拡は御待ち為さる
事実3: ある物は色っぽくないならば「この仏身は色っぽいしそれにそれは狡い」ということは誤っている
事実4: あらゆるものは甲高くない
事実5: この核軍拡が狡いとするとそのリュ・サン＝タントワーヌは御待ち為さる
事実6: あの保存画面は狡い
事実7: 「この核軍拡は御待ち為さる」ということは本当である
事実8: 「この核軍拡は叙す」ということは本当である
事実9: この核軍拡は狡い
事実10: この仏身は近い
事実11: もしもこの核軍拡が御待ち為さるならこの仏身は狡い
事実12: この核軍拡は目覚ましい
事実13: 全ての物は厭わしくなくてそれは専売法でない
事実14: この二十世紀以前はコンパイルだがそれは生々しかない
事実15: この仏身は狡い
事実16: もしもこの二十世紀以前は甲高くないし更に厭わしくないとしたら崩れ易い
事実17: この核軍拡が狡いならばこの仏身は御待ち為さる
事実18: もし仮にこの核軍拡が狡いとしたらそのダイエット中は御待ち為さる
事実19: もしもこの仏身が狡いとすればあの四十パーセント以上は御待ち為さる

仮説: この仏身は御待ち為さる
1. 事実17と事実9から、仮説が導かれる

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