あのグレーゾーンは等しない
fact1: 「このアンチ・エイリアスは腹黒くて立ち上がれる」ということは成り立たない fact2: 仮に「「埃っぽいが付き難くない」ということは間違いである」ものがあるとするとあのグレーゾーンは等し fact3: もしもなにがしかの物は変動相場制下であるということはないとすると今日的状況でない fact4: もし仮に「あのグレーゾーンは避暑だしおまけに御安い」ということは間違いだとすればそのオートシェイプは変動相場制下でない fact5: もし何かは今日的状況でないとすると等しししかも高等生物である fact6: 「「埃っぽくて付き難い」ということは嘘である」物はある fact7: 仮に「「腹黒いしその上立ち上がれる」ということは成り立つということはない」物があるとするとこの市川白猿集は御安くない fact8: そのオートシェイプは粘り強くない fact9: もし仮に何かは粘り強くないとすると「それは埃っぽいけど付き難くない」ということは成り立たない fact10: もしなにがしかのものは等しとしたら「溶け切るがしかし粘り強くない」ということは嘘である fact11: 「「御安くない」ということは本当な」ものはあるなら「あのグレーゾーンは避暑でその上御安い」ということは嘘だ
fact9 -> int1: もし仮にそのオートシェイプは粘り強くないとすると「埃っぽいがしかし付き難くない」ということは嘘である; int1 & fact8 -> int2: 「そのオートシェイプは埃っぽいけど付き難くない」ということは誤りだ; int2 -> int3: 「「埃っぽいが付き難くない」ということは誤っている」ものはある; int3 & fact2 -> hypothesis;
「そのオートシェイプは溶け切るが粘り強くない」ということは嘘だ
fact18 -> int4: 仮にそのオートシェイプは等しなら「それは溶け切るしそれは粘り強くない」ということは成り立たない; fact14 -> int5: もしそのオートシェイプが今日的状況でないならばそれは等ししそれにそれは高等生物である; fact12 -> int6: そのオートシェイプが変動相場制下でないとすれば今日的状況でない; fact16 -> int7: 「「腹黒いしさらに立ち上がれる」ということは成り立つということはない」ものはある; int7 & fact17 -> int8: この市川白猿集は御安くない; int8 -> int9: 「御安くない」ものはある; int9 & fact15 -> int10: 「あのグレーゾーンは避暑であるしそれに御安い」ということは間違っている; fact13 & int10 -> int11: そのオートシェイプは変動相場制下でない; int6 & int11 -> int12: そのオートシェイプは今日的状況でない; int5 & int12 -> int13: そのオートシェイプは等しし更に高等生物だ; int13 -> int14: そのオートシェイプは等し; int4 & int14 -> hypothesis;
$facts$ = fact1: 「このアンチ・エイリアスは腹黒くて立ち上がれる」ということは成り立たない fact2: 仮に「「埃っぽいが付き難くない」ということは間違いである」ものがあるとするとあのグレーゾーンは等し fact3: もしもなにがしかの物は変動相場制下であるということはないとすると今日的状況でない fact4: もし仮に「あのグレーゾーンは避暑だしおまけに御安い」ということは間違いだとすればそのオートシェイプは変動相場制下でない fact5: もし何かは今日的状況でないとすると等しししかも高等生物である fact6: 「「埃っぽくて付き難い」ということは嘘である」物はある fact7: 仮に「「腹黒いしその上立ち上がれる」ということは成り立つということはない」物があるとするとこの市川白猿集は御安くない fact8: そのオートシェイプは粘り強くない fact9: もし仮に何かは粘り強くないとすると「それは埃っぽいけど付き難くない」ということは成り立たない fact10: もしなにがしかのものは等しとしたら「溶け切るがしかし粘り強くない」ということは嘘である fact11: 「「御安くない」ということは本当な」ものはあるなら「あのグレーゾーンは避暑でその上御安い」ということは嘘だ ; $hypothesis$ = あのグレーゾーンは等しない ; $proof$ = 
fact9 -> int1: もし仮にそのオートシェイプは粘り強くないとすると「埃っぽいがしかし付き難くない」ということは嘘である; int1 & fact8 -> int2: 「そのオートシェイプは埃っぽいけど付き難くない」ということは誤りだ; int2 -> int3: 「「埃っぽいが付き難くない」ということは誤っている」ものはある; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: 「このアンチ・エイリアスは腹黒くて立ち上がれる」ということは成り立たない
事実2: 仮に「「埃っぽいが付き難くない」ということは間違いである」ものがあるとするとあのグレーゾーンは等し
事実3: もしもなにがしかの物は変動相場制下であるということはないとすると今日的状況でない
事実4: もし仮に「あのグレーゾーンは避暑だしおまけに御安い」ということは間違いだとすればそのオートシェイプは変動相場制下でない
事実5: もし何かは今日的状況でないとすると等しししかも高等生物である
事実6: 「「埃っぽくて付き難い」ということは嘘である」物はある
事実7: 仮に「「腹黒いしその上立ち上がれる」ということは成り立つということはない」物があるとするとこの市川白猿集は御安くない
事実8: そのオートシェイプは粘り強くない
事実9: もし仮に何かは粘り強くないとすると「それは埃っぽいけど付き難くない」ということは成り立たない
事実10: もしなにがしかのものは等しとしたら「溶け切るがしかし粘り強くない」ということは嘘である
事実11: 「「御安くない」ということは本当な」ものはあるなら「あのグレーゾーンは避暑でその上御安い」ということは嘘だ

仮説: あのグレーゾーンは等しない
1. 事実9から、推論1: "もし仮にそのオートシェイプは粘り強くないとすると「埃っぽいがしかし付き難くない」ということは嘘である"が導かれる
2. 推論1と事実8から、推論2: "「そのオートシェイプは埃っぽいけど付き難くない」ということは誤りだ"が導かれる
3. 推論2から、推論3: "「「埃っぽいが付き難くない」ということは誤っている」ものはある"が導かれる
4. 推論3と事実2から、仮説が否定される

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