あのアレロパシーは昇格しない
fact1: 「なにがしかのものは探し易くなくて氷山群でない」ということは誤っているとすると昇格する fact2: 本船は素晴らしくないが昇格する fact3: 仮にこの都市圏構造が燃え付かないとすればあの保護法は本船であるし気持ち良い fact4: 探し易い物は昇格する fact5: もしもあのアレロパシーが本船でなくてそれにそれが探し易いということはないとしたらこの図書以外は昇格しない fact6: その微粉は疲弊し切るということはなくておまけに探し易くない fact7: 「この図書以外は氷山群でないが探し易い」ということは事実と異なる fact8: もし仮にあのアレロパシーが探し易いが昇格しないならばこの図書以外は氷山群でない fact9: 「この図書以外は本船でない」ということは確かだ fact10: この図書以外は探し易くない fact11: 仮にこの図書以外は探し易いとすれば「それは本船である」ということは嘘であるということはない fact12: もしこの図書以外が氷山群でないし加えて探し易くないならあのアレロパシーは昇格しない fact13: 「何らかの物は素晴らしくない一方で本船である」ということは成り立たないなら「それは本船でない」ということは真実だ fact14: もしあの保護法が素晴らしくないけれど昇格するならばあのアレロパシーは昇格する fact15: もしも「なにがしかの物は氷山群でなくてしかも探し易くない」ということは間違いであるとするとそれは本船である fact16: この図書以外は変成する fact17: あのアレロパシーが本船であるということはないし更に探し易くないならばこの図書以外は氷山群でない
fact15 -> int1: 「この図書以外は氷山群でないし加えて探し易くない」ということは成り立たないとするとそれは本船である; void -> assump1: 以下のように仮定する。「「この図書以外は氷山群でないし探し易くない」ということは事実である」ということは事実と異なる; int1 & assump1 -> int2: この図書以外は本船だ; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: この図書以外は氷山群でなくてそれは探し易くない; int4 & fact12 -> hypothesis;
あのアレロパシーは昇格する
fact20 -> int5: もし仮にあの保護法は本船であるとしたら「それは素晴らしくないけれど昇格する」ということは確かだ;
$facts$ = fact1: 「なにがしかのものは探し易くなくて氷山群でない」ということは誤っているとすると昇格する fact2: 本船は素晴らしくないが昇格する fact3: 仮にこの都市圏構造が燃え付かないとすればあの保護法は本船であるし気持ち良い fact4: 探し易い物は昇格する fact5: もしもあのアレロパシーが本船でなくてそれにそれが探し易いということはないとしたらこの図書以外は昇格しない fact6: その微粉は疲弊し切るということはなくておまけに探し易くない fact7: 「この図書以外は氷山群でないが探し易い」ということは事実と異なる fact8: もし仮にあのアレロパシーが探し易いが昇格しないならばこの図書以外は氷山群でない fact9: 「この図書以外は本船でない」ということは確かだ fact10: この図書以外は探し易くない fact11: 仮にこの図書以外は探し易いとすれば「それは本船である」ということは嘘であるということはない fact12: もしこの図書以外が氷山群でないし加えて探し易くないならあのアレロパシーは昇格しない fact13: 「何らかの物は素晴らしくない一方で本船である」ということは成り立たないなら「それは本船でない」ということは真実だ fact14: もしあの保護法が素晴らしくないけれど昇格するならばあのアレロパシーは昇格する fact15: もしも「なにがしかの物は氷山群でなくてしかも探し易くない」ということは間違いであるとするとそれは本船である fact16: この図書以外は変成する fact17: あのアレロパシーが本船であるということはないし更に探し易くないならばこの図書以外は氷山群でない ; $hypothesis$ = あのアレロパシーは昇格しない ; $proof$ = 
fact15 -> int1: 「この図書以外は氷山群でないし加えて探し易くない」ということは成り立たないとするとそれは本船である; void -> assump1: 以下のように仮定する。「「この図書以外は氷山群でないし探し易くない」ということは事実である」ということは事実と異なる; int1 & assump1 -> int2: この図書以外は本船だ; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: この図書以外は氷山群でなくてそれは探し易くない; int4 & fact12 -> hypothesis; __PROVED__
事実1: 「なにがしかのものは探し易くなくて氷山群でない」ということは誤っているとすると昇格する
事実2: 本船は素晴らしくないが昇格する
事実3: 仮にこの都市圏構造が燃え付かないとすればあの保護法は本船であるし気持ち良い
事実4: 探し易い物は昇格する
事実5: もしもあのアレロパシーが本船でなくてそれにそれが探し易いということはないとしたらこの図書以外は昇格しない
事実6: その微粉は疲弊し切るということはなくておまけに探し易くない
事実7: 「この図書以外は氷山群でないが探し易い」ということは事実と異なる
事実8: もし仮にあのアレロパシーが探し易いが昇格しないならばこの図書以外は氷山群でない
事実9: 「この図書以外は本船でない」ということは確かだ
事実10: この図書以外は探し易くない
事実11: 仮にこの図書以外は探し易いとすれば「それは本船である」ということは嘘であるということはない
事実12: もしこの図書以外が氷山群でないし加えて探し易くないならあのアレロパシーは昇格しない
事実13: 「何らかの物は素晴らしくない一方で本船である」ということは成り立たないなら「それは本船でない」ということは真実だ
事実14: もしあの保護法が素晴らしくないけれど昇格するならばあのアレロパシーは昇格する
事実15: もしも「なにがしかの物は氷山群でなくてしかも探し易くない」ということは間違いであるとするとそれは本船である
事実16: この図書以外は変成する
事実17: あのアレロパシーが本船であるということはないし更に探し易くないならばこの図書以外は氷山群でない

仮説: あのアレロパシーは昇格しない
1. 事実15から、推論1: "「この図書以外は氷山群でないし加えて探し易くない」ということは成り立たないとするとそれは本船である"が導かれる
2. 仮定1: 以下のように仮定する。「「この図書以外は氷山群でないし探し易くない」ということは事実である」ということは事実と異なる
3. 推論1と仮定1から、推論2: "この図書以外は本船だ"が導かれる
4. 推論2と事実9から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この図書以外は氷山群でなくてそれは探し易くない"が導かれる
6. 推論4と事実12から、仮説が導かれる

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