この移り変わりは減価償却しない
fact1: もしこの方式がパトロールするということはないならばあの特務艦は涼しかない fact2: この書き掛けが正常化しないならばあの方式は解するかまたは涼しいかまたは両方である fact3: もしあるものが正常化しないとしたら美人局だということはないがパトロールする fact4: 仮にあの特務艦が正常化しなくてパトロールしないとしたらあの日常生活動作障害はパトロールしない fact5: もし仮にあの特務艦が美人局でないならばあの日常生活動作障害は駄目であるがしかしそれは減価償却するということはない fact6: 仮になんらかの物が減価償却すればパトロールしない fact7: あの特務艦は本契約だ fact8: もし「「あの特務艦は解しないがしかしそれは正常化する」ということは事実だ」ということは成り立たないとすればそれは正常化しない fact9: もしも「この方式は解する」ということは誤っていないならこの移り変わりは減価償却する fact10: 「「あの特務艦は本契約だということはない」ということは成り立たない」ということは正しいならパトロールする fact11: もし仮にあの日常生活動作障害が駄目であるけど減価償却しないとしたらこの移り変わりは減価償却しない fact12: この方式は正常化しない fact13: 仮にあの特務艦は涼しいとしたら「それは駄目でない」ということは事実である fact14: もし仮に何かはパトロールしないとしたら「駄目でないしかつそれは美人局だ」ということは偽である fact15: もしもあの日常生活動作障害がパトロールしないとしたらこの移り変わりはパトロールしない fact16: 仮にこの方式が正常化するとするとそれは解しない fact17: あの日常生活動作障害が美人局であるとするとあの特務艦は駄目である fact18: 仮にあの日常生活動作障害がパトロールするとするとそれは美人局だということはない fact19: とあるものが駄目ならばそれはパトロールしない fact20: もし仮にこの方式が涼しいとしたらこの移り変わりは減価償却する fact21: もし仮に「あの日常生活動作障害は美人局でない」ということは間違いでないとするとこの書き掛けは正常化するということはない fact22: あの特務艦は正常化するかあるいは本契約であるかまたは両方ともだ
void -> assump1: 以下のように仮定する。あの日常生活動作障害は美人局である; fact17 & assump1 -> int1: あの特務艦は駄目である; fact19 -> int2: もしもあの特務艦は駄目であるならばパトロールしない; int1 & int2 -> int3: あの特務艦はパトロールしない; fact7 & fact10 -> int4: あの特務艦はパトロールする; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの日常生活動作障害は美人局でない; int6 & fact21 -> int7: この書き掛けは正常化しない; int7 & fact2 -> int8: この方式は解するかまたは涼しいかあるいはどちらもである; int8 & fact9 & fact20 -> hypothesis;
この移り変わりは減価償却しない
fact24 -> 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$ = 
void -> assump1: 以下のように仮定する。あの日常生活動作障害は美人局である; fact17 & assump1 -> int1: あの特務艦は駄目である; fact19 -> int2: もしもあの特務艦は駄目であるならばパトロールしない; int1 & int2 -> int3: あの特務艦はパトロールしない; fact7 & fact10 -> int4: あの特務艦はパトロールする; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの日常生活動作障害は美人局でない; int6 & fact21 -> int7: この書き掛けは正常化しない; int7 & fact2 -> int8: この方式は解するかまたは涼しいかあるいはどちらもである; int8 & fact9 & fact20 -> 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. 仮定1: 以下のように仮定する。あの日常生活動作障害は美人局である
2. 事実17と仮定1から、推論1: "あの特務艦は駄目である"が導かれる
3. 事実19から、推論2: "もしもあの特務艦は駄目であるならばパトロールしない"が導かれる
4. 推論1と推論2から、推論3: "あの特務艦はパトロールしない"が導かれる
5. 事実7と事実10から、推論4: "あの特務艦はパトロールする"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの日常生活動作障害は美人局でない"が導かれる
8. 推論6と事実21から、推論7: "この書き掛けは正常化しない"が導かれる
9. 推論7と事実2から、推論8: "この方式は解するかまたは涼しいかあるいはどちらもである"が導かれる
10. 推論8と事実9と事実20から、仮説が否定される

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