「仮にその幸ちゃんは吹き掛けるとすると「「あの山垣遺跡は長たらしいがしかしそれは異味・異臭であるということはない」ということは誤りだ」ということは真実である」ということは嘘である
fact1: もしある物は吹き掛けないならば「それは移行し易いし割り出す」ということは成り立たない fact2: もしも「この斎串は取れ難いがしかし長たらしくない」ということは事実と異なればそれは繰り上げる fact3: あの山垣遺跡は長たらしいがしかし移行し易くない fact4: 仮にその幸ちゃんは割り出せば「長たらしくない」ということは本当だ fact5: もしもあの第ばあ君は異味・異臭でないとすると「長たらしいかあるいは逞しいかもしくは両方ともだ」ということは成り立たない fact6: 「その幸ちゃんは移行し易いけど転けない」ということは誤りであるとしたら割り出す fact7: もし仮にその幸ちゃんは長たらしいということはないとすれば「あの山垣遺跡は長たらしいけど異味・異臭でない」ということは誤りである fact8: あの山垣遺跡は吹き掛ける fact9: もしもなんらかの物は吹き掛けるとすれば「それは移行し易いしまたそれは転けるということはない」ということは事実と異なる fact10: もし「その幸ちゃんは吹き掛ける」ということは成り立つとすると「移行し易くて転ける」ということは偽だ fact11: 「なんらかの物は長たらしいか逞しいかまたは両方である」ということは嘘なら吹き掛けない
fact9 -> int1: もしもその幸ちゃんは吹き掛けるとすれば「移行し易いしまたそれは転けない」ということは成り立つということはない; void -> assump1: 以下のように仮定する。その幸ちゃんは吹き掛ける; int1 & assump1 -> int2: 「その幸ちゃんは移行し易いが転けない」ということは成り立たない; int2 & fact6 -> int3: その幸ちゃんは割り出す; int3 & fact4 -> int4: その幸ちゃんは長たらしくない; int4 & fact7 -> int5: 「あの山垣遺跡は長たらしい一方で異味・異臭でない」ということは間違っている; [assump1] & int5 -> hypothesis;
あの第ばあ君は移行し易いということはない
fact14 -> int6: もしもあの第ばあ君は吹き掛けないとすれば「移行し易いしその上それは割り出す」ということは誤っている; fact13 -> int7: 仮に「あの第ばあ君は長たらしいかあるいは逞しい」ということは事実と異なるならそれは吹き掛けない;
$facts$ = fact1: もしある物は吹き掛けないならば「それは移行し易いし割り出す」ということは成り立たない fact2: もしも「この斎串は取れ難いがしかし長たらしくない」ということは事実と異なればそれは繰り上げる fact3: あの山垣遺跡は長たらしいがしかし移行し易くない fact4: 仮にその幸ちゃんは割り出せば「長たらしくない」ということは本当だ fact5: もしもあの第ばあ君は異味・異臭でないとすると「長たらしいかあるいは逞しいかもしくは両方ともだ」ということは成り立たない fact6: 「その幸ちゃんは移行し易いけど転けない」ということは誤りであるとしたら割り出す fact7: もし仮にその幸ちゃんは長たらしいということはないとすれば「あの山垣遺跡は長たらしいけど異味・異臭でない」ということは誤りである fact8: あの山垣遺跡は吹き掛ける fact9: もしもなんらかの物は吹き掛けるとすれば「それは移行し易いしまたそれは転けるということはない」ということは事実と異なる fact10: もし「その幸ちゃんは吹き掛ける」ということは成り立つとすると「移行し易くて転ける」ということは偽だ fact11: 「なんらかの物は長たらしいか逞しいかまたは両方である」ということは嘘なら吹き掛けない ; $hypothesis$ = 「仮にその幸ちゃんは吹き掛けるとすると「「あの山垣遺跡は長たらしいがしかしそれは異味・異臭であるということはない」ということは誤りだ」ということは真実である」ということは嘘である ; $proof$ = 
fact9 -> int1: もしもその幸ちゃんは吹き掛けるとすれば「移行し易いしまたそれは転けない」ということは成り立つということはない; void -> assump1: 以下のように仮定する。その幸ちゃんは吹き掛ける; int1 & assump1 -> int2: 「その幸ちゃんは移行し易いが転けない」ということは成り立たない; int2 & fact6 -> int3: その幸ちゃんは割り出す; int3 & fact4 -> int4: その幸ちゃんは長たらしくない; int4 & fact7 -> int5: 「あの山垣遺跡は長たらしい一方で異味・異臭でない」ということは間違っている; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしある物は吹き掛けないならば「それは移行し易いし割り出す」ということは成り立たない
事実2: もしも「この斎串は取れ難いがしかし長たらしくない」ということは事実と異なればそれは繰り上げる
事実3: あの山垣遺跡は長たらしいがしかし移行し易くない
事実4: 仮にその幸ちゃんは割り出せば「長たらしくない」ということは本当だ
事実5: もしもあの第ばあ君は異味・異臭でないとすると「長たらしいかあるいは逞しいかもしくは両方ともだ」ということは成り立たない
事実6: 「その幸ちゃんは移行し易いけど転けない」ということは誤りであるとしたら割り出す
事実7: もし仮にその幸ちゃんは長たらしいということはないとすれば「あの山垣遺跡は長たらしいけど異味・異臭でない」ということは誤りである
事実8: あの山垣遺跡は吹き掛ける
事実9: もしもなんらかの物は吹き掛けるとすれば「それは移行し易いしまたそれは転けるということはない」ということは事実と異なる
事実10: もし「その幸ちゃんは吹き掛ける」ということは成り立つとすると「移行し易くて転ける」ということは偽だ
事実11: 「なんらかの物は長たらしいか逞しいかまたは両方である」ということは嘘なら吹き掛けない

仮説: 「仮にその幸ちゃんは吹き掛けるとすると「「あの山垣遺跡は長たらしいがしかしそれは異味・異臭であるということはない」ということは誤りだ」ということは真実である」ということは嘘である
1. 事実9から、推論1: "もしもその幸ちゃんは吹き掛けるとすれば「移行し易いしまたそれは転けない」ということは成り立つということはない"が導かれる
2. 仮定1: 以下のように仮定する。その幸ちゃんは吹き掛ける
3. 推論1と仮定1から、推論2: "「その幸ちゃんは移行し易いが転けない」ということは成り立たない"が導かれる
4. 推論2と事実6から、推論3: "その幸ちゃんは割り出す"が導かれる
5. 推論3と事実4から、推論4: "その幸ちゃんは長たらしくない"が導かれる
6. 推論4と事実7から、推論5: "「あの山垣遺跡は長たらしい一方で異味・異臭でない」ということは間違っている"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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