その茶箪笥は演じ続ける一方でそれは鏤めない
fact1: もしこのＪポップが表現空間ならばあの縦棒グラフは破壊行為だ fact2: 「その縦棒グラフは厳くない一方で御存じ無い」ということは事実と異なる fact3: もし仮にこのＪポップは表現空間でない一方で入り難いとすれば「あのエキサイトは鏤めない」ということは成り立つ fact4: 「その縦棒グラフは厳くないけれど御存じ無い」ということは成り立つということはないとすれば「このＪポップは破壊行為でない」ということは成り立つ fact5: もし仮に何かは演じ続けないとすればそれは厳くないし表現空間でない fact6: あのエキサイトは破壊行為でないならばそれは御存じ無くないし鏤めない fact7: もしなにかは入り難いならそれは演じ続けるしそれは鏤めない fact8: もしその縦棒グラフが破壊行為であるとするとその茶箪笥は入り難い fact9: 仮にその茶箪笥が破壊行為だということはないならそれは鏤めなくてかつ演じ続けない fact10: 仮にあのエキサイトが表現空間でないとすればこのＪポップは表現空間だ fact11: 仮にこのＪポップは表現空間でないなら「その縦棒グラフは厳い一方でそれは表現空間でない」ということは間違いだ fact12: このＪポップは入り難くない fact13: 仮にその茶箪笥が演じ続けるということはないとするとそれは入り難くなくてそれは表現空間でない fact14: もしもあのエキサイトは鏤めないとすれば「その茶箪笥は演じ続けるしそれは鏤める」ということは成り立たない fact15: もしなにかは破壊行為でないとすれば表現空間でないしかつそれは入り難くない fact16: その茶箪笥が表現空間だ一方でそれが破壊行為でないとすればこのＪポップは鏤めるということはない fact17: もし仮にあのエキサイトは鏤めないなら「その茶箪笥は演じ続けるがしかし鏤めるということはない」ということは成り立たない fact18: このＪポップが表現空間でなくてしかも入り難くないならあのエキサイトは鏤めない fact19: 仮にその縦棒グラフは御存じ無くないとしたら「このＪポップは破壊行為でない」ということは確かである
fact4 & fact2 -> int1: このＪポップは破壊行為でない; fact15 -> int2: このＪポップが破壊行為であるということはないとすれば表現空間だということはないしさらに入り難くない; int1 & int2 -> int3: このＪポップは表現空間でないしさらに入り難くない; int3 & fact18 -> int4: あのエキサイトは鏤めない; int4 & fact17 -> hypothesis;
その茶箪笥は演じ続けるがしかし鏤めるということはない
fact23 -> int5: 仮にその茶箪笥が入り難いとするとそれは演じ続けるがしかし鏤めるということはない;
$facts$ = fact1: もしこのＪポップが表現空間ならばあの縦棒グラフは破壊行為だ fact2: 「その縦棒グラフは厳くない一方で御存じ無い」ということは事実と異なる fact3: もし仮にこのＪポップは表現空間でない一方で入り難いとすれば「あのエキサイトは鏤めない」ということは成り立つ fact4: 「その縦棒グラフは厳くないけれど御存じ無い」ということは成り立つということはないとすれば「このＪポップは破壊行為でない」ということは成り立つ fact5: もし仮に何かは演じ続けないとすればそれは厳くないし表現空間でない fact6: あのエキサイトは破壊行為でないならばそれは御存じ無くないし鏤めない fact7: もしなにかは入り難いならそれは演じ続けるしそれは鏤めない fact8: もしその縦棒グラフが破壊行為であるとするとその茶箪笥は入り難い fact9: 仮にその茶箪笥が破壊行為だということはないならそれは鏤めなくてかつ演じ続けない fact10: 仮にあのエキサイトが表現空間でないとすればこのＪポップは表現空間だ fact11: 仮にこのＪポップは表現空間でないなら「その縦棒グラフは厳い一方でそれは表現空間でない」ということは間違いだ fact12: このＪポップは入り難くない fact13: 仮にその茶箪笥が演じ続けるということはないとするとそれは入り難くなくてそれは表現空間でない fact14: もしもあのエキサイトは鏤めないとすれば「その茶箪笥は演じ続けるしそれは鏤める」ということは成り立たない fact15: もしなにかは破壊行為でないとすれば表現空間でないしかつそれは入り難くない fact16: その茶箪笥が表現空間だ一方でそれが破壊行為でないとすればこのＪポップは鏤めるということはない fact17: もし仮にあのエキサイトは鏤めないなら「その茶箪笥は演じ続けるがしかし鏤めるということはない」ということは成り立たない fact18: このＪポップが表現空間でなくてしかも入り難くないならあのエキサイトは鏤めない fact19: 仮にその縦棒グラフは御存じ無くないとしたら「このＪポップは破壊行為でない」ということは確かである ; $hypothesis$ = その茶箪笥は演じ続ける一方でそれは鏤めない ; $proof$ = 
fact4 & fact2 -> int1: このＪポップは破壊行為でない; fact15 -> int2: このＪポップが破壊行為であるということはないとすれば表現空間だということはないしさらに入り難くない; int1 & int2 -> int3: このＪポップは表現空間でないしさらに入り難くない; int3 & fact18 -> int4: あのエキサイトは鏤めない; int4 & fact17 -> hypothesis; __DISPROVED__
事実1: もしこのＪポップが表現空間ならばあの縦棒グラフは破壊行為だ
事実2: 「その縦棒グラフは厳くない一方で御存じ無い」ということは事実と異なる
事実3: もし仮にこのＪポップは表現空間でない一方で入り難いとすれば「あのエキサイトは鏤めない」ということは成り立つ
事実4: 「その縦棒グラフは厳くないけれど御存じ無い」ということは成り立つということはないとすれば「このＪポップは破壊行為でない」ということは成り立つ
事実5: もし仮に何かは演じ続けないとすればそれは厳くないし表現空間でない
事実6: あのエキサイトは破壊行為でないならばそれは御存じ無くないし鏤めない
事実7: もしなにかは入り難いならそれは演じ続けるしそれは鏤めない
事実8: もしその縦棒グラフが破壊行為であるとするとその茶箪笥は入り難い
事実9: 仮にその茶箪笥が破壊行為だということはないならそれは鏤めなくてかつ演じ続けない
事実10: 仮にあのエキサイトが表現空間でないとすればこのＪポップは表現空間だ
事実11: 仮にこのＪポップは表現空間でないなら「その縦棒グラフは厳い一方でそれは表現空間でない」ということは間違いだ
事実12: このＪポップは入り難くない
事実13: 仮にその茶箪笥が演じ続けるということはないとするとそれは入り難くなくてそれは表現空間でない
事実14: もしもあのエキサイトは鏤めないとすれば「その茶箪笥は演じ続けるしそれは鏤める」ということは成り立たない
事実15: もしなにかは破壊行為でないとすれば表現空間でないしかつそれは入り難くない
事実16: その茶箪笥が表現空間だ一方でそれが破壊行為でないとすればこのＪポップは鏤めるということはない
事実17: もし仮にあのエキサイトは鏤めないなら「その茶箪笥は演じ続けるがしかし鏤めるということはない」ということは成り立たない
事実18: このＪポップが表現空間でなくてしかも入り難くないならあのエキサイトは鏤めない
事実19: 仮にその縦棒グラフは御存じ無くないとしたら「このＪポップは破壊行為でない」ということは確かである

仮説: その茶箪笥は演じ続ける一方でそれは鏤めない
1. 事実4と事実2から、推論1: "このＪポップは破壊行為でない"が導かれる
2. 事実15から、推論2: "このＪポップが破壊行為であるということはないとすれば表現空間だということはないしさらに入り難くない"が導かれる
3. 推論1と推論2から、推論3: "このＪポップは表現空間でないしさらに入り難くない"が導かれる
4. 推論3と事実18から、推論4: "あのエキサイトは鏤めない"が導かれる
5. 推論4と事実17から、仮説が否定される

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