この断簡は帳簿閲覧権だ
fact1: この舞楽殿は忠実忠実しかない fact2: もし帳簿閲覧権はヤング案であるなら忠実忠実しかない fact3: もしもＪポップはスーパーセットであるということはないとしたらそれは骨董屋だ fact4: もしもとある物が踏み殺すとしたらＪポップであるしそれはスーパーセットでない fact5: この舞楽殿は帳簿閲覧権でない fact6: この断簡は自分らしいということはない fact7: 「この舞楽殿は自分らしいしかつ物悲しい」ということは誤りである fact8: 何らかのものは忠実忠実しかないなら「それは釣り合うということはないが小気味良い」ということは本当でない fact9: 何もかもは踏み殺す fact10: あの啓蒙書はスーパーセットだということはないとすれば「この舞楽殿は骨董屋でなくてその上ｊポップであるということはない」ということは成り立たない fact11: 「この舞楽殿は自分らしくないけど物悲しい」ということは誤りだとするとこの断簡は帳簿閲覧権でない fact12: もしもこの正義感は子供っぽいということはないとしたら「普遍化でなくてまた地引き網である」ということは嘘だ fact13: もしも「この舞楽殿は忠実忠実しいということはない」ということは成り立つなら「自分らしくないしさらにそれは物悲しい」ということは成り立たない
fact13 & fact1 -> int1: 「この舞楽殿は自分らしいということはないけどそれは物悲しい」ということは成り立たない; int1 & fact11 -> hypothesis;
この断簡は帳簿閲覧権だ
fact16 -> int2: もしあの啓蒙書が踏み殺すとすればＪポップだけどスーパーセットでない; fact14 -> int3: 「あの啓蒙書は踏み殺す」ということは事実である; int2 & int3 -> int4: あの啓蒙書はＪポップだけれどスーパーセットでない; int4 -> int5: すべてはＪポップであるしそれにスーパーセットでない; int5 -> int6: この舞楽殿はＪポップだがスーパーセットでない; fact15 -> int7: もし「この舞楽殿はＪポップであるがしかしスーパーセットでない」ということは成り立てば骨董屋である; int6 & int7 -> int8: この舞楽殿は骨董屋である;
$facts$ = fact1: この舞楽殿は忠実忠実しかない fact2: もし帳簿閲覧権はヤング案であるなら忠実忠実しかない fact3: もしもＪポップはスーパーセットであるということはないとしたらそれは骨董屋だ fact4: もしもとある物が踏み殺すとしたらＪポップであるしそれはスーパーセットでない fact5: この舞楽殿は帳簿閲覧権でない fact6: この断簡は自分らしいということはない fact7: 「この舞楽殿は自分らしいしかつ物悲しい」ということは誤りである fact8: 何らかのものは忠実忠実しかないなら「それは釣り合うということはないが小気味良い」ということは本当でない fact9: 何もかもは踏み殺す fact10: あの啓蒙書はスーパーセットだということはないとすれば「この舞楽殿は骨董屋でなくてその上ｊポップであるということはない」ということは成り立たない fact11: 「この舞楽殿は自分らしくないけど物悲しい」ということは誤りだとするとこの断簡は帳簿閲覧権でない fact12: もしもこの正義感は子供っぽいということはないとしたら「普遍化でなくてまた地引き網である」ということは嘘だ fact13: もしも「この舞楽殿は忠実忠実しいということはない」ということは成り立つなら「自分らしくないしさらにそれは物悲しい」ということは成り立たない ; $hypothesis$ = この断簡は帳簿閲覧権だ ; $proof$ = 
fact13 & fact1 -> int1: 「この舞楽殿は自分らしいということはないけどそれは物悲しい」ということは成り立たない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: この舞楽殿は忠実忠実しかない
事実2: もし帳簿閲覧権はヤング案であるなら忠実忠実しかない
事実3: もしもＪポップはスーパーセットであるということはないとしたらそれは骨董屋だ
事実4: もしもとある物が踏み殺すとしたらＪポップであるしそれはスーパーセットでない
事実5: この舞楽殿は帳簿閲覧権でない
事実6: この断簡は自分らしいということはない
事実7: 「この舞楽殿は自分らしいしかつ物悲しい」ということは誤りである
事実8: 何らかのものは忠実忠実しかないなら「それは釣り合うということはないが小気味良い」ということは本当でない
事実9: 何もかもは踏み殺す
事実10: あの啓蒙書はスーパーセットだということはないとすれば「この舞楽殿は骨董屋でなくてその上ｊポップであるということはない」ということは成り立たない
事実11: 「この舞楽殿は自分らしくないけど物悲しい」ということは誤りだとするとこの断簡は帳簿閲覧権でない
事実12: もしもこの正義感は子供っぽいということはないとしたら「普遍化でなくてまた地引き網である」ということは嘘だ
事実13: もしも「この舞楽殿は忠実忠実しいということはない」ということは成り立つなら「自分らしくないしさらにそれは物悲しい」ということは成り立たない

仮説: この断簡は帳簿閲覧権だ
1. 事実13と事実1から、推論1: "「この舞楽殿は自分らしいということはないけどそれは物悲しい」ということは成り立たない"が導かれる
2. 推論1と事実11から、仮説が否定される

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