もしも「その港湾施設は優し」ということは成り立てばこのオリーブ畑はベリリウムだ
fact1: 「「中佐だし御蹴る」ということは事実な」ものはある fact2: もしあの腹腔内投与が中佐であるとしたらそのパーティションサイズは中佐であるということはないけれど御蹴る fact3: あの腹腔内投与は優し fact4: 「あの腹腔内投与はベリリウムであるということはないけれどそれは回収出来る」ということは真実でない fact5: そのパーティションサイズはベリリウムである fact6: 「とある物は中佐でないけどそれは御蹴る」ということは真実ならばあのオリーブ畑はベリリウムだ fact7: なにかは中佐でない fact8: そのジレンマは中佐である fact9: もしその港湾施設が優しならばあの腹腔内投与は中佐だ fact10: あの腹腔内投与が中佐だとすればそのパーティションサイズは御蹴る fact11: とある物が優しないけど御蹴るならばあの港湾施設は中佐である fact12: そのパーティションサイズは御蹴る fact13: その港湾施設はトップダウンでない一方でベリリウムだ fact14: 何かは限り無しない fact15: 「御蹴る」ものはある fact16: この同志社は御蹴る fact17: そのパーティションサイズがベリリウムだとするとこのオリーブ畑は御蹴る fact18: このオリーブ畑はベリリウムでないがしかし中佐である fact19: もしもそのパーティションサイズが優しとするとその港湾施設は優しないがそれは御蹴る
void -> assump1: 以下のように仮定する。その港湾施設は優し; fact9 & assump1 -> int1: あの腹腔内投与は中佐である; int1 & fact2 -> int2: そのパーティションサイズは中佐であるということはないけど御蹴る; int2 -> int3: あるものは中佐でないがそれは御蹴る; int3 & fact6 -> int4: このオリーブ畑はベリリウムだ; [assump1] & int4 -> hypothesis;
なんらかの物は回収出来ないけれどそれは子形である
fact20 -> int5: 「「ベリリウムでないし回収出来る」ということは正しくない」ものはある;
$facts$ = fact1: 「「中佐だし御蹴る」ということは事実な」ものはある fact2: もしあの腹腔内投与が中佐であるとしたらそのパーティションサイズは中佐であるということはないけれど御蹴る fact3: あの腹腔内投与は優し fact4: 「あの腹腔内投与はベリリウムであるということはないけれどそれは回収出来る」ということは真実でない fact5: そのパーティションサイズはベリリウムである fact6: 「とある物は中佐でないけどそれは御蹴る」ということは真実ならばあのオリーブ畑はベリリウムだ fact7: なにかは中佐でない fact8: そのジレンマは中佐である fact9: もしその港湾施設が優しならばあの腹腔内投与は中佐だ fact10: あの腹腔内投与が中佐だとすればそのパーティションサイズは御蹴る fact11: とある物が優しないけど御蹴るならばあの港湾施設は中佐である fact12: そのパーティションサイズは御蹴る fact13: その港湾施設はトップダウンでない一方でベリリウムだ fact14: 何かは限り無しない fact15: 「御蹴る」ものはある fact16: この同志社は御蹴る fact17: そのパーティションサイズがベリリウムだとするとこのオリーブ畑は御蹴る fact18: このオリーブ畑はベリリウムでないがしかし中佐である fact19: もしもそのパーティションサイズが優しとするとその港湾施設は優しないがそれは御蹴る ; $hypothesis$ = もしも「その港湾施設は優し」ということは成り立てばこのオリーブ畑はベリリウムだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その港湾施設は優し; fact9 & assump1 -> int1: あの腹腔内投与は中佐である; int1 & fact2 -> int2: そのパーティションサイズは中佐であるということはないけど御蹴る; int2 -> int3: あるものは中佐でないがそれは御蹴る; int3 & fact6 -> int4: このオリーブ畑はベリリウムだ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「「中佐だし御蹴る」ということは事実な」ものはある
事実2: もしあの腹腔内投与が中佐であるとしたらそのパーティションサイズは中佐であるということはないけれど御蹴る
事実3: あの腹腔内投与は優し
事実4: 「あの腹腔内投与はベリリウムであるということはないけれどそれは回収出来る」ということは真実でない
事実5: そのパーティションサイズはベリリウムである
事実6: 「とある物は中佐でないけどそれは御蹴る」ということは真実ならばあのオリーブ畑はベリリウムだ
事実7: なにかは中佐でない
事実8: そのジレンマは中佐である
事実9: もしその港湾施設が優しならばあの腹腔内投与は中佐だ
事実10: あの腹腔内投与が中佐だとすればそのパーティションサイズは御蹴る
事実11: とある物が優しないけど御蹴るならばあの港湾施設は中佐である
事実12: そのパーティションサイズは御蹴る
事実13: その港湾施設はトップダウンでない一方でベリリウムだ
事実14: 何かは限り無しない
事実15: 「御蹴る」ものはある
事実16: この同志社は御蹴る
事実17: そのパーティションサイズがベリリウムだとするとこのオリーブ畑は御蹴る
事実18: このオリーブ畑はベリリウムでないがしかし中佐である
事実19: もしもそのパーティションサイズが優しとするとその港湾施設は優しないがそれは御蹴る

仮説: もしも「その港湾施設は優し」ということは成り立てばこのオリーブ畑はベリリウムだ
1. 仮定1: 以下のように仮定する。その港湾施設は優し
2. 事実9と仮定1から、推論1: "あの腹腔内投与は中佐である"が導かれる
3. 推論1と事実2から、推論2: "そのパーティションサイズは中佐であるということはないけど御蹴る"が導かれる
4. 推論2から、推論3: "あるものは中佐でないがそれは御蹴る"が導かれる
5. 推論3と事実6から、推論4: "このオリーブ畑はベリリウムだ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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