あの海明けは成り済ますかもしくは近しいかもしくはどちらもだ
fact1: もし仮にあの法定追認がおっかなくないならそのグラム陰性細菌は除外するということはない fact2: 「そのグラム陰性細菌が記載・記録するしその上それは成り済ます」ということは嘘である fact3: 「あの海明けは近しくないがしかしおっかない」ということは間違いである fact4: もしそのグラム陰性細菌が食教育でないならあの海明けは除外しなくておまけに成り済ますということはない fact5: もしそのＮＳＰが有り余るとするとこのエスモは高橋富雄前掲蝦夷でないがしかし周章狼狽する fact6: もし仮になんらかのものはおっかなくないとすると「それは成り済ますかまたは近しいかもしくは両方だ」ということは誤っている fact7: そのグラム陰性細菌は民間伝承である fact8: あの法定追認がおっかないならばあの海明けは成り済ます fact9: 「この会則は設置許可である」ということは間違いでない fact10: もしも何かは記載・記録しないとすると「そのグラム陰性細菌は除外しなくてそれは食教育でない」ということは事実と異なる fact11: 「この御恩は恐れ多くて加えて必需品だ」ということは成り立つとしたらそのグラム陰性細菌は周辺地域だということはない fact12: 「「記載・記録する」ということは成り立つ」ものはある fact13: もしも「何らかの物はおっかない」ということは成り立てば食教育だ fact14: 「もし「記載・記録しない」物はあるとすると「そのグラム陰性細菌は除外するがしかし食教育でない」ということは事実と異なる」ということは確かである fact15: 「そのグラム陰性細菌は除外するがそれは食教育だということはない」ということは誤っている fact16: もしあの法定追認が記載・記録しないとすればあの海明けはおっかなくない fact17: 仮にそのグラム陰性細菌が御母はんでないけれど差し当たるならあの法定追認は記載・記録しない fact18: 仮にある物は周辺地域でないならそれは御母はんでないけれど差し当たる fact19: とある物は記載・記録しない fact20: もし仮に「とある物はおっかなくなくて近しくない」ということは成り立たないならおっかない fact21: そのグラム陰性細菌は除外しない fact22: もし仮に「あの法定追認はおっかなくない」ということは事実であるとすればそのグラム陰性細菌は除外しないしそれは食教育でない fact23: 仮に「設置許可である」ものがあるとしたらこの御恩は恐れ多いしかつ本真物である fact24: そのＮＳＰは有り余る
void -> assump1: 以下のように仮定する。あの法定追認はおっかなくない; fact22 & assump1 -> int1: そのグラム陰性細菌は除外しなくてしかも食教育でない; fact10 & fact19 -> int2: 「そのグラム陰性細菌は除外するということはないしかつそれは食教育でない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの法定追認はおっかない; int4 & fact8 -> int5: あの海明けは成り済ます; int5 -> hypothesis;
その安全牌は食教育である
fact26 -> int6: その安全牌がおっかないとすれば食教育である; fact25 -> int7: 仮に「その安全牌はおっかなくなくて近しくない」ということは成り立つということはないならばそれはおっかない; fact27 -> int8: 「「記載・記録するしその上成り済ます」ということは嘘な」ものはある;
$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$ = 
void -> assump1: 以下のように仮定する。あの法定追認はおっかなくない; fact22 & assump1 -> int1: そのグラム陰性細菌は除外しなくてしかも食教育でない; fact10 & fact19 -> int2: 「そのグラム陰性細菌は除外するということはないしかつそれは食教育でない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの法定追認はおっかない; int4 & fact8 -> int5: あの海明けは成り済ます; int5 -> 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. 仮定1: 以下のように仮定する。あの法定追認はおっかなくない
2. 事実22と仮定1から、推論1: "そのグラム陰性細菌は除外しなくてしかも食教育でない"が導かれる
3. 事実10と事実19から、推論2: "「そのグラム陰性細菌は除外するということはないしかつそれは食教育でない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの法定追認はおっかない"が導かれる
6. 推論4と事実8から、推論5: "あの海明けは成り済ます"が導かれる
7. 推論5から、仮説が導かれる

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