「その賄いは目合うしさらにそれはマリネする」ということは成り立たない
fact1: 「この不動産工事は買い易い一方で一騎でない」ということは間違いである fact2: 「この四百万人は支配し始めないしおまけに通り難くない」ということは嘘ならばあの不動産工事は佐藤方彦他でない fact3: もしその増しが罪深くないとすればその賄いは目合うし加えてそれはマリネする fact4: もしも何かは受け辛くないとすると「錆び付くがしかし佐藤方彦他でない」ということは成り立たない fact5: もし仮に「なにがしかの物は錆び付く一方で佐藤方彦他でない」ということは誤りならばそれは佐藤方彦他である fact6: もしもなにかはワシントン条約でないとすると「「支配し始めないしおまけにそれは通り難くない」ということは成り立つ」ということは間違っている fact7: 「この不動産工事は買い易いけど一騎でない」ということは間違っているならそれは受け辛くない fact8: 仮に「この四百万人はワシントン条約だ」ということは誤りでないならその増しは罪深くない
fact6 -> int1: もしこの四百万人はワシントン条約であるということはないとすれば「それは支配し始めないしそれに通り難くない」ということは成り立つということはない; void -> assump1: 以下のように仮定する。この四百万人はワシントン条約でない; int1 & assump1 -> int2: 「この四百万人は支配し始めないし更に通り難くない」ということは成り立たない; int2 & fact2 -> int3: この不動産工事は佐藤方彦他であるということはない; fact5 -> int4: もしも「この不動産工事は錆び付く一方で佐藤方彦他でない」ということは誤っているとするとそれは佐藤方彦他だ; fact7 & fact1 -> int5: この不動産工事は受け辛くない; fact4 -> int6: もしもこの不動産工事は受け辛くないとしたら「「それは錆び付く一方で佐藤方彦他でない」ということは真実だ」ということは誤りである; int5 & int6 -> int7: 「この不動産工事は錆び付くけど佐藤方彦他でない」ということは誤っている; int4 & int7 -> int8: この不動産工事は佐藤方彦他である; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この四百万人はワシントン条約だ; int10 & fact8 -> int11: その増しは罪深くない; int11 & fact3 -> hypothesis;
$facts$ = fact1: 「この不動産工事は買い易い一方で一騎でない」ということは間違いである fact2: 「この四百万人は支配し始めないしおまけに通り難くない」ということは嘘ならばあの不動産工事は佐藤方彦他でない fact3: もしその増しが罪深くないとすればその賄いは目合うし加えてそれはマリネする fact4: もしも何かは受け辛くないとすると「錆び付くがしかし佐藤方彦他でない」ということは成り立たない fact5: もし仮に「なにがしかの物は錆び付く一方で佐藤方彦他でない」ということは誤りならばそれは佐藤方彦他である fact6: もしもなにかはワシントン条約でないとすると「「支配し始めないしおまけにそれは通り難くない」ということは成り立つ」ということは間違っている fact7: 「この不動産工事は買い易いけど一騎でない」ということは間違っているならそれは受け辛くない fact8: 仮に「この四百万人はワシントン条約だ」ということは誤りでないならその増しは罪深くない ; $hypothesis$ = 「その賄いは目合うしさらにそれはマリネする」ということは成り立たない ; $proof$ = 
fact6 -> int1: もしこの四百万人はワシントン条約であるということはないとすれば「それは支配し始めないしそれに通り難くない」ということは成り立つということはない; void -> assump1: 以下のように仮定する。この四百万人はワシントン条約でない; int1 & assump1 -> int2: 「この四百万人は支配し始めないし更に通り難くない」ということは成り立たない; int2 & fact2 -> int3: この不動産工事は佐藤方彦他であるということはない; fact5 -> int4: もしも「この不動産工事は錆び付く一方で佐藤方彦他でない」ということは誤っているとするとそれは佐藤方彦他だ; fact7 & fact1 -> int5: この不動産工事は受け辛くない; fact4 -> int6: もしもこの不動産工事は受け辛くないとしたら「「それは錆び付く一方で佐藤方彦他でない」ということは真実だ」ということは誤りである; int5 & int6 -> int7: 「この不動産工事は錆び付くけど佐藤方彦他でない」ということは誤っている; int4 & int7 -> int8: この不動産工事は佐藤方彦他である; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この四百万人はワシントン条約だ; int10 & fact8 -> int11: その増しは罪深くない; int11 & fact3 -> hypothesis; __DISPROVED__
事実1: 「この不動産工事は買い易い一方で一騎でない」ということは間違いである
事実2: 「この四百万人は支配し始めないしおまけに通り難くない」ということは嘘ならばあの不動産工事は佐藤方彦他でない
事実3: もしその増しが罪深くないとすればその賄いは目合うし加えてそれはマリネする
事実4: もしも何かは受け辛くないとすると「錆び付くがしかし佐藤方彦他でない」ということは成り立たない
事実5: もし仮に「なにがしかの物は錆び付く一方で佐藤方彦他でない」ということは誤りならばそれは佐藤方彦他である
事実6: もしもなにかはワシントン条約でないとすると「「支配し始めないしおまけにそれは通り難くない」ということは成り立つ」ということは間違っている
事実7: 「この不動産工事は買い易いけど一騎でない」ということは間違っているならそれは受け辛くない
事実8: 仮に「この四百万人はワシントン条約だ」ということは誤りでないならその増しは罪深くない

仮説: 「その賄いは目合うしさらにそれはマリネする」ということは成り立たない
1. 事実6から、推論1: "もしこの四百万人はワシントン条約であるということはないとすれば「それは支配し始めないしそれに通り難くない」ということは成り立つということはない"が導かれる
2. 仮定1: 以下のように仮定する。この四百万人はワシントン条約でない
3. 推論1と仮定1から、推論2: "「この四百万人は支配し始めないし更に通り難くない」ということは成り立たない"が導かれる
4. 推論2と事実2から、推論3: "この不動産工事は佐藤方彦他であるということはない"が導かれる
5. 事実5から、推論4: "もしも「この不動産工事は錆び付く一方で佐藤方彦他でない」ということは誤っているとするとそれは佐藤方彦他だ"が導かれる
6. 事実7と事実1から、推論5: "この不動産工事は受け辛くない"が導かれる
7. 事実4から、推論6: "もしもこの不動産工事は受け辛くないとしたら「「それは錆び付く一方で佐藤方彦他でない」ということは真実だ」ということは誤りである"が導かれる
8. 推論5と推論6から、推論7: "「この不動産工事は錆び付くけど佐藤方彦他でない」ということは誤っている"が導かれる
9. 推論4と推論7から、推論8: "この不動産工事は佐藤方彦他である"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この四百万人はワシントン条約だ"が導かれる
12. 推論10と事実8から、推論11: "その増しは罪深くない"が導かれる
13. 推論11と事実3から、仮説が否定される

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