「もし文部省編であるなら競合する」ものはある
fact1: 「もし「その実施予定期間は御助けする」ということは真実であるならその実施予定期間は競合する」ということは正しい fact2: その実施予定期間は打ち滅ぼす fact3: あのリアゲートが増補ならばそれは御助けする fact4: 仮にあの初期経験が総入れ歯であるならこの調停事件は競合する fact5: 「この公判期日は窒息する」ということは事実である fact6: あの初期経験は発声発語器官検査でない fact7: 仮にその実施予定期間が仰々しくないとすると御助けする fact8: 「仮に窒息するとすると「競合する」ということは成り立つ」物はある fact9: もしもその富山地方鉄道はソースプログラムであるとするとそれはユーザーニーズだ fact10: 「あの用水は御助けする」ということは確かである fact11: もしもその実施予定期間が競合しないとしたらそれが文部省編だしまた確認する fact12: もし仮にこの調停事件が競合するとしたらその実施予定期間は競合しない fact13: もしもその追い越し車線は保続するなら「出会い易くなくて御助けする」ということは成り立たない fact14: もし仮に何らかのものは発声発語器官検査でないとすれば「式辞であるしまたそれは総入れ歯である」ということは成り立たない fact15: 「その実施予定期間は御助けしないがそれは窒息する」ということは嘘ならそれは競合する fact16: もし仮にその実施予定期間は文部省編であるとすると「御助けするし加えて窒息する」ということは成り立たない fact17: 「その実施予定期間は競合するということはない一方で歌唱力だ」ということは嘘である fact18: 仮に「その実施予定期間は文部省編だ」ということは成り立てば「それは御助けするということはなくてかつそれは窒息する」ということは成り立たない fact19: 「その実施予定期間は御助けするし窒息する」ということは成り立たない fact20: ある物は総入れ歯でないとすると競合しない
void -> assump1: 以下のように仮定する。その実施予定期間は文部省編である; fact18 & assump1 -> int1: 「その実施予定期間は御助けしない一方で窒息する」ということは誤っている; int1 & fact15 -> int2: その実施予定期間は競合する; [assump1] & int2 -> int3: その実施予定期間は文部省編であるならばそれは競合する; int3 -> hypothesis;
その実施予定期間は確認する
$facts$ = fact1: 「もし「その実施予定期間は御助けする」ということは真実であるならその実施予定期間は競合する」ということは正しい fact2: その実施予定期間は打ち滅ぼす fact3: あのリアゲートが増補ならばそれは御助けする fact4: 仮にあの初期経験が総入れ歯であるならこの調停事件は競合する fact5: 「この公判期日は窒息する」ということは事実である fact6: あの初期経験は発声発語器官検査でない fact7: 仮にその実施予定期間が仰々しくないとすると御助けする fact8: 「仮に窒息するとすると「競合する」ということは成り立つ」物はある fact9: もしもその富山地方鉄道はソースプログラムであるとするとそれはユーザーニーズだ fact10: 「あの用水は御助けする」ということは確かである fact11: もしもその実施予定期間が競合しないとしたらそれが文部省編だしまた確認する fact12: もし仮にこの調停事件が競合するとしたらその実施予定期間は競合しない fact13: もしもその追い越し車線は保続するなら「出会い易くなくて御助けする」ということは成り立たない fact14: もし仮に何らかのものは発声発語器官検査でないとすれば「式辞であるしまたそれは総入れ歯である」ということは成り立たない fact15: 「その実施予定期間は御助けしないがそれは窒息する」ということは嘘ならそれは競合する fact16: もし仮にその実施予定期間は文部省編であるとすると「御助けするし加えて窒息する」ということは成り立たない fact17: 「その実施予定期間は競合するということはない一方で歌唱力だ」ということは嘘である fact18: 仮に「その実施予定期間は文部省編だ」ということは成り立てば「それは御助けするということはなくてかつそれは窒息する」ということは成り立たない fact19: 「その実施予定期間は御助けするし窒息する」ということは成り立たない fact20: ある物は総入れ歯でないとすると競合しない ; $hypothesis$ = 「もし文部省編であるなら競合する」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。その実施予定期間は文部省編である; fact18 & assump1 -> int1: 「その実施予定期間は御助けしない一方で窒息する」ということは誤っている; int1 & fact15 -> int2: その実施予定期間は競合する; [assump1] & int2 -> int3: その実施予定期間は文部省編であるならばそれは競合する; int3 -> hypothesis; __PROVED__
事実1: 「もし「その実施予定期間は御助けする」ということは真実であるならその実施予定期間は競合する」ということは正しい
事実2: その実施予定期間は打ち滅ぼす
事実3: あのリアゲートが増補ならばそれは御助けする
事実4: 仮にあの初期経験が総入れ歯であるならこの調停事件は競合する
事実5: 「この公判期日は窒息する」ということは事実である
事実6: あの初期経験は発声発語器官検査でない
事実7: 仮にその実施予定期間が仰々しくないとすると御助けする
事実8: 「仮に窒息するとすると「競合する」ということは成り立つ」物はある
事実9: もしもその富山地方鉄道はソースプログラムであるとするとそれはユーザーニーズだ
事実10: 「あの用水は御助けする」ということは確かである
事実11: もしもその実施予定期間が競合しないとしたらそれが文部省編だしまた確認する
事実12: もし仮にこの調停事件が競合するとしたらその実施予定期間は競合しない
事実13: もしもその追い越し車線は保続するなら「出会い易くなくて御助けする」ということは成り立たない
事実14: もし仮に何らかのものは発声発語器官検査でないとすれば「式辞であるしまたそれは総入れ歯である」ということは成り立たない
事実15: 「その実施予定期間は御助けしないがそれは窒息する」ということは嘘ならそれは競合する
事実16: もし仮にその実施予定期間は文部省編であるとすると「御助けするし加えて窒息する」ということは成り立たない
事実17: 「その実施予定期間は競合するということはない一方で歌唱力だ」ということは嘘である
事実18: 仮に「その実施予定期間は文部省編だ」ということは成り立てば「それは御助けするということはなくてかつそれは窒息する」ということは成り立たない
事実19: 「その実施予定期間は御助けするし窒息する」ということは成り立たない
事実20: ある物は総入れ歯でないとすると競合しない

仮説: 「もし文部省編であるなら競合する」ものはある
1. 仮定1: 以下のように仮定する。その実施予定期間は文部省編である
2. 事実18と仮定1から、推論1: "「その実施予定期間は御助けしない一方で窒息する」ということは誤っている"が導かれる
3. 推論1と事実15から、推論2: "その実施予定期間は競合する"が導かれる
4. [仮定1]と推論2から、推論3: "その実施予定期間は文部省編であるならばそれは競合する"が導かれる
5. 推論3から、仮説が導かれる

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