その牽強付会は自立出来ないししかもそれは御存じ無いということはない
fact1: もしこのハートフィールドがパイプオルガンなら御居る fact2: もしもその牽強付会は自立出来なくて更に御存じ無くないとしたら損ねらない fact3: もしなにがしかのものがそつ無いがしかし損ねらないとしたらそれは分かり難くない fact4: 「このハートフィールドはパイプオルガンであるかもしくは天狗らしい」ということは確かである fact5: 仮にこのハートフィールドが分かり難くないとすればあの牽強付会は自立出来なくて御存じ無いということはない fact6: もしも「このハートフィールドは天狗らしい」ということは本当だとしたら御居る fact7: その牽強付会は損ねるし分かり難い fact8: 運転し易くない物はそつ無くて分かり難い fact9: あの非決定性有限状態オートマトンは損ねらない fact10: もしもその本盾村は広くないとしたら「それはそつ無いということはなくて乱発しない」ということは間違いだ fact11: その牽強付会は自立出来ない fact12: もしも「その本盾村はそつ無いということはなくて加えて乱発しない」ということは誤っているとすればこのハートフィールドはそつ無い fact13: もし「「御居る」ということは成り立つ」物があるとするとその牽強付会は広いししかも乱発する
void -> assump1: 以下のように仮定する。その牽強付会は自立出来ないし御存じ無くない; fact2 & assump1 -> int1: その牽強付会は損ねらない; fact7 -> int2: その牽強付会は損ねる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{a}; fact7 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その牽強付会は自立出来るということはなくて御存じ無くない
fact17 -> int4: もしもこのハートフィールドがそつ無いけれどそれが損ねるということはないとすると分かり難くない;
$facts$ = fact1: もしこのハートフィールドがパイプオルガンなら御居る fact2: もしもその牽強付会は自立出来なくて更に御存じ無くないとしたら損ねらない fact3: もしなにがしかのものがそつ無いがしかし損ねらないとしたらそれは分かり難くない fact4: 「このハートフィールドはパイプオルガンであるかもしくは天狗らしい」ということは確かである fact5: 仮にこのハートフィールドが分かり難くないとすればあの牽強付会は自立出来なくて御存じ無いということはない fact6: もしも「このハートフィールドは天狗らしい」ということは本当だとしたら御居る fact7: その牽強付会は損ねるし分かり難い fact8: 運転し易くない物はそつ無くて分かり難い fact9: あの非決定性有限状態オートマトンは損ねらない fact10: もしもその本盾村は広くないとしたら「それはそつ無いということはなくて乱発しない」ということは間違いだ fact11: その牽強付会は自立出来ない fact12: もしも「その本盾村はそつ無いということはなくて加えて乱発しない」ということは誤っているとすればこのハートフィールドはそつ無い fact13: もし「「御居る」ということは成り立つ」物があるとするとその牽強付会は広いししかも乱発する ; $hypothesis$ = その牽強付会は自立出来ないししかもそれは御存じ無いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その牽強付会は自立出来ないし御存じ無くない; fact2 & assump1 -> int1: その牽強付会は損ねらない; fact7 -> int2: その牽強付会は損ねる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしこのハートフィールドがパイプオルガンなら御居る
事実2: もしもその牽強付会は自立出来なくて更に御存じ無くないとしたら損ねらない
事実3: もしなにがしかのものがそつ無いがしかし損ねらないとしたらそれは分かり難くない
事実4: 「このハートフィールドはパイプオルガンであるかもしくは天狗らしい」ということは確かである
事実5: 仮にこのハートフィールドが分かり難くないとすればあの牽強付会は自立出来なくて御存じ無いということはない
事実6: もしも「このハートフィールドは天狗らしい」ということは本当だとしたら御居る
事実7: その牽強付会は損ねるし分かり難い
事実8: 運転し易くない物はそつ無くて分かり難い
事実9: あの非決定性有限状態オートマトンは損ねらない
事実10: もしもその本盾村は広くないとしたら「それはそつ無いということはなくて乱発しない」ということは間違いだ
事実11: その牽強付会は自立出来ない
事実12: もしも「その本盾村はそつ無いということはなくて加えて乱発しない」ということは誤っているとすればこのハートフィールドはそつ無い
事実13: もし「「御居る」ということは成り立つ」物があるとするとその牽強付会は広いししかも乱発する

仮説: その牽強付会は自立出来ないししかもそれは御存じ無いということはない
1. 仮定1: 以下のように仮定する。その牽強付会は自立出来ないし御存じ無くない
2. 事実2と仮定1から、推論1: "その牽強付会は損ねらない"が導かれる
3. 事実7から、推論2: "その牽強付会は損ねる"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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