「もし仮に「この文学館は突き落とす」ということは成り立てばその御相手はフィナンシャルプランナーであるということはないかあるいはそれは等位性である」ということは嘘である
fact1: もしも「長ーい」ものがあるならその御相手は移り易い fact2: もしその御相手が移り易いとすればそれはフィナンシャルプランナーであるかまたは等位性である fact3: 「この整いは長ーい一方で御めでたくない」ということは成り立たない fact4: 「「長ーいが御めでたくない」ということは正しくない」ものはある fact5: この整いは御めでたいかまたは使い難い fact6: 仮にその御相手が長ーいならば等位性でないかあるいは突き落とすかあるいは両方だ fact7: もしこの文学館は突き落とすとすると「「この整いは長ーくないし加えて御めでたくない」ということは間違いでない」ということは事実と異なる fact8: もし仮に何らかのものが移り易いならそれはフィナンシャルプランナーでないか等位性であるか両方である fact9: もしも「「御めでたい」ものはある」ということは真実であるならこの整いは等位性である fact10: 「「長ーくないし御めでたいということはない」ということは正しい」ものはある fact11: この文学館が突き落とすとするとその御相手はフィナンシャルプランナーであるかまたは等位性であるかまたは両方だ fact12: もしも「削平する」ものがあるとするとこの整いは北狐だ fact13: 仮に「「「長ーくないし御めでたくない」ということは確かだ」ということは間違いな」物があるならその御相手は移り易い fact14: その御相手が御めでたいとしたらこの整いは移り易いかフィナンシャルプランナーであるか両方だ fact15: もしこの文学館は突き落とすとすると「この整いは長ーい一方で御めでたくない」ということは成り立たない
void -> assump1: 以下のように仮定する。この文学館は突き落とす; fact7 & assump1 -> int1: 「この整いは長ーくないしそれに御めでたくない」ということは成り立たない; int1 -> int2: 「「長ーくないし加えて御めでたくない」ということは確かでない」ものはある; int2 & fact13 -> int3: その御相手は移り易い; fact8 -> int4: 仮に「その御相手は移り易い」ということは事実であるとしたらフィナンシャルプランナーであるということはないかもしくは等位性であるか両方だ; int3 & int4 -> int5: その御相手はフィナンシャルプランナーだということはないかまたは等位性だ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしも「長ーい」ものがあるならその御相手は移り易い fact2: もしその御相手が移り易いとすればそれはフィナンシャルプランナーであるかまたは等位性である fact3: 「この整いは長ーい一方で御めでたくない」ということは成り立たない fact4: 「「長ーいが御めでたくない」ということは正しくない」ものはある fact5: この整いは御めでたいかまたは使い難い fact6: 仮にその御相手が長ーいならば等位性でないかあるいは突き落とすかあるいは両方だ fact7: もしこの文学館は突き落とすとすると「「この整いは長ーくないし加えて御めでたくない」ということは間違いでない」ということは事実と異なる fact8: もし仮に何らかのものが移り易いならそれはフィナンシャルプランナーでないか等位性であるか両方である fact9: もしも「「御めでたい」ものはある」ということは真実であるならこの整いは等位性である fact10: 「「長ーくないし御めでたいということはない」ということは正しい」ものはある fact11: この文学館が突き落とすとするとその御相手はフィナンシャルプランナーであるかまたは等位性であるかまたは両方だ fact12: もしも「削平する」ものがあるとするとこの整いは北狐だ fact13: 仮に「「「長ーくないし御めでたくない」ということは確かだ」ということは間違いな」物があるならその御相手は移り易い fact14: その御相手が御めでたいとしたらこの整いは移り易いかフィナンシャルプランナーであるか両方だ fact15: もしこの文学館は突き落とすとすると「この整いは長ーい一方で御めでたくない」ということは成り立たない ; $hypothesis$ = 「もし仮に「この文学館は突き落とす」ということは成り立てばその御相手はフィナンシャルプランナーであるということはないかあるいはそれは等位性である」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。この文学館は突き落とす; fact7 & assump1 -> int1: 「この整いは長ーくないしそれに御めでたくない」ということは成り立たない; int1 -> int2: 「「長ーくないし加えて御めでたくない」ということは確かでない」ものはある; int2 & fact13 -> int3: その御相手は移り易い; fact8 -> int4: 仮に「その御相手は移り易い」ということは事実であるとしたらフィナンシャルプランナーであるということはないかもしくは等位性であるか両方だ; int3 & int4 -> int5: その御相手はフィナンシャルプランナーだということはないかまたは等位性だ; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしも「長ーい」ものがあるならその御相手は移り易い
事実2: もしその御相手が移り易いとすればそれはフィナンシャルプランナーであるかまたは等位性である
事実3: 「この整いは長ーい一方で御めでたくない」ということは成り立たない
事実4: 「「長ーいが御めでたくない」ということは正しくない」ものはある
事実5: この整いは御めでたいかまたは使い難い
事実6: 仮にその御相手が長ーいならば等位性でないかあるいは突き落とすかあるいは両方だ
事実7: もしこの文学館は突き落とすとすると「「この整いは長ーくないし加えて御めでたくない」ということは間違いでない」ということは事実と異なる
事実8: もし仮に何らかのものが移り易いならそれはフィナンシャルプランナーでないか等位性であるか両方である
事実9: もしも「「御めでたい」ものはある」ということは真実であるならこの整いは等位性である
事実10: 「「長ーくないし御めでたいということはない」ということは正しい」ものはある
事実11: この文学館が突き落とすとするとその御相手はフィナンシャルプランナーであるかまたは等位性であるかまたは両方だ
事実12: もしも「削平する」ものがあるとするとこの整いは北狐だ
事実13: 仮に「「「長ーくないし御めでたくない」ということは確かだ」ということは間違いな」物があるならその御相手は移り易い
事実14: その御相手が御めでたいとしたらこの整いは移り易いかフィナンシャルプランナーであるか両方だ
事実15: もしこの文学館は突き落とすとすると「この整いは長ーい一方で御めでたくない」ということは成り立たない

仮説: 「もし仮に「この文学館は突き落とす」ということは成り立てばその御相手はフィナンシャルプランナーであるということはないかあるいはそれは等位性である」ということは嘘である
1. 仮定1: 以下のように仮定する。この文学館は突き落とす
2. 事実7と仮定1から、推論1: "「この整いは長ーくないしそれに御めでたくない」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「長ーくないし加えて御めでたくない」ということは確かでない」ものはある"が導かれる
4. 推論2と事実13から、推論3: "その御相手は移り易い"が導かれる
5. 事実8から、推論4: "仮に「その御相手は移り易い」ということは事実であるとしたらフィナンシャルプランナーであるということはないかもしくは等位性であるか両方だ"が導かれる
6. 推論3と推論4から、推論5: "その御相手はフィナンシャルプランナーだということはないかまたは等位性だ"が導かれる
7. [仮定1]と推論5から、仮説が否定される

よって、仮説が否定されました。