あの人気商品は精出す
fact1: 「この詐欺師は餌付けする」ということは成り立つ fact2: 仮にその各宗が影響され易くないとすると掛け合わせるということはなくておまけに図太い fact3: 「あの宣誓書は餌付けする」ということは成り立つ fact4: もし仮にその各宗は機関長であるとしたら「それは影響され易くない」ということは真実だ fact5: もし仮にこの浮遊端末が並べるということはないならその各宗は機関長であるか餌付けするということはない fact6: もし「その武将達は図太いが仕上げ方法でない」ということは事実と異なれば「それは掛け合わせる」ということは成り立つ fact7: もし仮にその各宗が掛け合わせらないが図太いならばあの詐欺師は図太くない fact8: もし仮に影響され易い物が掛け合わせるとすると機関長でない fact9: 仮にあの人気商品が掛け合わせらないしそれに影響され易くないとすればこの詐欺師は仕上げ方法である fact10: 「仮になんらかのものは八等分しないなら「それは図太くてまたそれは仕上げ方法でない」ということは嘘だ」ということは成り立つ fact11: 仮に何らかの物は八等分するなら「それは精出す」ということは成り立つ fact12: もしも「自然数でない」物があるとしたらあの財政移転は八等分するしそれは図太い fact13: 「その武将達は花柱でない」ということは成り立つ fact14: 「その武将達は八等分する」ということは成り立つならこの詐欺師は自然数である fact15: この浮遊端末が並べないとしたらその各宗は精出すしさらに餌付けする fact16: その各宗が機関長ならあの人気商品は掛け合わせらなくてしかも影響され易くない fact17: もしなにかは精出すとしたら機関長だ fact18: もし仮にその武将達が図太いということはないとすると掛け合わせる fact19: もしその武将達が機関長でないならばあの人気商品は精出すということはない fact20: 「この浮遊端末は並べる」ということは事実と異なる fact21: その体験工房は仕上げ方法でない fact22: 全ては間違い無いということはない fact23: 仮にあるものは間違い無いということはないなら「それは並べるし掬い取らない」ということは成り立たない fact24: 仮に「「並べる一方で掬い取らない」ということは事実と異なる」物があるとしたらこの浮遊端末は並べない fact25: 仮にこの詐欺師が餌付けするなら自然数でない fact26: 仮に何らかの物が仕上げ方法であるならその武将達は自然数でない fact27: その武将達は影響され易い
void -> assump1: 以下のように仮定する。その武将達は八等分する; fact14 & assump1 -> int1: この詐欺師は自然数である; fact1 & fact25 -> int2: この詐欺師は自然数でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その武将達は八等分しない; fact10 -> int5: もし「その武将達は八等分するということはない」ということは成り立てば「図太いしまた仕上げ方法であるということはない」ということは成り立たない; int4 & int5 -> int6: 「その武将達は図太いが仕上げ方法でない」ということは成り立つということはない; int6 & fact6 -> int7: その武将達は掛け合わせる; int7 & fact27 -> int8: その武将達は影響され易いししかも掛け合わせる; fact8 -> int9: もし仮にその武将達は影響され易いし更に掛け合わせるとすればそれは機関長でない; int8 & int9 -> int10: その武将達は機関長でない; int10 & fact19 -> hypothesis;
「あの人気商品は精出す」ということは成り立つ
fact31 -> int11: もしもあの人気商品が八等分するならそれは精出す; fact33 & fact29 -> int12: 「その各宗は機関長であるか餌付けしないかあるいはどちらもだ」ということは事実だ;
$facts$ = fact1: 「この詐欺師は餌付けする」ということは成り立つ fact2: 仮にその各宗が影響され易くないとすると掛け合わせるということはなくておまけに図太い fact3: 「あの宣誓書は餌付けする」ということは成り立つ fact4: もし仮にその各宗は機関長であるとしたら「それは影響され易くない」ということは真実だ fact5: もし仮にこの浮遊端末が並べるということはないならその各宗は機関長であるか餌付けするということはない fact6: もし「その武将達は図太いが仕上げ方法でない」ということは事実と異なれば「それは掛け合わせる」ということは成り立つ fact7: もし仮にその各宗が掛け合わせらないが図太いならばあの詐欺師は図太くない fact8: もし仮に影響され易い物が掛け合わせるとすると機関長でない fact9: 仮にあの人気商品が掛け合わせらないしそれに影響され易くないとすればこの詐欺師は仕上げ方法である fact10: 「仮になんらかのものは八等分しないなら「それは図太くてまたそれは仕上げ方法でない」ということは嘘だ」ということは成り立つ fact11: 仮に何らかの物は八等分するなら「それは精出す」ということは成り立つ fact12: もしも「自然数でない」物があるとしたらあの財政移転は八等分するしそれは図太い fact13: 「その武将達は花柱でない」ということは成り立つ fact14: 「その武将達は八等分する」ということは成り立つならこの詐欺師は自然数である fact15: この浮遊端末が並べないとしたらその各宗は精出すしさらに餌付けする fact16: その各宗が機関長ならあの人気商品は掛け合わせらなくてしかも影響され易くない fact17: もしなにかは精出すとしたら機関長だ fact18: もし仮にその武将達が図太いということはないとすると掛け合わせる fact19: もしその武将達が機関長でないならばあの人気商品は精出すということはない fact20: 「この浮遊端末は並べる」ということは事実と異なる fact21: その体験工房は仕上げ方法でない fact22: 全ては間違い無いということはない fact23: 仮にあるものは間違い無いということはないなら「それは並べるし掬い取らない」ということは成り立たない fact24: 仮に「「並べる一方で掬い取らない」ということは事実と異なる」物があるとしたらこの浮遊端末は並べない fact25: 仮にこの詐欺師が餌付けするなら自然数でない fact26: 仮に何らかの物が仕上げ方法であるならその武将達は自然数でない fact27: その武将達は影響され易い ; $hypothesis$ = あの人気商品は精出す ; $proof$ = 
void -> assump1: 以下のように仮定する。その武将達は八等分する; fact14 & assump1 -> int1: この詐欺師は自然数である; fact1 & fact25 -> int2: この詐欺師は自然数でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その武将達は八等分しない; fact10 -> int5: もし「その武将達は八等分するということはない」ということは成り立てば「図太いしまた仕上げ方法であるということはない」ということは成り立たない; int4 & int5 -> int6: 「その武将達は図太いが仕上げ方法でない」ということは成り立つということはない; int6 & fact6 -> int7: その武将達は掛け合わせる; int7 & fact27 -> int8: その武将達は影響され易いししかも掛け合わせる; fact8 -> int9: もし仮にその武将達は影響され易いし更に掛け合わせるとすればそれは機関長でない; int8 & int9 -> int10: その武将達は機関長でない; int10 & fact19 -> hypothesis; __DISPROVED__
事実1: 「この詐欺師は餌付けする」ということは成り立つ
事実2: 仮にその各宗が影響され易くないとすると掛け合わせるということはなくておまけに図太い
事実3: 「あの宣誓書は餌付けする」ということは成り立つ
事実4: もし仮にその各宗は機関長であるとしたら「それは影響され易くない」ということは真実だ
事実5: もし仮にこの浮遊端末が並べるということはないならその各宗は機関長であるか餌付けするということはない
事実6: もし「その武将達は図太いが仕上げ方法でない」ということは事実と異なれば「それは掛け合わせる」ということは成り立つ
事実7: もし仮にその各宗が掛け合わせらないが図太いならばあの詐欺師は図太くない
事実8: もし仮に影響され易い物が掛け合わせるとすると機関長でない
事実9: 仮にあの人気商品が掛け合わせらないしそれに影響され易くないとすればこの詐欺師は仕上げ方法である
事実10: 「仮になんらかのものは八等分しないなら「それは図太くてまたそれは仕上げ方法でない」ということは嘘だ」ということは成り立つ
事実11: 仮に何らかの物は八等分するなら「それは精出す」ということは成り立つ
事実12: もしも「自然数でない」物があるとしたらあの財政移転は八等分するしそれは図太い
事実13: 「その武将達は花柱でない」ということは成り立つ
事実14: 「その武将達は八等分する」ということは成り立つならこの詐欺師は自然数である
事実15: この浮遊端末が並べないとしたらその各宗は精出すしさらに餌付けする
事実16: その各宗が機関長ならあの人気商品は掛け合わせらなくてしかも影響され易くない
事実17: もしなにかは精出すとしたら機関長だ
事実18: もし仮にその武将達が図太いということはないとすると掛け合わせる
事実19: もしその武将達が機関長でないならばあの人気商品は精出すということはない
事実20: 「この浮遊端末は並べる」ということは事実と異なる
事実21: その体験工房は仕上げ方法でない
事実22: 全ては間違い無いということはない
事実23: 仮にあるものは間違い無いということはないなら「それは並べるし掬い取らない」ということは成り立たない
事実24: 仮に「「並べる一方で掬い取らない」ということは事実と異なる」物があるとしたらこの浮遊端末は並べない
事実25: 仮にこの詐欺師が餌付けするなら自然数でない
事実26: 仮に何らかの物が仕上げ方法であるならその武将達は自然数でない
事実27: その武将達は影響され易い

仮説: あの人気商品は精出す
1. 仮定1: 以下のように仮定する。その武将達は八等分する
2. 事実14と仮定1から、推論1: "この詐欺師は自然数である"が導かれる
3. 事実1と事実25から、推論2: "この詐欺師は自然数でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その武将達は八等分しない"が導かれる
6. 事実10から、推論5: "もし「その武将達は八等分するということはない」ということは成り立てば「図太いしまた仕上げ方法であるということはない」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "「その武将達は図太いが仕上げ方法でない」ということは成り立つということはない"が導かれる
8. 推論6と事実6から、推論7: "その武将達は掛け合わせる"が導かれる
9. 推論7と事実27から、推論8: "その武将達は影響され易いししかも掛け合わせる"が導かれる
10. 事実8から、推論9: "もし仮にその武将達は影響され易いし更に掛け合わせるとすればそれは機関長でない"が導かれる
11. 推論8と推論9から、推論10: "その武将達は機関長でない"が導かれる
12. 推論10と事実19から、仮説が否定される

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