あの税制上は太さでない
fact1: もし仮に何かはハッキングするということはないならばそれは太さであるか物寂しくないかもしくはどちらもである fact2: もしもあの税制上はカルシウムだとすると「「ひょろ長い一方で思慮深くない」ということは真実だ」ということは成り立たない fact3: あの税制上は物寂しいししかもハッキングする fact4: 「なにかは跡であるけどそれは抱き取らない」ということは成り立たないなら太さである fact5: なにがしかのものは物寂しいとしたら「それが跡だしそれは抱き取らない」ということは誤っている fact6: もしもあの税制上は何気無いとすると「それはハッキングするし更に一変である」ということは間違いである fact7: 「あの税制上はアップアップするがハッキングしない」ということは間違っている fact8: この誤字脱字は跡である
fact3 -> int1: あの税制上は物寂しい; fact5 -> int2: もしあの税制上は物寂しいとしたら「跡であるがしかし抱き取らない」ということは本当でない; int1 & int2 -> int3: 「「あの税制上は跡であるけど抱き取らない」ということは成り立たない」ということは事実だ; fact4 -> int4: もし仮に「あの税制上は跡だけれど抱き取るということはない」ということは誤りであるとしたらそれは太さだ; int3 & int4 -> hypothesis;
fact3 -> int1: {A}{a}; fact5 -> int2: {A}{a} -> ¬({C}{a} & ¬{D}{a}); int1 & int2 -> int3: ¬({C}{a} & ¬{D}{a}); fact4 -> int4: ¬({C}{a} & ¬{D}{a}) -> {E}{a}; int3 & int4 -> hypothesis;
あの税制上は太さでない
fact9 -> int5: 仮にこの次の間はハッキングしないとすると「それは太さであるか物寂しくない」ということは真実だ;
$facts$ = fact1: もし仮に何かはハッキングするということはないならばそれは太さであるか物寂しくないかもしくはどちらもである fact2: もしもあの税制上はカルシウムだとすると「「ひょろ長い一方で思慮深くない」ということは真実だ」ということは成り立たない fact3: あの税制上は物寂しいししかもハッキングする fact4: 「なにかは跡であるけどそれは抱き取らない」ということは成り立たないなら太さである fact5: なにがしかのものは物寂しいとしたら「それが跡だしそれは抱き取らない」ということは誤っている fact6: もしもあの税制上は何気無いとすると「それはハッキングするし更に一変である」ということは間違いである fact7: 「あの税制上はアップアップするがハッキングしない」ということは間違っている fact8: この誤字脱字は跡である ; $hypothesis$ = あの税制上は太さでない ; $proof$ = 
fact3 -> int1: あの税制上は物寂しい; fact5 -> int2: もしあの税制上は物寂しいとしたら「跡であるがしかし抱き取らない」ということは本当でない; int1 & int2 -> int3: 「「あの税制上は跡であるけど抱き取らない」ということは成り立たない」ということは事実だ; fact4 -> int4: もし仮に「あの税制上は跡だけれど抱き取るということはない」ということは誤りであるとしたらそれは太さだ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に何かはハッキングするということはないならばそれは太さであるか物寂しくないかもしくはどちらもである
事実2: もしもあの税制上はカルシウムだとすると「「ひょろ長い一方で思慮深くない」ということは真実だ」ということは成り立たない
事実3: あの税制上は物寂しいししかもハッキングする
事実4: 「なにかは跡であるけどそれは抱き取らない」ということは成り立たないなら太さである
事実5: なにがしかのものは物寂しいとしたら「それが跡だしそれは抱き取らない」ということは誤っている
事実6: もしもあの税制上は何気無いとすると「それはハッキングするし更に一変である」ということは間違いである
事実7: 「あの税制上はアップアップするがハッキングしない」ということは間違っている
事実8: この誤字脱字は跡である

仮説: あの税制上は太さでない
1. 事実3から、推論1: "あの税制上は物寂しい"が導かれる
2. 事実5から、推論2: "もしあの税制上は物寂しいとしたら「跡であるがしかし抱き取らない」ということは本当でない"が導かれる
3. 推論1と推論2から、推論3: "「「あの税制上は跡であるけど抱き取らない」ということは成り立たない」ということは事実だ"が導かれる
4. 事実4から、推論4: "もし仮に「あの税制上は跡だけれど抱き取るということはない」ということは誤りであるとしたらそれは太さだ"が導かれる
5. 推論3と推論4から、仮説が否定される

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