この当艦はストーマ閉鎖後である
fact1: もしなにかはロイヤルソブリンであるしさらに構え易いならその検査前は手厚い fact2: この当艦は病原菌だ fact3: 仮にロイヤルソブリンはストーマ閉鎖後であるとすると「あの根拠法規は構え易い」ということは正しい fact4: 「程無い」ものはある fact5: あの根拠法規は構え易い fact6: 働き易い物はある fact7: 「手厚い」ものはある fact8: この当艦は手厚い fact9: この生酒は語り尽くすし尻込みする fact10: ロイヤルソブリンは手厚いならば「その検査前はストーマ閉鎖後である」ということは確かだ fact11: 仮に手厚いものがストーマ閉鎖後であるとしたらあの根拠法規はロイヤルソブリンだ fact12: 「考え難い」物はある fact13: なにかはランデブーである fact14: もしもその検査前が手厚いとするとこの当艦はストーマ閉鎖後だ fact15: あの根拠法規はロイヤルソブリンである fact16: もし仮にあの根拠法規がストーマ閉鎖後であるとすればこの当艦は構え易い fact17: 「あの根拠法規はストーマ閉鎖後だ」ということは確かであるならこの当艦はロイヤルソブリンである fact18: 「「戒名だ」ということは本当な」ものはある fact19: 「手厚いし構え易い」ものはある fact20: なにがしかのものはストーマ閉鎖後である fact21: あの農協女性部はロイヤルソブリンである fact22: その検査前は進撃するしその上フス派戦争だ fact23: 「この当艦は構え易い」ということは成り立つ fact24: 「理事である」物はある
fact15 & fact5 -> int1: あの根拠法規はロイヤルソブリンであるしそれに構え易い; int1 -> int2: 構え易いロイヤルソブリンはある; int2 & fact1 -> int3: その検査前は手厚い; int3 & fact14 -> hypothesis;
$facts$ = fact1: もしなにかはロイヤルソブリンであるしさらに構え易いならその検査前は手厚い fact2: この当艦は病原菌だ fact3: 仮にロイヤルソブリンはストーマ閉鎖後であるとすると「あの根拠法規は構え易い」ということは正しい fact4: 「程無い」ものはある fact5: あの根拠法規は構え易い fact6: 働き易い物はある fact7: 「手厚い」ものはある fact8: この当艦は手厚い fact9: この生酒は語り尽くすし尻込みする fact10: ロイヤルソブリンは手厚いならば「その検査前はストーマ閉鎖後である」ということは確かだ fact11: 仮に手厚いものがストーマ閉鎖後であるとしたらあの根拠法規はロイヤルソブリンだ fact12: 「考え難い」物はある fact13: なにかはランデブーである fact14: もしもその検査前が手厚いとするとこの当艦はストーマ閉鎖後だ fact15: あの根拠法規はロイヤルソブリンである fact16: もし仮にあの根拠法規がストーマ閉鎖後であるとすればこの当艦は構え易い fact17: 「あの根拠法規はストーマ閉鎖後だ」ということは確かであるならこの当艦はロイヤルソブリンである fact18: 「「戒名だ」ということは本当な」ものはある fact19: 「手厚いし構え易い」ものはある fact20: なにがしかのものはストーマ閉鎖後である fact21: あの農協女性部はロイヤルソブリンである fact22: その検査前は進撃するしその上フス派戦争だ fact23: 「この当艦は構え易い」ということは成り立つ fact24: 「理事である」物はある ; $hypothesis$ = この当艦はストーマ閉鎖後である ; $proof$ = 
fact15 & fact5 -> int1: あの根拠法規はロイヤルソブリンであるしそれに構え易い; int1 -> int2: 構え易いロイヤルソブリンはある; int2 & fact1 -> int3: その検査前は手厚い; int3 & fact14 -> hypothesis; __PROVED__
事実1: もしなにかはロイヤルソブリンであるしさらに構え易いならその検査前は手厚い
事実2: この当艦は病原菌だ
事実3: 仮にロイヤルソブリンはストーマ閉鎖後であるとすると「あの根拠法規は構え易い」ということは正しい
事実4: 「程無い」ものはある
事実5: あの根拠法規は構え易い
事実6: 働き易い物はある
事実7: 「手厚い」ものはある
事実8: この当艦は手厚い
事実9: この生酒は語り尽くすし尻込みする
事実10: ロイヤルソブリンは手厚いならば「その検査前はストーマ閉鎖後である」ということは確かだ
事実11: 仮に手厚いものがストーマ閉鎖後であるとしたらあの根拠法規はロイヤルソブリンだ
事実12: 「考え難い」物はある
事実13: なにかはランデブーである
事実14: もしもその検査前が手厚いとするとこの当艦はストーマ閉鎖後だ
事実15: あの根拠法規はロイヤルソブリンである
事実16: もし仮にあの根拠法規がストーマ閉鎖後であるとすればこの当艦は構え易い
事実17: 「あの根拠法規はストーマ閉鎖後だ」ということは確かであるならこの当艦はロイヤルソブリンである
事実18: 「「戒名だ」ということは本当な」ものはある
事実19: 「手厚いし構え易い」ものはある
事実20: なにがしかのものはストーマ閉鎖後である
事実21: あの農協女性部はロイヤルソブリンである
事実22: その検査前は進撃するしその上フス派戦争だ
事実23: 「この当艦は構え易い」ということは成り立つ
事実24: 「理事である」物はある

仮説: この当艦はストーマ閉鎖後である
1. 事実15と事実5から、推論1: "あの根拠法規はロイヤルソブリンであるしそれに構え易い"が導かれる
2. 推論1から、推論2: "構え易いロイヤルソブリンはある"が導かれる
3. 推論2と事実1から、推論3: "その検査前は手厚い"が導かれる
4. 推論3と事実14から、仮説が導かれる

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