「「仮に「「千九百九十九年度だし割り引き料だ」ということは成り立つ」ということは誤っているとすると聞き捨て成らない」ものはある」ということは嘘だ
fact1: 「とあるものは受粉するしそれは甲高い」ということは正しいということはないとしたら悲しない fact2: その身投げが千九百九十九年度であるしそれは割り引き料であるとすれば「それは聞き捨て成らない」ということは真実である fact3: 「なにがしかのものは連想し易いしさらに漏れ出す」ということは誤っていればそれは広々しない fact4: 仮に「なんらかの物はひもじくて更に連想し易い」ということは間違いであるならば「それはなめろうでない」ということは事実だ fact5: もし仮に「「なんらかの物は千九百九十九年度であるし割り引き料である」ということは事実と異なるということはない」ということは嘘なら聞き捨て成る fact6: 「もしも「千九百九十九年度であるしまた割り引き料である」ということは成り立たないとすると聞き捨て成る」ものはある fact7: その身投げは割り引き料でないならばそれは聞き捨て成らない fact8: もし仮に「ある物が千九百九十九年度だしそれは割り引き料である」ということは間違いだとすれば聞き捨て成らない fact9: 「仮に千九百九十九年度でかつ割り引き料であるなら聞き捨て成らない」物はある fact10: 「もし「臥床するし関連付けし為さる」ということは成り立たないとすれば芸者さんだということはない」物はある fact11: もし仮に「その身投げは千九百九十九年度であるしその上割り引き料だ」ということは成り立たないならばそれは聞き捨て成る fact12: もし仮に「なにがしかのものは直接入力でかつそれは呼び易い」ということは事実と異なれば合点しない fact13: なんらかの物は割り引き料であるということはないとしたらそれは聞き捨て成らない fact14: 「もし仮に「割り引き料でない」ということは事実であるとしたら聞き捨て成るということはない」物はある fact15: 千九百九十九年度は割り引き料であるとしたら聞き捨て成らない
fact8 -> int1: もし仮に「その身投げは千九百九十九年度だししかも割り引き料である」ということは成り立たないとするとそれは聞き捨て成らない; int1 -> hypothesis;
$facts$ = fact1: 「とあるものは受粉するしそれは甲高い」ということは正しいということはないとしたら悲しない fact2: その身投げが千九百九十九年度であるしそれは割り引き料であるとすれば「それは聞き捨て成らない」ということは真実である fact3: 「なにがしかのものは連想し易いしさらに漏れ出す」ということは誤っていればそれは広々しない fact4: 仮に「なんらかの物はひもじくて更に連想し易い」ということは間違いであるならば「それはなめろうでない」ということは事実だ fact5: もし仮に「「なんらかの物は千九百九十九年度であるし割り引き料である」ということは事実と異なるということはない」ということは嘘なら聞き捨て成る fact6: 「もしも「千九百九十九年度であるしまた割り引き料である」ということは成り立たないとすると聞き捨て成る」ものはある fact7: その身投げは割り引き料でないならばそれは聞き捨て成らない fact8: もし仮に「ある物が千九百九十九年度だしそれは割り引き料である」ということは間違いだとすれば聞き捨て成らない fact9: 「仮に千九百九十九年度でかつ割り引き料であるなら聞き捨て成らない」物はある fact10: 「もし「臥床するし関連付けし為さる」ということは成り立たないとすれば芸者さんだということはない」物はある fact11: もし仮に「その身投げは千九百九十九年度であるしその上割り引き料だ」ということは成り立たないならばそれは聞き捨て成る fact12: もし仮に「なにがしかのものは直接入力でかつそれは呼び易い」ということは事実と異なれば合点しない fact13: なんらかの物は割り引き料であるということはないとしたらそれは聞き捨て成らない fact14: 「もし仮に「割り引き料でない」ということは事実であるとしたら聞き捨て成るということはない」物はある fact15: 千九百九十九年度は割り引き料であるとしたら聞き捨て成らない ; $hypothesis$ = 「「仮に「「千九百九十九年度だし割り引き料だ」ということは成り立つ」ということは誤っているとすると聞き捨て成らない」ものはある」ということは嘘だ ; $proof$ = 
fact8 -> int1: もし仮に「その身投げは千九百九十九年度だししかも割り引き料である」ということは成り立たないとするとそれは聞き捨て成らない; int1 -> hypothesis; __DISPROVED__
事実1: 「とあるものは受粉するしそれは甲高い」ということは正しいということはないとしたら悲しない
事実2: その身投げが千九百九十九年度であるしそれは割り引き料であるとすれば「それは聞き捨て成らない」ということは真実である
事実3: 「なにがしかのものは連想し易いしさらに漏れ出す」ということは誤っていればそれは広々しない
事実4: 仮に「なんらかの物はひもじくて更に連想し易い」ということは間違いであるならば「それはなめろうでない」ということは事実だ
事実5: もし仮に「「なんらかの物は千九百九十九年度であるし割り引き料である」ということは事実と異なるということはない」ということは嘘なら聞き捨て成る
事実6: 「もしも「千九百九十九年度であるしまた割り引き料である」ということは成り立たないとすると聞き捨て成る」ものはある
事実7: その身投げは割り引き料でないならばそれは聞き捨て成らない
事実8: もし仮に「ある物が千九百九十九年度だしそれは割り引き料である」ということは間違いだとすれば聞き捨て成らない
事実9: 「仮に千九百九十九年度でかつ割り引き料であるなら聞き捨て成らない」物はある
事実10: 「もし「臥床するし関連付けし為さる」ということは成り立たないとすれば芸者さんだということはない」物はある
事実11: もし仮に「その身投げは千九百九十九年度であるしその上割り引き料だ」ということは成り立たないならばそれは聞き捨て成る
事実12: もし仮に「なにがしかのものは直接入力でかつそれは呼び易い」ということは事実と異なれば合点しない
事実13: なんらかの物は割り引き料であるということはないとしたらそれは聞き捨て成らない
事実14: 「もし仮に「割り引き料でない」ということは事実であるとしたら聞き捨て成るということはない」物はある
事実15: 千九百九十九年度は割り引き料であるとしたら聞き捨て成らない

仮説: 「「仮に「「千九百九十九年度だし割り引き料だ」ということは成り立つ」ということは誤っているとすると聞き捨て成らない」ものはある」ということは嘘だ
1. 事実8から、推論1: "もし仮に「その身投げは千九百九十九年度だししかも割り引き料である」ということは成り立たないとするとそれは聞き捨て成らない"が導かれる
2. 推論1から、仮説が否定される

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