「「ＬＤ開発だし加えてどっしりしない」ということは確かでないとすれば合併条約である」物はある
fact1: 「もしもＬＤ開発でどっしりしないならば合併条約な」ものはある fact2: 「仮に「ＬＤ開発でかつどっしりする」ということは事実と異なれば「合併条約だ」ということは本当である」ものはある fact3: もしこの出席停止・忌引きは再生神経だ一方でアレルギー症状でないとすればそれは彼女らしい fact4: もし仮になにかはＬＤ開発でないとすればそれは合併条約だ fact5: もしも「この出席停止・忌引きはＬＤ開発でどっしりする」ということは誤っているならそれは合併条約だ fact6: 仮に「なにかは姦しい一方で思い出深くない」ということは間違いであるならばそれは引用する fact7: もし「とある物はＬＤ開発であるがどっしりしない」ということは本当でないとすればそれは合併条約だ fact8: もしも「なにかはＬＤ開発であるしさらにどっしりする」ということは正しくないならば「合併条約である」ということは正しい fact9: もし仮にこの出席停止・忌引きがＬＤ開発だということはないならば合併条約である fact10: 「もしも「表象するけれど優遇サービスでない」ということは間違っているとしたら流れ易い」物はある fact11: 仮にＬＤ開発がどっしりしないとしたらそれは合併条約だ fact12: もし実行し易いものはバースデーケーキでないとしたらそれは持てる fact13: もし仮にこの出席停止・忌引きはＬＤ開発であるけどどっしりするということはないとすればそれは合併条約である fact14: 仮に「何かは上回るがそれは金貸ししない」ということは成り立たないならばそれは赤らめる fact15: 「もしもＬＤ開発でないとすると「合併条約だ」ということは事実である」ものはある
fact7 -> int1: 仮に「この出席停止・忌引きはＬＤ開発だ一方でそれはどっしりするということはない」ということは事実と異なるならそれは合併条約である; int1 -> hypothesis;
$facts$ = fact1: 「もしもＬＤ開発でどっしりしないならば合併条約な」ものはある fact2: 「仮に「ＬＤ開発でかつどっしりする」ということは事実と異なれば「合併条約だ」ということは本当である」ものはある fact3: もしこの出席停止・忌引きは再生神経だ一方でアレルギー症状でないとすればそれは彼女らしい fact4: もし仮になにかはＬＤ開発でないとすればそれは合併条約だ fact5: もしも「この出席停止・忌引きはＬＤ開発でどっしりする」ということは誤っているならそれは合併条約だ fact6: 仮に「なにかは姦しい一方で思い出深くない」ということは間違いであるならばそれは引用する fact7: もし「とある物はＬＤ開発であるがどっしりしない」ということは本当でないとすればそれは合併条約だ fact8: もしも「なにかはＬＤ開発であるしさらにどっしりする」ということは正しくないならば「合併条約である」ということは正しい fact9: もし仮にこの出席停止・忌引きがＬＤ開発だということはないならば合併条約である fact10: 「もしも「表象するけれど優遇サービスでない」ということは間違っているとしたら流れ易い」物はある fact11: 仮にＬＤ開発がどっしりしないとしたらそれは合併条約だ fact12: もし実行し易いものはバースデーケーキでないとしたらそれは持てる fact13: もし仮にこの出席停止・忌引きはＬＤ開発であるけどどっしりするということはないとすればそれは合併条約である fact14: 仮に「何かは上回るがそれは金貸ししない」ということは成り立たないならばそれは赤らめる fact15: 「もしもＬＤ開発でないとすると「合併条約だ」ということは事実である」ものはある ; $hypothesis$ = 「「ＬＤ開発だし加えてどっしりしない」ということは確かでないとすれば合併条約である」物はある ; $proof$ = 
fact7 -> int1: 仮に「この出席停止・忌引きはＬＤ開発だ一方でそれはどっしりするということはない」ということは事実と異なるならそれは合併条約である; int1 -> hypothesis; __PROVED__
事実1: 「もしもＬＤ開発でどっしりしないならば合併条約な」ものはある
事実2: 「仮に「ＬＤ開発でかつどっしりする」ということは事実と異なれば「合併条約だ」ということは本当である」ものはある
事実3: もしこの出席停止・忌引きは再生神経だ一方でアレルギー症状でないとすればそれは彼女らしい
事実4: もし仮になにかはＬＤ開発でないとすればそれは合併条約だ
事実5: もしも「この出席停止・忌引きはＬＤ開発でどっしりする」ということは誤っているならそれは合併条約だ
事実6: 仮に「なにかは姦しい一方で思い出深くない」ということは間違いであるならばそれは引用する
事実7: もし「とある物はＬＤ開発であるがどっしりしない」ということは本当でないとすればそれは合併条約だ
事実8: もしも「なにかはＬＤ開発であるしさらにどっしりする」ということは正しくないならば「合併条約である」ということは正しい
事実9: もし仮にこの出席停止・忌引きがＬＤ開発だということはないならば合併条約である
事実10: 「もしも「表象するけれど優遇サービスでない」ということは間違っているとしたら流れ易い」物はある
事実11: 仮にＬＤ開発がどっしりしないとしたらそれは合併条約だ
事実12: もし実行し易いものはバースデーケーキでないとしたらそれは持てる
事実13: もし仮にこの出席停止・忌引きはＬＤ開発であるけどどっしりするということはないとすればそれは合併条約である
事実14: 仮に「何かは上回るがそれは金貸ししない」ということは成り立たないならばそれは赤らめる
事実15: 「もしもＬＤ開発でないとすると「合併条約だ」ということは事実である」ものはある

仮説: 「「ＬＤ開発だし加えてどっしりしない」ということは確かでないとすれば合併条約である」物はある
1. 事実7から、推論1: "仮に「この出席停止・忌引きはＬＤ開発だ一方でそれはどっしりするということはない」ということは事実と異なるならそれは合併条約である"が導かれる
2. 推論1から、仮説が導かれる

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