仮にあのＡ級は全面リフォームするとすると「このマングローブは晒され易いけれど突っ張らない」ということは誤りである
fact1: その周辺一帯は追求するとすれば「あのＡ級は全面リフォームしない」ということは確かだ fact2: このマングローブは全面リフォームするがしかし突っ張らない fact3: 仮にその周辺一帯が追求するならばあのＡ級は全面リフォームする fact4: その周辺一帯は晒され易い fact5: 仮にこのマングローブは全面リフォームするとすると「あのＡ級は晒され易いが突っ張らない」ということは偽である fact6: 仮にあのＡ級は全面リフォームするとすれば「このマングローブは晒され易くて突っ張る」ということは成り立たない fact7: その周辺一帯は全面リフォームする fact8: このマングローブが晒され易くて突っ張るとしたらその周辺一帯は追求する fact9: 「このマングローブは晒され易くて突っ張る」ということは誤っている fact10: このマングローブは突っ張らない fact11: あのＡ級が全面リフォームすればこのマングローブは晒され易いが突っ張らない fact12: あらゆるものは感じ難くないがしかし取っ付き難い fact13: 仮にこのマングローブが晒され易いけれどそれが突っ張らないならその周辺一帯は追求する fact14: 仮にとある物は取っ付き難いとすると「それは望ましくらないしまた無しない」ということは嘘である fact15: 仮になんらかの物は追求しないとすれば「それは全面リフォームするしまたそれは心憎くない」ということは成り立たない fact16: もし仮にこのマングローブが追求するならその周辺一帯は突っ張らない
void -> assump1: 以下のように仮定する。「このマングローブは晒され易いけど突っ張るということはない」ということは確かである; fact13 & assump1 -> int1: その周辺一帯は追求する; int1 & fact1 -> int2: あのＡ級は全面リフォームしない; void -> assump2: 以下のように仮定する。あのＡ級は全面リフォームする; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このマングローブは晒され易いけれど突っ張らない」ということは間違いである; [assump2] & int4 -> hypothesis;
「あの平滑筋腫は全面リフォームするけれど心憎いということはない」ということは偽である
fact18 -> int5: あの平滑筋腫は追求しないならば「全面リフォームするし加えてそれは心憎くない」ということは誤りである; fact19 -> int6: このマングローブは感じ難くない一方で取っ付き難い; int6 -> int7: このマングローブは取っ付き難い; fact17 -> int8: もし仮に「このマングローブは取っ付き難い」ということは成り立てば「望ましくらないしかつ無しということはない」ということは成り立つということはない; int7 & int8 -> int9: 「このマングローブは望ましいということはなくてそれに無しない」ということは偽だ; int9 -> int10: 望ましくらなくて無しないものはない; int10 -> int11: 「あの平滑筋腫は望ましくらなくておまけに無しない」ということは誤っている;
$facts$ = fact1: その周辺一帯は追求するとすれば「あのＡ級は全面リフォームしない」ということは確かだ fact2: このマングローブは全面リフォームするがしかし突っ張らない fact3: 仮にその周辺一帯が追求するならばあのＡ級は全面リフォームする fact4: その周辺一帯は晒され易い fact5: 仮にこのマングローブは全面リフォームするとすると「あのＡ級は晒され易いが突っ張らない」ということは偽である fact6: 仮にあのＡ級は全面リフォームするとすれば「このマングローブは晒され易くて突っ張る」ということは成り立たない fact7: その周辺一帯は全面リフォームする fact8: このマングローブが晒され易くて突っ張るとしたらその周辺一帯は追求する fact9: 「このマングローブは晒され易くて突っ張る」ということは誤っている fact10: このマングローブは突っ張らない fact11: あのＡ級が全面リフォームすればこのマングローブは晒され易いが突っ張らない fact12: あらゆるものは感じ難くないがしかし取っ付き難い fact13: 仮にこのマングローブが晒され易いけれどそれが突っ張らないならその周辺一帯は追求する fact14: 仮にとある物は取っ付き難いとすると「それは望ましくらないしまた無しない」ということは嘘である fact15: 仮になんらかの物は追求しないとすれば「それは全面リフォームするしまたそれは心憎くない」ということは成り立たない fact16: もし仮にこのマングローブが追求するならその周辺一帯は突っ張らない ; $hypothesis$ = 仮にあのＡ級は全面リフォームするとすると「このマングローブは晒され易いけれど突っ張らない」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。「このマングローブは晒され易いけど突っ張るということはない」ということは確かである; fact13 & assump1 -> int1: その周辺一帯は追求する; int1 & fact1 -> int2: あのＡ級は全面リフォームしない; void -> assump2: 以下のように仮定する。あのＡ級は全面リフォームする; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このマングローブは晒され易いけれど突っ張らない」ということは間違いである; [assump2] & int4 -> hypothesis; __PROVED__
事実1: その周辺一帯は追求するとすれば「あのＡ級は全面リフォームしない」ということは確かだ
事実2: このマングローブは全面リフォームするがしかし突っ張らない
事実3: 仮にその周辺一帯が追求するならばあのＡ級は全面リフォームする
事実4: その周辺一帯は晒され易い
事実5: 仮にこのマングローブは全面リフォームするとすると「あのＡ級は晒され易いが突っ張らない」ということは偽である
事実6: 仮にあのＡ級は全面リフォームするとすれば「このマングローブは晒され易くて突っ張る」ということは成り立たない
事実7: その周辺一帯は全面リフォームする
事実8: このマングローブが晒され易くて突っ張るとしたらその周辺一帯は追求する
事実9: 「このマングローブは晒され易くて突っ張る」ということは誤っている
事実10: このマングローブは突っ張らない
事実11: あのＡ級が全面リフォームすればこのマングローブは晒され易いが突っ張らない
事実12: あらゆるものは感じ難くないがしかし取っ付き難い
事実13: 仮にこのマングローブが晒され易いけれどそれが突っ張らないならその周辺一帯は追求する
事実14: 仮にとある物は取っ付き難いとすると「それは望ましくらないしまた無しない」ということは嘘である
事実15: 仮になんらかの物は追求しないとすれば「それは全面リフォームするしまたそれは心憎くない」ということは成り立たない
事実16: もし仮にこのマングローブが追求するならその周辺一帯は突っ張らない

仮説: 仮にあのＡ級は全面リフォームするとすると「このマングローブは晒され易いけれど突っ張らない」ということは誤りである
1. 仮定1: 以下のように仮定する。「このマングローブは晒され易いけど突っ張るということはない」ということは確かである
2. 事実13と仮定1から、推論1: "その周辺一帯は追求する"が導かれる
3. 推論1と事実1から、推論2: "あのＡ級は全面リフォームしない"が導かれる
4. 仮定2: 以下のように仮定する。あのＡ級は全面リフォームする
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「このマングローブは晒され易いけれど突っ張らない」ということは間違いである"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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