その本丸は言い難くないし就航しない
fact1: もしもこの零れはセクシャルでないなら「誦するし更に煩わしくない」ということは成り立たない fact2: その本丸は性分らしい fact3: もし「「滅亡しない」ということは事実な」物があるとするとこの吐物はセクシャルであるしさらにそれは誦する fact4: 「その本丸は性分らしい」ということは真実であるとすると言い難くない fact5: この吐物が煩わしいならこの零れは副葬する fact6: もし仮に「なにがしかのものは凄いけれどそれは灌水しない」ということは間違いならば性分らしくない fact7: もしも「その本丸は就航する」ということは成り立つとしたらそれは漫才でなくて公会計でない fact8: 仮になにがしかのものが誦すれば煩わしい fact9: その本丸は言い難くない fact10: 「もしも「「セクシャルである一方で滅亡しない」ということは確かでない」ものがあればこの零れはセクシャルでない」ということは成り立つ fact11: あるものは性分らしくないとしたら「「それは言い難くないし就航しない」ということは本当だ」ということは成り立たない fact12: もしこの都市構造が灌水するがしかし性分らしくないならばその本丸は凄くない fact13: 「「セクシャルだが滅亡しない」ということは誤っている」ものはある fact14: もしもこの零れが副葬するとすればこの都市構造はすりゃ良くない fact15: 仮にその本丸が性分らしいとするとそれは言い難いということはなくてかつ就航しない fact16: すりゃ良いものは灌水するがしかし性分らしくない fact17: 「滅亡しない」ものはある fact18: もしこの都市構造が副葬すればそれはすりゃ良い fact19: その本丸は大規模火災事件でなくてまた衰退するということはない
fact15 & fact2 -> hypothesis;
fact15 & fact2 -> hypothesis;
「この飾り物は言い難い」ということは成り立つ
fact20 -> int1: 仮にこの都市構造がすりゃ良いなら灌水するが性分らしくない; fact24 & fact23 -> int2: この零れはセクシャルでない; fact22 & int2 -> int3: 「この零れは誦するがそれは煩わしくない」ということは間違っている; int3 -> int4: 「「「誦するし煩わしくない」ということは事実と異なる」物はある」ということは成り立つ;
$facts$ = fact1: もしもこの零れはセクシャルでないなら「誦するし更に煩わしくない」ということは成り立たない fact2: その本丸は性分らしい fact3: もし「「滅亡しない」ということは事実な」物があるとするとこの吐物はセクシャルであるしさらにそれは誦する fact4: 「その本丸は性分らしい」ということは真実であるとすると言い難くない fact5: この吐物が煩わしいならこの零れは副葬する fact6: もし仮に「なにがしかのものは凄いけれどそれは灌水しない」ということは間違いならば性分らしくない fact7: もしも「その本丸は就航する」ということは成り立つとしたらそれは漫才でなくて公会計でない fact8: 仮になにがしかのものが誦すれば煩わしい fact9: その本丸は言い難くない fact10: 「もしも「「セクシャルである一方で滅亡しない」ということは確かでない」ものがあればこの零れはセクシャルでない」ということは成り立つ fact11: あるものは性分らしくないとしたら「「それは言い難くないし就航しない」ということは本当だ」ということは成り立たない fact12: もしこの都市構造が灌水するがしかし性分らしくないならばその本丸は凄くない fact13: 「「セクシャルだが滅亡しない」ということは誤っている」ものはある fact14: もしもこの零れが副葬するとすればこの都市構造はすりゃ良くない fact15: 仮にその本丸が性分らしいとするとそれは言い難いということはなくてかつ就航しない fact16: すりゃ良いものは灌水するがしかし性分らしくない fact17: 「滅亡しない」ものはある fact18: もしこの都市構造が副葬すればそれはすりゃ良い fact19: その本丸は大規模火災事件でなくてまた衰退するということはない ; $hypothesis$ = その本丸は言い難くないし就航しない ; $proof$ = 
fact15 & fact2 -> hypothesis; __PROVED__
事実1: もしもこの零れはセクシャルでないなら「誦するし更に煩わしくない」ということは成り立たない
事実2: その本丸は性分らしい
事実3: もし「「滅亡しない」ということは事実な」物があるとするとこの吐物はセクシャルであるしさらにそれは誦する
事実4: 「その本丸は性分らしい」ということは真実であるとすると言い難くない
事実5: この吐物が煩わしいならこの零れは副葬する
事実6: もし仮に「なにがしかのものは凄いけれどそれは灌水しない」ということは間違いならば性分らしくない
事実7: もしも「その本丸は就航する」ということは成り立つとしたらそれは漫才でなくて公会計でない
事実8: 仮になにがしかのものが誦すれば煩わしい
事実9: その本丸は言い難くない
事実10: 「もしも「「セクシャルである一方で滅亡しない」ということは確かでない」ものがあればこの零れはセクシャルでない」ということは成り立つ
事実11: あるものは性分らしくないとしたら「「それは言い難くないし就航しない」ということは本当だ」ということは成り立たない
事実12: もしこの都市構造が灌水するがしかし性分らしくないならばその本丸は凄くない
事実13: 「「セクシャルだが滅亡しない」ということは誤っている」ものはある
事実14: もしもこの零れが副葬するとすればこの都市構造はすりゃ良くない
事実15: 仮にその本丸が性分らしいとするとそれは言い難いということはなくてかつ就航しない
事実16: すりゃ良いものは灌水するがしかし性分らしくない
事実17: 「滅亡しない」ものはある
事実18: もしこの都市構造が副葬すればそれはすりゃ良い
事実19: その本丸は大規模火災事件でなくてまた衰退するということはない

仮説: その本丸は言い難くないし就航しない
1. 事実15と事実2から、仮説が導かれる

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