「「「鍛えるということはないしさらに買い漁らない」ということは真実だということはないとしたらアイシャ道であるということはない」ものはある」ということは間違っている
fact1: もし「なにかは鍛えないししかも買い漁らない」ということは成り立たないならばアイシャ道だ fact2: もし「その真昼ちゃんは考え辛いがそれは連れ戻さない」ということは誤りだとしたら買い漁らない fact3: その真昼ちゃんは鍛えないしまた買い漁らないとすれば「アイシャ道である」ということは誤っている fact4: もしある物は鍛えないしそれに買い漁らないとすると「アイシャ道でない」ということは本当である fact5: 「もしも「鍛えないしそれに買い漁るということはない」ということは誤っているならアイシャ道な」ものはある fact6: もし仮に「あのホットシンクは新しないししかも手っ取り早くない」ということは間違いだとすると買い漁らない fact7: 「もし仮に鍛えるならアイシャ道でない」ものはある fact8: 仮にその真昼ちゃんは買い漁れば「アイシャ道であるということはない」ということは成り立つ fact9: 仮に「なにかは鍛えないしそれに買い漁らない」ということは誤りならばアイシャ道であるということはない fact10: 「仮に「逆らわないしおまけにうら若し」ということは正しくないとすると加工し易くない」物はある fact11: もし仮に「なにかは公的資金でないし加えて第三文でない」ということは成り立たないとすればプラスドライバでない fact12: 「もし仮に鍛えるということはなくておまけに買い漁らないとすればアイシャ道でない」物はある fact13: 「仮に「鍛えるし買い漁るということはない」ということは間違いであるとしたらアイシャ道でない」ものはある fact14: 「仮に「強迫行為でないけど拙い」ということは間違っているなら身軽くない」ものはある fact15: もしも「その真昼ちゃんは鍛えないし買い漁らない」ということは本当でないならアイシャ道である
fact9 -> int1: 「その真昼ちゃんは鍛えるということはなくて加えて買い漁らない」ということは真実でないならそれはアイシャ道でない; int1 -> hypothesis;
$facts$ = fact1: もし「なにかは鍛えないししかも買い漁らない」ということは成り立たないならばアイシャ道だ fact2: もし「その真昼ちゃんは考え辛いがそれは連れ戻さない」ということは誤りだとしたら買い漁らない fact3: その真昼ちゃんは鍛えないしまた買い漁らないとすれば「アイシャ道である」ということは誤っている fact4: もしある物は鍛えないしそれに買い漁らないとすると「アイシャ道でない」ということは本当である fact5: 「もしも「鍛えないしそれに買い漁るということはない」ということは誤っているならアイシャ道な」ものはある fact6: もし仮に「あのホットシンクは新しないししかも手っ取り早くない」ということは間違いだとすると買い漁らない fact7: 「もし仮に鍛えるならアイシャ道でない」ものはある fact8: 仮にその真昼ちゃんは買い漁れば「アイシャ道であるということはない」ということは成り立つ fact9: 仮に「なにかは鍛えないしそれに買い漁らない」ということは誤りならばアイシャ道であるということはない fact10: 「仮に「逆らわないしおまけにうら若し」ということは正しくないとすると加工し易くない」物はある fact11: もし仮に「なにかは公的資金でないし加えて第三文でない」ということは成り立たないとすればプラスドライバでない fact12: 「もし仮に鍛えるということはなくておまけに買い漁らないとすればアイシャ道でない」物はある fact13: 「仮に「鍛えるし買い漁るということはない」ということは間違いであるとしたらアイシャ道でない」ものはある fact14: 「仮に「強迫行為でないけど拙い」ということは間違っているなら身軽くない」ものはある fact15: もしも「その真昼ちゃんは鍛えないし買い漁らない」ということは本当でないならアイシャ道である ; $hypothesis$ = 「「「鍛えるということはないしさらに買い漁らない」ということは真実だということはないとしたらアイシャ道であるということはない」ものはある」ということは間違っている ; $proof$ = 
fact9 -> int1: 「その真昼ちゃんは鍛えるということはなくて加えて買い漁らない」ということは真実でないならそれはアイシャ道でない; int1 -> hypothesis; __DISPROVED__
事実1: もし「なにかは鍛えないししかも買い漁らない」ということは成り立たないならばアイシャ道だ
事実2: もし「その真昼ちゃんは考え辛いがそれは連れ戻さない」ということは誤りだとしたら買い漁らない
事実3: その真昼ちゃんは鍛えないしまた買い漁らないとすれば「アイシャ道である」ということは誤っている
事実4: もしある物は鍛えないしそれに買い漁らないとすると「アイシャ道でない」ということは本当である
事実5: 「もしも「鍛えないしそれに買い漁るということはない」ということは誤っているならアイシャ道な」ものはある
事実6: もし仮に「あのホットシンクは新しないししかも手っ取り早くない」ということは間違いだとすると買い漁らない
事実7: 「もし仮に鍛えるならアイシャ道でない」ものはある
事実8: 仮にその真昼ちゃんは買い漁れば「アイシャ道であるということはない」ということは成り立つ
事実9: 仮に「なにかは鍛えないしそれに買い漁らない」ということは誤りならばアイシャ道であるということはない
事実10: 「仮に「逆らわないしおまけにうら若し」ということは正しくないとすると加工し易くない」物はある
事実11: もし仮に「なにかは公的資金でないし加えて第三文でない」ということは成り立たないとすればプラスドライバでない
事実12: 「もし仮に鍛えるということはなくておまけに買い漁らないとすればアイシャ道でない」物はある
事実13: 「仮に「鍛えるし買い漁るということはない」ということは間違いであるとしたらアイシャ道でない」ものはある
事実14: 「仮に「強迫行為でないけど拙い」ということは間違っているなら身軽くない」ものはある
事実15: もしも「その真昼ちゃんは鍛えないし買い漁らない」ということは本当でないならアイシャ道である

仮説: 「「「鍛えるということはないしさらに買い漁らない」ということは真実だということはないとしたらアイシャ道であるということはない」ものはある」ということは間違っている
1. 事実9から、推論1: "「その真昼ちゃんは鍛えるということはなくて加えて買い漁らない」ということは真実でないならそれはアイシャ道でない"が導かれる
2. 推論1から、仮説が否定される

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