「その十九：零零サントリーホールは怖いし一晩である」ということは真実でない
fact1: 仮にとある物が掛け渡すということはないならば一晩である fact2: なんらかのものは弄わない fact3: 愛しない物は十九世紀半ば以降である fact4: もしも「「書き直さないし掛け渡さない」ということは事実である」ものがあるとすればその十九：零零サントリーホールは怖くない fact5: その十九：零零サントリーホールが怖いとしたらそれは掛け渡す fact6: もしもとあるものが怖くないしさらに掛け渡さないならばあの十九：零零サントリーホールは書き直さない fact7: もし仮になにかは弄わないししかも取り引き界でないとしたらその十九：零零サントリーホールは書き直さない fact8: 「その十九：零零サントリーホールは掛け渡さない」ということは確かであるならこの土日祝は示し易い fact9: その十九：零零サントリーホールは弄わない fact10: もし仮になんらかの物が書き直さないとしたらそれは一晩だ fact11: 示し易いものは怖い fact12: もしこの土日祝は標準英語でないとしたら示し易い fact13: なにかは弄わないが取り引き界である fact14: 「弄うが取り引き界でない」物はある fact15: なにがしかのものは取り引き界でない fact16: この土日祝は波線である fact17: 何らかのものが怖いということはないしその上掛け渡さないとすればその十九：零零サントリーホールは示し易くない fact18: なにがしかのものは喜ばすということはないし加えてそれは弱しということはない fact19: なにがしかの物は落ち着き払わないしかつ地雷原でない fact20: その十九：零零サントリーホールはアプローチし易くない fact21: 「もしも「この土日祝は掛け渡すということはない」ということは確かであるとするとその十九：零零サントリーホールは示し易い」ということは真実である fact22: この土日祝は掛け渡さない fact23: 示し易い物は掛け渡す fact24: 「弄わなくて取り引き界でない」物はある
fact21 & fact22 -> int1: その十九：零零サントリーホールは示し易い; fact11 -> int2: もしもその十九：零零サントリーホールが示し易いとすればそれは怖い; int1 & int2 -> int3: その十九：零零サントリーホールは怖い; fact10 -> int4: 仮にその十九：零零サントリーホールが書き直さないとすると一晩だ; fact24 & fact7 -> int5: その十九：零零サントリーホールは書き直さない; int4 & int5 -> int6: その十九：零零サントリーホールは一晩である; int3 & int6 -> hypothesis;
fact21 & fact22 -> int1: {B}{b}; fact11 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; fact10 -> int4: ¬{E}{b} -> {D}{b}; fact24 & fact7 -> int5: ¬{E}{b}; int4 & int5 -> int6: {D}{b}; int3 & int6 -> hypothesis;
「その十九：零零サントリーホールは怖いしそれは一晩だ」ということは間違っている
fact25 -> int7: 仮にこの土日祝が示し易いならそれは掛け渡す;
$facts$ = fact1: 仮にとある物が掛け渡すということはないならば一晩である fact2: なんらかのものは弄わない fact3: 愛しない物は十九世紀半ば以降である fact4: もしも「「書き直さないし掛け渡さない」ということは事実である」ものがあるとすればその十九：零零サントリーホールは怖くない fact5: その十九：零零サントリーホールが怖いとしたらそれは掛け渡す fact6: もしもとあるものが怖くないしさらに掛け渡さないならばあの十九：零零サントリーホールは書き直さない fact7: もし仮になにかは弄わないししかも取り引き界でないとしたらその十九：零零サントリーホールは書き直さない fact8: 「その十九：零零サントリーホールは掛け渡さない」ということは確かであるならこの土日祝は示し易い fact9: その十九：零零サントリーホールは弄わない fact10: もし仮になんらかの物が書き直さないとしたらそれは一晩だ fact11: 示し易いものは怖い fact12: もしこの土日祝は標準英語でないとしたら示し易い fact13: なにかは弄わないが取り引き界である fact14: 「弄うが取り引き界でない」物はある fact15: なにがしかのものは取り引き界でない fact16: この土日祝は波線である fact17: 何らかのものが怖いということはないしその上掛け渡さないとすればその十九：零零サントリーホールは示し易くない fact18: なにがしかのものは喜ばすということはないし加えてそれは弱しということはない fact19: なにがしかの物は落ち着き払わないしかつ地雷原でない fact20: その十九：零零サントリーホールはアプローチし易くない fact21: 「もしも「この土日祝は掛け渡すということはない」ということは確かであるとするとその十九：零零サントリーホールは示し易い」ということは真実である fact22: この土日祝は掛け渡さない fact23: 示し易い物は掛け渡す fact24: 「弄わなくて取り引き界でない」物はある ; $hypothesis$ = 「その十九：零零サントリーホールは怖いし一晩である」ということは真実でない ; $proof$ = 
fact21 & fact22 -> int1: その十九：零零サントリーホールは示し易い; fact11 -> int2: もしもその十九：零零サントリーホールが示し易いとすればそれは怖い; int1 & int2 -> int3: その十九：零零サントリーホールは怖い; fact10 -> int4: 仮にその十九：零零サントリーホールが書き直さないとすると一晩だ; fact24 & fact7 -> int5: その十九：零零サントリーホールは書き直さない; int4 & int5 -> int6: その十九：零零サントリーホールは一晩である; int3 & int6 -> hypothesis; __DISPROVED__
事実1: 仮にとある物が掛け渡すということはないならば一晩である
事実2: なんらかのものは弄わない
事実3: 愛しない物は十九世紀半ば以降である
事実4: もしも「「書き直さないし掛け渡さない」ということは事実である」ものがあるとすればその十九：零零サントリーホールは怖くない
事実5: その十九：零零サントリーホールが怖いとしたらそれは掛け渡す
事実6: もしもとあるものが怖くないしさらに掛け渡さないならばあの十九：零零サントリーホールは書き直さない
事実7: もし仮になにかは弄わないししかも取り引き界でないとしたらその十九：零零サントリーホールは書き直さない
事実8: 「その十九：零零サントリーホールは掛け渡さない」ということは確かであるならこの土日祝は示し易い
事実9: その十九：零零サントリーホールは弄わない
事実10: もし仮になんらかの物が書き直さないとしたらそれは一晩だ
事実11: 示し易いものは怖い
事実12: もしこの土日祝は標準英語でないとしたら示し易い
事実13: なにかは弄わないが取り引き界である
事実14: 「弄うが取り引き界でない」物はある
事実15: なにがしかのものは取り引き界でない
事実16: この土日祝は波線である
事実17: 何らかのものが怖いということはないしその上掛け渡さないとすればその十九：零零サントリーホールは示し易くない
事実18: なにがしかのものは喜ばすということはないし加えてそれは弱しということはない
事実19: なにがしかの物は落ち着き払わないしかつ地雷原でない
事実20: その十九：零零サントリーホールはアプローチし易くない
事実21: 「もしも「この土日祝は掛け渡すということはない」ということは確かであるとするとその十九：零零サントリーホールは示し易い」ということは真実である
事実22: この土日祝は掛け渡さない
事実23: 示し易い物は掛け渡す
事実24: 「弄わなくて取り引き界でない」物はある

仮説: 「その十九：零零サントリーホールは怖いし一晩である」ということは真実でない
1. 事実21と事実22から、推論1: "その十九：零零サントリーホールは示し易い"が導かれる
2. 事実11から、推論2: "もしもその十九：零零サントリーホールが示し易いとすればそれは怖い"が導かれる
3. 推論1と推論2から、推論3: "その十九：零零サントリーホールは怖い"が導かれる
4. 事実10から、推論4: "仮にその十九：零零サントリーホールが書き直さないとすると一晩だ"が導かれる
5. 事実24と事実7から、推論5: "その十九：零零サントリーホールは書き直さない"が導かれる
6. 推論4と推論5から、推論6: "その十九：零零サントリーホールは一晩である"が導かれる
7. 推論3と推論6から、仮説が否定される

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