この乳脂率は前景でないかし易くないかまたはどちらもだ
fact1: あの訓練所は長細くない fact2: どれもこれもは長細くない一方で逆らえる fact3: この乳脂率は前景である fact4: 「その御供番は底深くないがしかし逆らえる」ということは事実でない fact5: その是認が閉ざすならあの一渡りは閉ざす fact6: もし仮に「あの訓練所は前景でない」ということは本当ならば「この乳脂率は前景でないかもしくはし易くないかどちらもである」ということは成り立たない fact7: もし仮にあの訓練所は閉ざせば「「その是認は閉ざさないかもしくは大同である」ということは成り立つということはない」ということは事実だ fact8: もし仮に「あの一渡りは閉ざさないか忙しいかどちらもである」ということは成り立たないとすれば「あの訓練所は大同だ」ということは事実だ fact9: 「あの一渡りは閉ざすか忙しいか両方ともである」ということは誤っているとすればあの訓練所は大同である fact10: もしその是認は閉ざすとすれば「あの一渡りは閉ざさないかそれは忙しいかどちらもだ」ということは誤りだ fact11: もし「その是認は仮称しない」ということは本当であるとすればあの乳脂率は前景でないかまたはし易くない fact12: この乳脂率はエポキシだ fact13: 「「忙しくない」ということは成り立つ」物はあるとしたら「あの一渡りは閉ざさないけど仮称する」ということは誤っている fact14: 仮にとある物は大同でその上逆らえるならそれは前景でない fact15: もしこの熱田支部が逆らえないならあの訓練所は大同であるけど忙しくない fact16: もしもその是認が仮称するとしたら閉ざす fact17: どれもこれもは長細いということはない fact18: あの一渡りは閉ざす fact19: その是認は仮称する fact20: 「この乳脂率は前景でないか大同だ」ということは成り立たない fact21: 仮にあの訓練所が前景でないならこの乳脂率は前景だ
fact16 & fact19 -> int1: 「その是認は閉ざす」ということは偽でない; int1 & fact10 -> int2: 「あの一渡りは閉ざさないか忙しいかもしくはどちらもである」ということは間違いだ; int2 & fact8 -> int3: あの訓練所は大同だ; fact2 -> int4: あの訓練所は長細くないがしかし逆らえる; int4 -> int5: あの訓練所は逆らえる; int3 & int5 -> int6: あの訓練所は大同であるし逆らえる; fact14 -> int7: 「あの訓練所が大同であるしまた逆らえるとしたらあの訓練所は前景であるということはない」ということは本当である; int6 & int7 -> int8: あの訓練所は前景でない; int8 & fact6 -> hypothesis;
この乳脂率は前景でないかもしくはし易くないかあるいは両方ともだ
fact22 -> int9: 「「底深いということはなくて逆らえる」ということは成り立たない」ものはある;
$facts$ = fact1: あの訓練所は長細くない fact2: どれもこれもは長細くない一方で逆らえる fact3: この乳脂率は前景である fact4: 「その御供番は底深くないがしかし逆らえる」ということは事実でない fact5: その是認が閉ざすならあの一渡りは閉ざす fact6: もし仮に「あの訓練所は前景でない」ということは本当ならば「この乳脂率は前景でないかもしくはし易くないかどちらもである」ということは成り立たない fact7: もし仮にあの訓練所は閉ざせば「「その是認は閉ざさないかもしくは大同である」ということは成り立つということはない」ということは事実だ fact8: もし仮に「あの一渡りは閉ざさないか忙しいかどちらもである」ということは成り立たないとすれば「あの訓練所は大同だ」ということは事実だ fact9: 「あの一渡りは閉ざすか忙しいか両方ともである」ということは誤っているとすればあの訓練所は大同である fact10: もしその是認は閉ざすとすれば「あの一渡りは閉ざさないかそれは忙しいかどちらもだ」ということは誤りだ fact11: もし「その是認は仮称しない」ということは本当であるとすればあの乳脂率は前景でないかまたはし易くない fact12: この乳脂率はエポキシだ fact13: 「「忙しくない」ということは成り立つ」物はあるとしたら「あの一渡りは閉ざさないけど仮称する」ということは誤っている fact14: 仮にとある物は大同でその上逆らえるならそれは前景でない fact15: もしこの熱田支部が逆らえないならあの訓練所は大同であるけど忙しくない fact16: もしもその是認が仮称するとしたら閉ざす fact17: どれもこれもは長細いということはない fact18: あの一渡りは閉ざす fact19: その是認は仮称する fact20: 「この乳脂率は前景でないか大同だ」ということは成り立たない fact21: 仮にあの訓練所が前景でないならこの乳脂率は前景だ ; $hypothesis$ = この乳脂率は前景でないかし易くないかまたはどちらもだ ; $proof$ = 
fact16 & fact19 -> int1: 「その是認は閉ざす」ということは偽でない; int1 & fact10 -> int2: 「あの一渡りは閉ざさないか忙しいかもしくはどちらもである」ということは間違いだ; int2 & fact8 -> int3: あの訓練所は大同だ; fact2 -> int4: あの訓練所は長細くないがしかし逆らえる; int4 -> int5: あの訓練所は逆らえる; int3 & int5 -> int6: あの訓練所は大同であるし逆らえる; fact14 -> int7: 「あの訓練所が大同であるしまた逆らえるとしたらあの訓練所は前景であるということはない」ということは本当である; int6 & int7 -> int8: あの訓練所は前景でない; int8 & fact6 -> hypothesis; __DISPROVED__
事実1: あの訓練所は長細くない
事実2: どれもこれもは長細くない一方で逆らえる
事実3: この乳脂率は前景である
事実4: 「その御供番は底深くないがしかし逆らえる」ということは事実でない
事実5: その是認が閉ざすならあの一渡りは閉ざす
事実6: もし仮に「あの訓練所は前景でない」ということは本当ならば「この乳脂率は前景でないかもしくはし易くないかどちらもである」ということは成り立たない
事実7: もし仮にあの訓練所は閉ざせば「「その是認は閉ざさないかもしくは大同である」ということは成り立つということはない」ということは事実だ
事実8: もし仮に「あの一渡りは閉ざさないか忙しいかどちらもである」ということは成り立たないとすれば「あの訓練所は大同だ」ということは事実だ
事実9: 「あの一渡りは閉ざすか忙しいか両方ともである」ということは誤っているとすればあの訓練所は大同である
事実10: もしその是認は閉ざすとすれば「あの一渡りは閉ざさないかそれは忙しいかどちらもだ」ということは誤りだ
事実11: もし「その是認は仮称しない」ということは本当であるとすればあの乳脂率は前景でないかまたはし易くない
事実12: この乳脂率はエポキシだ
事実13: 「「忙しくない」ということは成り立つ」物はあるとしたら「あの一渡りは閉ざさないけど仮称する」ということは誤っている
事実14: 仮にとある物は大同でその上逆らえるならそれは前景でない
事実15: もしこの熱田支部が逆らえないならあの訓練所は大同であるけど忙しくない
事実16: もしもその是認が仮称するとしたら閉ざす
事実17: どれもこれもは長細いということはない
事実18: あの一渡りは閉ざす
事実19: その是認は仮称する
事実20: 「この乳脂率は前景でないか大同だ」ということは成り立たない
事実21: 仮にあの訓練所が前景でないならこの乳脂率は前景だ

仮説: この乳脂率は前景でないかし易くないかまたはどちらもだ
1. 事実16と事実19から、推論1: "「その是認は閉ざす」ということは偽でない"が導かれる
2. 推論1と事実10から、推論2: "「あの一渡りは閉ざさないか忙しいかもしくはどちらもである」ということは間違いだ"が導かれる
3. 推論2と事実8から、推論3: "あの訓練所は大同だ"が導かれる
4. 事実2から、推論4: "あの訓練所は長細くないがしかし逆らえる"が導かれる
5. 推論4から、推論5: "あの訓練所は逆らえる"が導かれる
6. 推論3と推論5から、推論6: "あの訓練所は大同であるし逆らえる"が導かれる
7. 事実14から、推論7: "「あの訓練所が大同であるしまた逆らえるとしたらあの訓練所は前景であるということはない」ということは本当である"が導かれる
8. 推論6と推論7から、推論8: "あの訓練所は前景でない"が導かれる
9. 推論8と事実6から、仮説が否定される

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