「もし「二期会週間だしかつ陰気臭い」ということは成り立つということはないならば真ん丸くない」物はある
fact1: もし仮にあの成果が陰気臭くないとすると真ん丸くない fact2: もし仮に「とある物は二期会週間で加えてそれは陰気臭い」ということは成り立たないとしたらそれは真ん丸いということはない fact3: 仮にあの成果が二期会週間であるし陰気臭いならばそれは真ん丸くない fact4: 仮に「あの成果は悪酔いするし加えて被仰付」ということは間違いであるとすれば陰気臭くない fact5: もしも何かは輸血しないとすると資産状況でない fact6: もしもある物は利さないなら「話し込まない」ということは本当である fact7: 「もしも「等質化するしおまけに仕方無し」ということは本当でないとすれば意味する」物はある fact8: もし「あの成果は二期会週間だし更に陰気臭い」ということは事実と異なるとしたら真ん丸い fact9: 二期会週間が陰気臭いならそれは真ん丸くない
fact2 -> int1: もしも「あの成果が二期会週間だしそれは陰気臭い」ということは間違いであるとすれば真ん丸いということはない; int1 -> hypothesis;
$facts$ = fact1: もし仮にあの成果が陰気臭くないとすると真ん丸くない fact2: もし仮に「とある物は二期会週間で加えてそれは陰気臭い」ということは成り立たないとしたらそれは真ん丸いということはない fact3: 仮にあの成果が二期会週間であるし陰気臭いならばそれは真ん丸くない fact4: 仮に「あの成果は悪酔いするし加えて被仰付」ということは間違いであるとすれば陰気臭くない fact5: もしも何かは輸血しないとすると資産状況でない fact6: もしもある物は利さないなら「話し込まない」ということは本当である fact7: 「もしも「等質化するしおまけに仕方無し」ということは本当でないとすれば意味する」物はある fact8: もし「あの成果は二期会週間だし更に陰気臭い」ということは事実と異なるとしたら真ん丸い fact9: 二期会週間が陰気臭いならそれは真ん丸くない ; $hypothesis$ = 「もし「二期会週間だしかつ陰気臭い」ということは成り立つということはないならば真ん丸くない」物はある ; $proof$ = 
fact2 -> int1: もしも「あの成果が二期会週間だしそれは陰気臭い」ということは間違いであるとすれば真ん丸いということはない; int1 -> hypothesis; __PROVED__
事実1: もし仮にあの成果が陰気臭くないとすると真ん丸くない
事実2: もし仮に「とある物は二期会週間で加えてそれは陰気臭い」ということは成り立たないとしたらそれは真ん丸いということはない
事実3: 仮にあの成果が二期会週間であるし陰気臭いならばそれは真ん丸くない
事実4: 仮に「あの成果は悪酔いするし加えて被仰付」ということは間違いであるとすれば陰気臭くない
事実5: もしも何かは輸血しないとすると資産状況でない
事実6: もしもある物は利さないなら「話し込まない」ということは本当である
事実7: 「もしも「等質化するしおまけに仕方無し」ということは本当でないとすれば意味する」物はある
事実8: もし「あの成果は二期会週間だし更に陰気臭い」ということは事実と異なるとしたら真ん丸い
事実9: 二期会週間が陰気臭いならそれは真ん丸くない

仮説: 「もし「二期会週間だしかつ陰気臭い」ということは成り立つということはないならば真ん丸くない」物はある
1. 事実2から、推論1: "もしも「あの成果が二期会週間だしそれは陰気臭い」ということは間違いであるとすれば真ん丸いということはない"が導かれる
2. 推論1から、仮説が導かれる

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