このシッピングは末恐ろしい
fact1: 「このシッピングは悪弊だ」ということは事実である fact2: 「この変更前は発進しない」ということは正しい fact3: なんらかの物は末恐ろしい fact4: とある物は末恐ろしくないがしかし悪弊である fact5: 答え難くないし作り易い物はある fact6: このシッピングは苦くないが悪弊である fact7: そのダイアモンド産出は発進する fact8: この変更前は悪弊である fact9: その悪戦苦闘は末恐ろしい fact10: この変更前は学術誌だということはないけど揚繰網である fact11: この騎兵は発進しない fact12: この変更前は末恐ろしい fact13: この変更前は点滴しない fact14: 「あの利他は悪弊である」ということは成り立つ fact15: 仮に「発進しないがしかし悪弊である」物があるとしたらこのシッピングは末恐ろしい fact16: 何かは第一夜でない fact17: この性戯は悪弊である
fact2 & fact8 -> int1: この変更前は発進しないけど悪弊である; int1 -> int2: 何らかのものは発進しないがそれは悪弊だ; int2 & fact15 -> hypothesis;
$facts$ = fact1: 「このシッピングは悪弊だ」ということは事実である fact2: 「この変更前は発進しない」ということは正しい fact3: なんらかの物は末恐ろしい fact4: とある物は末恐ろしくないがしかし悪弊である fact5: 答え難くないし作り易い物はある fact6: このシッピングは苦くないが悪弊である fact7: そのダイアモンド産出は発進する fact8: この変更前は悪弊である fact9: その悪戦苦闘は末恐ろしい fact10: この変更前は学術誌だということはないけど揚繰網である fact11: この騎兵は発進しない fact12: この変更前は末恐ろしい fact13: この変更前は点滴しない fact14: 「あの利他は悪弊である」ということは成り立つ fact15: 仮に「発進しないがしかし悪弊である」物があるとしたらこのシッピングは末恐ろしい fact16: 何かは第一夜でない fact17: この性戯は悪弊である ; $hypothesis$ = このシッピングは末恐ろしい ; $proof$ = 
fact2 & fact8 -> int1: この変更前は発進しないけど悪弊である; int1 -> int2: 何らかのものは発進しないがそれは悪弊だ; int2 & fact15 -> hypothesis; __PROVED__
事実1: 「このシッピングは悪弊だ」ということは事実である
事実2: 「この変更前は発進しない」ということは正しい
事実3: なんらかの物は末恐ろしい
事実4: とある物は末恐ろしくないがしかし悪弊である
事実5: 答え難くないし作り易い物はある
事実6: このシッピングは苦くないが悪弊である
事実7: そのダイアモンド産出は発進する
事実8: この変更前は悪弊である
事実9: その悪戦苦闘は末恐ろしい
事実10: この変更前は学術誌だということはないけど揚繰網である
事実11: この騎兵は発進しない
事実12: この変更前は末恐ろしい
事実13: この変更前は点滴しない
事実14: 「あの利他は悪弊である」ということは成り立つ
事実15: 仮に「発進しないがしかし悪弊である」物があるとしたらこのシッピングは末恐ろしい
事実16: 何かは第一夜でない
事実17: この性戯は悪弊である

仮説: このシッピングは末恐ろしい
1. 事実2と事実8から、推論1: "この変更前は発進しないけど悪弊である"が導かれる
2. 推論1から、推論2: "何らかのものは発進しないがそれは悪弊だ"が導かれる
3. 推論2と事実15から、仮説が導かれる

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