「あの書き直しは国富でない」ということは確かである
fact1: もし仮に何かは差し押さえしないとしたら国富でない fact2: 「その一年以上前は無声化し易くないがしかし攀じ登る」ということは嘘である fact3: その表Ａが月台であるならばそれは百円辺りであるかあるいはそれは茶色っぽくない fact4: あの書き直しは差し押さえするが労労じということはない fact5: 仮にあの書き直しがニューシングルであるがしかし差し押さえしないならばあの狭帯域は国富である fact6: もし「その一年以上前は無声化し易くないが攀じ登る」ということは間違っているならその表Ａは攀じ登らない fact7: 「もしあの御久し振りが発展するとするとその全国友は発展する」ということは誤りでない fact8: あの狭帯域が差し押さえするしニューシングルだとしたらあの書き直しは国富である fact9: 「すべては差し押さえするししかもそれはニューシングルでない」ということは成り立つ fact10: あの書き直しは名乗る一方で売り始めない fact11: もしあの狭帯域が国富であるし加えてニューシングルであるとすればあの書き直しは差し押さえする fact12: もしなんらかのものが嗅ぎ回り始めれば月台である fact13: もし仮にその全国友が発展するならあの書き直しはニューシングルでない一方で差し押さえする fact14: ある物は茶色っぽくないならば「それは駆逐するけど達観しない」ということは嘘だ fact15: もしもなにがしかのものが攀じ登るということはないとすると嗅ぎ回り始める fact16: 「柴燈護摩は発展する」ということは成り立つ fact17: すべてはニューシングルであるということはない fact18: あの狭帯域はニューシングルでない fact19: もしもなんらかの物が百円辺りであるかそれが茶色っぽくないなら茶色っぽくない fact20: 仮にあの狭帯域が差し押さえする一方でニューシングルでないとしたらあの書き直しは国富だ fact21: その法益侵害は前倒しである
fact9 -> int1: あの狭帯域は差し押さえするけどそれはニューシングルでない; int1 & fact20 -> hypothesis;
fact9 -> int1: ({A}{aa} & ¬{B}{aa}); int1 & fact20 -> hypothesis;
あの書き直しは国富でない
fact24 -> int2: もしもあの御久し振りは柴燈護摩であるとしたらそれは発展する; fact31 -> int3: もしもその表Ａは茶色っぽくないとしたら「駆逐するけど達観しない」ということは偽である; fact29 -> int4: 仮に「その表Ａは百円辺りであるか茶色っぽくない」ということは確かならば茶色っぽくない; fact23 -> int5: もしもその表Ａが嗅ぎ回り始めるなら月台である; fact27 -> int6: その表Ａが攀じ登らないとすればそれは嗅ぎ回り始める; fact30 & fact22 -> int7: その表Ａは攀じ登らない; int6 & int7 -> int8: その表Ａは嗅ぎ回り始める; int5 & int8 -> int9: その表Ａは月台だ; fact25 & int9 -> int10: 「その表Ａは百円辺りであるかまたは茶色っぽくない」ということは確かだ; int4 & int10 -> int11: その表Ａは茶色っぽくない; int3 & int11 -> int12: 「その表Ａは駆逐する一方でそれは達観しない」ということは成り立たない; int12 -> int13: 「「駆逐するしさらに達観しない」ということは誤っている」物はある;
$facts$ = fact1: もし仮に何かは差し押さえしないとしたら国富でない fact2: 「その一年以上前は無声化し易くないがしかし攀じ登る」ということは嘘である fact3: その表Ａが月台であるならばそれは百円辺りであるかあるいはそれは茶色っぽくない fact4: あの書き直しは差し押さえするが労労じということはない fact5: 仮にあの書き直しがニューシングルであるがしかし差し押さえしないならばあの狭帯域は国富である fact6: もし「その一年以上前は無声化し易くないが攀じ登る」ということは間違っているならその表Ａは攀じ登らない fact7: 「もしあの御久し振りが発展するとするとその全国友は発展する」ということは誤りでない fact8: あの狭帯域が差し押さえするしニューシングルだとしたらあの書き直しは国富である fact9: 「すべては差し押さえするししかもそれはニューシングルでない」ということは成り立つ fact10: あの書き直しは名乗る一方で売り始めない fact11: もしあの狭帯域が国富であるし加えてニューシングルであるとすればあの書き直しは差し押さえする fact12: もしなんらかのものが嗅ぎ回り始めれば月台である fact13: もし仮にその全国友が発展するならあの書き直しはニューシングルでない一方で差し押さえする fact14: ある物は茶色っぽくないならば「それは駆逐するけど達観しない」ということは嘘だ fact15: もしもなにがしかのものが攀じ登るということはないとすると嗅ぎ回り始める fact16: 「柴燈護摩は発展する」ということは成り立つ fact17: すべてはニューシングルであるということはない fact18: あの狭帯域はニューシングルでない fact19: もしもなんらかの物が百円辺りであるかそれが茶色っぽくないなら茶色っぽくない fact20: 仮にあの狭帯域が差し押さえする一方でニューシングルでないとしたらあの書き直しは国富だ fact21: その法益侵害は前倒しである ; $hypothesis$ = 「あの書き直しは国富でない」ということは確かである ; $proof$ = 
fact9 -> int1: あの狭帯域は差し押さえするけどそれはニューシングルでない; int1 & fact20 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは差し押さえしないとしたら国富でない
事実2: 「その一年以上前は無声化し易くないがしかし攀じ登る」ということは嘘である
事実3: その表Ａが月台であるならばそれは百円辺りであるかあるいはそれは茶色っぽくない
事実4: あの書き直しは差し押さえするが労労じということはない
事実5: 仮にあの書き直しがニューシングルであるがしかし差し押さえしないならばあの狭帯域は国富である
事実6: もし「その一年以上前は無声化し易くないが攀じ登る」ということは間違っているならその表Ａは攀じ登らない
事実7: 「もしあの御久し振りが発展するとするとその全国友は発展する」ということは誤りでない
事実8: あの狭帯域が差し押さえするしニューシングルだとしたらあの書き直しは国富である
事実9: 「すべては差し押さえするししかもそれはニューシングルでない」ということは成り立つ
事実10: あの書き直しは名乗る一方で売り始めない
事実11: もしあの狭帯域が国富であるし加えてニューシングルであるとすればあの書き直しは差し押さえする
事実12: もしなんらかのものが嗅ぎ回り始めれば月台である
事実13: もし仮にその全国友が発展するならあの書き直しはニューシングルでない一方で差し押さえする
事実14: ある物は茶色っぽくないならば「それは駆逐するけど達観しない」ということは嘘だ
事実15: もしもなにがしかのものが攀じ登るということはないとすると嗅ぎ回り始める
事実16: 「柴燈護摩は発展する」ということは成り立つ
事実17: すべてはニューシングルであるということはない
事実18: あの狭帯域はニューシングルでない
事実19: もしもなんらかの物が百円辺りであるかそれが茶色っぽくないなら茶色っぽくない
事実20: 仮にあの狭帯域が差し押さえする一方でニューシングルでないとしたらあの書き直しは国富だ
事実21: その法益侵害は前倒しである

仮説: 「あの書き直しは国富でない」ということは確かである
1. 事実9から、推論1: "あの狭帯域は差し押さえするけどそれはニューシングルでない"が導かれる
2. 推論1と事実20から、仮説が否定される

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