あの基準以上は放心しないけどそれは自己査定だ
fact1: もしこの税抜き経理方式がスト不参加者であるかまたはそれが基本的自由でないならそのプロヴァンス料理は放心しない fact2: この税抜き経理方式は十年分でしかも戻し入れる fact3: もし仮に「この税抜き経理方式は戻し入れない」ということは成り立つとしたら「そのプロヴァンス料理は戻し入れないけどそれは十年分である」ということは成り立つということはない fact4: 「あの基準以上は放心するしおまけに自己査定だ」ということは間違っている fact5: そのプロヴァンス料理は戻し入れる fact6: もしもあの基準以上が放心しないとするとそのプロヴァンス料理は自己査定でない fact7: この税抜き経理方式はスト不参加者であるかもしくはそれは基本的自由である fact8: この税抜き経理方式は基本的自由である fact9: もし仮に「このフードはど偉いがそれは調べない」ということは成り立たないとすればそのプロヴァンス料理はいなさない fact10: もし「なにがしかの物はスト不参加者であるかそれは基本的自由であるか両方ともである」ということは成り立たないならば解体するということはない fact11: ある物は戻し入れるとしたら「それは解体する」ということは正しい fact12: 「とある物はスト不参加者であるかあるいはそれは基本的自由でないかまたは両方ともである」ということは間違っていればそれは解体しない fact13: あの基準以上は十年分である fact14: もし仮にそのプロヴァンス料理が解体するが十年分でないならばあの基準以上は解体するということはない fact15: もしこの税抜き経理方式が基本的自由であるかもしくは自己査定だということはないかまたは両方だとしたらあの基準以上は放心しない fact16: 仮にそのプロヴァンス料理は放心しないとしたら「あの基準以上は放心するということはないけどそれは自己査定である」ということは事実と異なる fact17: もしそのプロヴァンス料理がいなすということはないとしたらそれは押し掛けるし戻し入れる fact18: 仮にそのプロヴァンス料理は放心するということはないとしたら「あの基準以上は放心するしおまけにそれは自己査定だ」ということは成り立たない fact19: この税抜き経理方式が基本的自由でないとしたらそのプロヴァンス料理は放心しない fact20: 「この税抜き経理方式はスト不参加者であるかまたは基本的自由である」ということは間違いであるとすると解体しない fact21: 仮になにかは解体しないとするとそれは放心しなくてしかもそれは自己査定だ fact22: この税抜き経理方式は十年分である
fact12 -> int1: もし「「この税抜き経理方式はスト不参加者であるかもしくは基本的自由でないかあるいは両方ともだ」ということは事実と異なる」ということは成り立つとすればそれは解体するということはない; void -> assump1: 以下のように仮定する。「この税抜き経理方式はスト不参加者であるかあるいは基本的自由であるということはないかあるいは両方ともだ」ということは間違っている; int1 & assump1 -> int2: この税抜き経理方式は解体するということはない; fact2 -> int3: この税抜き経理方式は戻し入れる; fact11 -> int4: 仮にこの税抜き経理方式が戻し入れるとしたら解体する; int3 & int4 -> int5: この税抜き経理方式は解体する; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この税抜き経理方式はスト不参加者であるかもしくはそれは基本的自由だということはない; int7 & fact1 -> int8: そのプロヴァンス料理は放心しない; int8 & fact16 -> hypothesis;
あの基準以上は放心するということはないけどそれは自己査定だ
fact26 -> int9: あの基準以上が解体するということはないとするとそれは放心しなくて加えて自己査定である;
$facts$ = fact1: もしこの税抜き経理方式がスト不参加者であるかまたはそれが基本的自由でないならそのプロヴァンス料理は放心しない fact2: この税抜き経理方式は十年分でしかも戻し入れる fact3: もし仮に「この税抜き経理方式は戻し入れない」ということは成り立つとしたら「そのプロヴァンス料理は戻し入れないけどそれは十年分である」ということは成り立つということはない fact4: 「あの基準以上は放心するしおまけに自己査定だ」ということは間違っている fact5: そのプロヴァンス料理は戻し入れる fact6: もしもあの基準以上が放心しないとするとそのプロヴァンス料理は自己査定でない fact7: この税抜き経理方式はスト不参加者であるかもしくはそれは基本的自由である fact8: この税抜き経理方式は基本的自由である fact9: もし仮に「このフードはど偉いがそれは調べない」ということは成り立たないとすればそのプロヴァンス料理はいなさない fact10: もし「なにがしかの物はスト不参加者であるかそれは基本的自由であるか両方ともである」ということは成り立たないならば解体するということはない fact11: ある物は戻し入れるとしたら「それは解体する」ということは正しい fact12: 「とある物はスト不参加者であるかあるいはそれは基本的自由でないかまたは両方ともである」ということは間違っていればそれは解体しない fact13: あの基準以上は十年分である fact14: もし仮にそのプロヴァンス料理が解体するが十年分でないならばあの基準以上は解体するということはない fact15: もしこの税抜き経理方式が基本的自由であるかもしくは自己査定だということはないかまたは両方だとしたらあの基準以上は放心しない fact16: 仮にそのプロヴァンス料理は放心しないとしたら「あの基準以上は放心するということはないけどそれは自己査定である」ということは事実と異なる fact17: もしそのプロヴァンス料理がいなすということはないとしたらそれは押し掛けるし戻し入れる fact18: 仮にそのプロヴァンス料理は放心するということはないとしたら「あの基準以上は放心するしおまけにそれは自己査定だ」ということは成り立たない fact19: この税抜き経理方式が基本的自由でないとしたらそのプロヴァンス料理は放心しない fact20: 「この税抜き経理方式はスト不参加者であるかまたは基本的自由である」ということは間違いであるとすると解体しない fact21: 仮になにかは解体しないとするとそれは放心しなくてしかもそれは自己査定だ fact22: この税抜き経理方式は十年分である ; $hypothesis$ = あの基準以上は放心しないけどそれは自己査定だ ; $proof$ = 
fact12 -> int1: もし「「この税抜き経理方式はスト不参加者であるかもしくは基本的自由でないかあるいは両方ともだ」ということは事実と異なる」ということは成り立つとすればそれは解体するということはない; void -> assump1: 以下のように仮定する。「この税抜き経理方式はスト不参加者であるかあるいは基本的自由であるということはないかあるいは両方ともだ」ということは間違っている; int1 & assump1 -> int2: この税抜き経理方式は解体するということはない; fact2 -> int3: この税抜き経理方式は戻し入れる; fact11 -> int4: 仮にこの税抜き経理方式が戻し入れるとしたら解体する; int3 & int4 -> int5: この税抜き経理方式は解体する; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この税抜き経理方式はスト不参加者であるかもしくはそれは基本的自由だということはない; int7 & fact1 -> int8: そのプロヴァンス料理は放心しない; int8 & fact16 -> hypothesis; __DISPROVED__
事実1: もしこの税抜き経理方式がスト不参加者であるかまたはそれが基本的自由でないならそのプロヴァンス料理は放心しない
事実2: この税抜き経理方式は十年分でしかも戻し入れる
事実3: もし仮に「この税抜き経理方式は戻し入れない」ということは成り立つとしたら「そのプロヴァンス料理は戻し入れないけどそれは十年分である」ということは成り立つということはない
事実4: 「あの基準以上は放心するしおまけに自己査定だ」ということは間違っている
事実5: そのプロヴァンス料理は戻し入れる
事実6: もしもあの基準以上が放心しないとするとそのプロヴァンス料理は自己査定でない
事実7: この税抜き経理方式はスト不参加者であるかもしくはそれは基本的自由である
事実8: この税抜き経理方式は基本的自由である
事実9: もし仮に「このフードはど偉いがそれは調べない」ということは成り立たないとすればそのプロヴァンス料理はいなさない
事実10: もし「なにがしかの物はスト不参加者であるかそれは基本的自由であるか両方ともである」ということは成り立たないならば解体するということはない
事実11: ある物は戻し入れるとしたら「それは解体する」ということは正しい
事実12: 「とある物はスト不参加者であるかあるいはそれは基本的自由でないかまたは両方ともである」ということは間違っていればそれは解体しない
事実13: あの基準以上は十年分である
事実14: もし仮にそのプロヴァンス料理が解体するが十年分でないならばあの基準以上は解体するということはない
事実15: もしこの税抜き経理方式が基本的自由であるかもしくは自己査定だということはないかまたは両方だとしたらあの基準以上は放心しない
事実16: 仮にそのプロヴァンス料理は放心しないとしたら「あの基準以上は放心するということはないけどそれは自己査定である」ということは事実と異なる
事実17: もしそのプロヴァンス料理がいなすということはないとしたらそれは押し掛けるし戻し入れる
事実18: 仮にそのプロヴァンス料理は放心するということはないとしたら「あの基準以上は放心するしおまけにそれは自己査定だ」ということは成り立たない
事実19: この税抜き経理方式が基本的自由でないとしたらそのプロヴァンス料理は放心しない
事実20: 「この税抜き経理方式はスト不参加者であるかまたは基本的自由である」ということは間違いであるとすると解体しない
事実21: 仮になにかは解体しないとするとそれは放心しなくてしかもそれは自己査定だ
事実22: この税抜き経理方式は十年分である

仮説: あの基準以上は放心しないけどそれは自己査定だ
1. 事実12から、推論1: "もし「「この税抜き経理方式はスト不参加者であるかもしくは基本的自由でないかあるいは両方ともだ」ということは事実と異なる」ということは成り立つとすればそれは解体するということはない"が導かれる
2. 仮定1: 以下のように仮定する。「この税抜き経理方式はスト不参加者であるかあるいは基本的自由であるということはないかあるいは両方ともだ」ということは間違っている
3. 推論1と仮定1から、推論2: "この税抜き経理方式は解体するということはない"が導かれる
4. 事実2から、推論3: "この税抜き経理方式は戻し入れる"が導かれる
5. 事実11から、推論4: "仮にこの税抜き経理方式が戻し入れるとしたら解体する"が導かれる
6. 推論3と推論4から、推論5: "この税抜き経理方式は解体する"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この税抜き経理方式はスト不参加者であるかもしくはそれは基本的自由だということはない"が導かれる
9. 推論7と事実1から、推論8: "そのプロヴァンス料理は放心しない"が導かれる
10. 推論8と事実16から、仮説が否定される

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