この石壁はやばくない
fact1: 仮にあのバック・バンドが対談しないとすればそれは壊滅寸前でない fact2: この石壁は晦ますということはなくて汚らしいということはない fact3: もしこのデイルームは対談しなくてしかも壊滅寸前でないなら「あのバック・バンドは晦ます」ということは本当だ fact4: もしあのバック・バンドが壊滅寸前だということはないとするとこの石壁は強しということはないしその上壊滅寸前でない fact5: もし仮にこの石壁は強しないが壊滅寸前だとするとそれはやばい fact6: 「あの西洋文明は祇園精舎でないし及び難くない」ということは偽である fact7: もしあのバック・バンドが好き好まない一方で現われ難いとすればそれは晦ますということはない fact8: もしこの石壁が強しないしおまけに壊滅寸前でないならそれはやばい fact9: もし仮に「あのバック・バンドは対談するしさらにそれは及び難い」ということは誤っていれば「それは壊滅寸前でない」ということは確かだ fact10: もし仮にあのバック・バンドが好き好まないしおまけに現われ難くないとすれば晦まさない fact11: 仮にあのバック・バンドが壊滅寸前でないとしたらこの石壁は壊滅寸前でない fact12: もし仮にこのデイルームが強しとしたら対談しなくて更に壊滅寸前でない fact13: 仮にそのＢＦが及び難いならあのバック・バンドは及び難い fact14: あのバック・バンドは現われ難くない fact15: あのバック・バンドは好き好まないし現われ難くない fact16: もしあのバック・バンドは晦まさないとすると「それは対談するしおまけに及び難い」ということは成り立たない fact17: もし仮に「この石壁は壊滅寸前でない」ということは成り立つなら「現われ難いしその上それは及び難い」ということは成り立たない fact18: この石壁は壊滅寸前でない fact19: あのバック・バンドはプロットしなくてその上やばくない
fact10 & fact15 -> int1: あのバック・バンドは晦まさない; int1 & fact16 -> int2: 「あのバック・バンドは対談するし更に及び難い」ということは成り立たない; int2 & fact9 -> int3: あのバック・バンドは壊滅寸前でない; int3 & fact4 -> int4: この石壁は強しないし壊滅寸前でない; int4 & fact8 -> hypothesis;
この石壁はやばくない
fact22 -> int5: 「「祇園精舎でなくて及び難くない」ということは誤りである」ものはある;
$facts$ = fact1: 仮にあのバック・バンドが対談しないとすればそれは壊滅寸前でない fact2: この石壁は晦ますということはなくて汚らしいということはない fact3: もしこのデイルームは対談しなくてしかも壊滅寸前でないなら「あのバック・バンドは晦ます」ということは本当だ fact4: もしあのバック・バンドが壊滅寸前だということはないとするとこの石壁は強しということはないしその上壊滅寸前でない fact5: もし仮にこの石壁は強しないが壊滅寸前だとするとそれはやばい fact6: 「あの西洋文明は祇園精舎でないし及び難くない」ということは偽である fact7: もしあのバック・バンドが好き好まない一方で現われ難いとすればそれは晦ますということはない fact8: もしこの石壁が強しないしおまけに壊滅寸前でないならそれはやばい fact9: もし仮に「あのバック・バンドは対談するしさらにそれは及び難い」ということは誤っていれば「それは壊滅寸前でない」ということは確かだ fact10: もし仮にあのバック・バンドが好き好まないしおまけに現われ難くないとすれば晦まさない fact11: 仮にあのバック・バンドが壊滅寸前でないとしたらこの石壁は壊滅寸前でない fact12: もし仮にこのデイルームが強しとしたら対談しなくて更に壊滅寸前でない fact13: 仮にそのＢＦが及び難いならあのバック・バンドは及び難い fact14: あのバック・バンドは現われ難くない fact15: あのバック・バンドは好き好まないし現われ難くない fact16: もしあのバック・バンドは晦まさないとすると「それは対談するしおまけに及び難い」ということは成り立たない fact17: もし仮に「この石壁は壊滅寸前でない」ということは成り立つなら「現われ難いしその上それは及び難い」ということは成り立たない fact18: この石壁は壊滅寸前でない fact19: あのバック・バンドはプロットしなくてその上やばくない ; $hypothesis$ = この石壁はやばくない ; $proof$ = 
fact10 & fact15 -> int1: あのバック・バンドは晦まさない; int1 & fact16 -> int2: 「あのバック・バンドは対談するし更に及び難い」ということは成り立たない; int2 & fact9 -> int3: あのバック・バンドは壊滅寸前でない; int3 & fact4 -> int4: この石壁は強しないし壊滅寸前でない; int4 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にあのバック・バンドが対談しないとすればそれは壊滅寸前でない
事実2: この石壁は晦ますということはなくて汚らしいということはない
事実3: もしこのデイルームは対談しなくてしかも壊滅寸前でないなら「あのバック・バンドは晦ます」ということは本当だ
事実4: もしあのバック・バンドが壊滅寸前だということはないとするとこの石壁は強しということはないしその上壊滅寸前でない
事実5: もし仮にこの石壁は強しないが壊滅寸前だとするとそれはやばい
事実6: 「あの西洋文明は祇園精舎でないし及び難くない」ということは偽である
事実7: もしあのバック・バンドが好き好まない一方で現われ難いとすればそれは晦ますということはない
事実8: もしこの石壁が強しないしおまけに壊滅寸前でないならそれはやばい
事実9: もし仮に「あのバック・バンドは対談するしさらにそれは及び難い」ということは誤っていれば「それは壊滅寸前でない」ということは確かだ
事実10: もし仮にあのバック・バンドが好き好まないしおまけに現われ難くないとすれば晦まさない
事実11: 仮にあのバック・バンドが壊滅寸前でないとしたらこの石壁は壊滅寸前でない
事実12: もし仮にこのデイルームが強しとしたら対談しなくて更に壊滅寸前でない
事実13: 仮にそのＢＦが及び難いならあのバック・バンドは及び難い
事実14: あのバック・バンドは現われ難くない
事実15: あのバック・バンドは好き好まないし現われ難くない
事実16: もしあのバック・バンドは晦まさないとすると「それは対談するしおまけに及び難い」ということは成り立たない
事実17: もし仮に「この石壁は壊滅寸前でない」ということは成り立つなら「現われ難いしその上それは及び難い」ということは成り立たない
事実18: この石壁は壊滅寸前でない
事実19: あのバック・バンドはプロットしなくてその上やばくない

仮説: この石壁はやばくない
1. 事実10と事実15から、推論1: "あのバック・バンドは晦まさない"が導かれる
2. 推論1と事実16から、推論2: "「あのバック・バンドは対談するし更に及び難い」ということは成り立たない"が導かれる
3. 推論2と事実9から、推論3: "あのバック・バンドは壊滅寸前でない"が導かれる
4. 推論3と事実4から、推論4: "この石壁は強しないし壊滅寸前でない"が導かれる
5. 推論4と事実8から、仮説が否定される

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