この全日程は展示だ
fact1: その東縁は展示でない fact2: 「あの天狗堂は加入金だということはないしそれに解け易くない」ということは成り立たない fact3: 仮にあの天狗堂が爆散するならこの全日程は展示だ fact4: もし「なんらかの物は展示であるしさらに爆散する」ということは真実でないとしたらそれは爆散しない fact5: あの天狗堂は迷い難くない fact6: あの天狗堂は爆散するということはない fact7: もし仮にあの天狗堂は爆散しないとすると「その東縁は用務員でないしおまけにそれは迷い難くない」ということは本当でない fact8: あのブラザーは爆散するということはない fact9: なんらかの物は爆散しなくてそれは迷い難いということはない fact10: その東縁は爆散しない fact11: 「「迷い難くなくて展示である」ということは真実だということはない」ものはある fact12: 「展示でないし用務員でない」物はある fact13: その東縁は爆散しないとすると「あの天狗堂は再発し易いということはなくてまた赤っぽくない」ということは間違っている fact14: もしも「「用務員だということはないし迷い難くない」ということは事実と異なる」物があるとするとこの全日程は展示でない fact15: なにかは表面化するということはないししかもそれは壊滅であるということはない fact16: もし「何らかのものは上積みするし更に解け易い」ということは間違いだとすれば解け易くない
fact7 & fact6 -> int1: 「その東縁は用務員でないしかつ迷い難くない」ということは間違いである; int1 -> int2: 「「用務員でなくて迷い難くない」ということは嘘である」ものはある; int2 & fact14 -> hypothesis;
「この全日程は展示である」ということは本当である
$facts$ = fact1: その東縁は展示でない fact2: 「あの天狗堂は加入金だということはないしそれに解け易くない」ということは成り立たない fact3: 仮にあの天狗堂が爆散するならこの全日程は展示だ fact4: もし「なんらかの物は展示であるしさらに爆散する」ということは真実でないとしたらそれは爆散しない fact5: あの天狗堂は迷い難くない fact6: あの天狗堂は爆散するということはない fact7: もし仮にあの天狗堂は爆散しないとすると「その東縁は用務員でないしおまけにそれは迷い難くない」ということは本当でない fact8: あのブラザーは爆散するということはない fact9: なんらかの物は爆散しなくてそれは迷い難いということはない fact10: その東縁は爆散しない fact11: 「「迷い難くなくて展示である」ということは真実だということはない」ものはある fact12: 「展示でないし用務員でない」物はある fact13: その東縁は爆散しないとすると「あの天狗堂は再発し易いということはなくてまた赤っぽくない」ということは間違っている fact14: もしも「「用務員だということはないし迷い難くない」ということは事実と異なる」物があるとするとこの全日程は展示でない fact15: なにかは表面化するということはないししかもそれは壊滅であるということはない fact16: もし「何らかのものは上積みするし更に解け易い」ということは間違いだとすれば解け易くない ; $hypothesis$ = この全日程は展示だ ; $proof$ = 
fact7 & fact6 -> int1: 「その東縁は用務員でないしかつ迷い難くない」ということは間違いである; int1 -> int2: 「「用務員でなくて迷い難くない」ということは嘘である」ものはある; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: その東縁は展示でない
事実2: 「あの天狗堂は加入金だということはないしそれに解け易くない」ということは成り立たない
事実3: 仮にあの天狗堂が爆散するならこの全日程は展示だ
事実4: もし「なんらかの物は展示であるしさらに爆散する」ということは真実でないとしたらそれは爆散しない
事実5: あの天狗堂は迷い難くない
事実6: あの天狗堂は爆散するということはない
事実7: もし仮にあの天狗堂は爆散しないとすると「その東縁は用務員でないしおまけにそれは迷い難くない」ということは本当でない
事実8: あのブラザーは爆散するということはない
事実9: なんらかの物は爆散しなくてそれは迷い難いということはない
事実10: その東縁は爆散しない
事実11: 「「迷い難くなくて展示である」ということは真実だということはない」ものはある
事実12: 「展示でないし用務員でない」物はある
事実13: その東縁は爆散しないとすると「あの天狗堂は再発し易いということはなくてまた赤っぽくない」ということは間違っている
事実14: もしも「「用務員だということはないし迷い難くない」ということは事実と異なる」物があるとするとこの全日程は展示でない
事実15: なにかは表面化するということはないししかもそれは壊滅であるということはない
事実16: もし「何らかのものは上積みするし更に解け易い」ということは間違いだとすれば解け易くない

仮説: この全日程は展示だ
1. 事実7と事実6から、推論1: "「その東縁は用務員でないしかつ迷い難くない」ということは間違いである"が導かれる
2. 推論1から、推論2: "「「用務員でなくて迷い難くない」ということは嘘である」ものはある"が導かれる
3. 推論2と事実14から、仮説が否定される

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