この七月現在は差異化でない
fact1: 仮にこの日増しが直轄都市でかつ打ち落とすとしたらこの七月現在は泊まり込まない fact2: もしこの七月現在は直轄都市でないとすると「「それは打ち落とさないし泊まり込む」ということは成り立つ」ということは嘘だ fact3: この日増しは直轄都市で打ち落とす fact4: 仮に「何かは質問紙でないがしかし取り扱い易い」ということは事実と異なるなら「それは差異化だ」ということは成り立つ fact5: なにがしかの物は泊まり込まないなら「質問紙でなくてまた取り扱い易い」ということは間違っている
fact5 -> int1: もし仮にこの七月現在は泊まり込まないとすると「質問紙でないしそれは取り扱い易い」ということは事実と異なる; fact3 & fact1 -> int2: この七月現在は泊まり込むということはない; int1 & int2 -> int3: 「この七月現在は質問紙でないがしかし取り扱い易い」ということは成り立つということはない; fact4 -> int4: 「この七月現在は質問紙でないがそれは取り扱い易い」ということは確かでないとすればそれは差異化だ; int3 & int4 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact3 & fact1 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬(¬{AA}{aa} & {AB}{aa}); fact4 -> int4: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int3 & int4 -> hypothesis;
$facts$ = fact1: 仮にこの日増しが直轄都市でかつ打ち落とすとしたらこの七月現在は泊まり込まない fact2: もしこの七月現在は直轄都市でないとすると「「それは打ち落とさないし泊まり込む」ということは成り立つ」ということは嘘だ fact3: この日増しは直轄都市で打ち落とす fact4: 仮に「何かは質問紙でないがしかし取り扱い易い」ということは事実と異なるなら「それは差異化だ」ということは成り立つ fact5: なにがしかの物は泊まり込まないなら「質問紙でなくてまた取り扱い易い」ということは間違っている ; $hypothesis$ = この七月現在は差異化でない ; $proof$ = 
fact5 -> int1: もし仮にこの七月現在は泊まり込まないとすると「質問紙でないしそれは取り扱い易い」ということは事実と異なる; fact3 & fact1 -> int2: この七月現在は泊まり込むということはない; int1 & int2 -> int3: 「この七月現在は質問紙でないがしかし取り扱い易い」ということは成り立つということはない; fact4 -> int4: 「この七月現在は質問紙でないがそれは取り扱い易い」ということは確かでないとすればそれは差異化だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮にこの日増しが直轄都市でかつ打ち落とすとしたらこの七月現在は泊まり込まない
事実2: もしこの七月現在は直轄都市でないとすると「「それは打ち落とさないし泊まり込む」ということは成り立つ」ということは嘘だ
事実3: この日増しは直轄都市で打ち落とす
事実4: 仮に「何かは質問紙でないがしかし取り扱い易い」ということは事実と異なるなら「それは差異化だ」ということは成り立つ
事実5: なにがしかの物は泊まり込まないなら「質問紙でなくてまた取り扱い易い」ということは間違っている

仮説: この七月現在は差異化でない
1. 事実5から、推論1: "もし仮にこの七月現在は泊まり込まないとすると「質問紙でないしそれは取り扱い易い」ということは事実と異なる"が導かれる
2. 事実3と事実1から、推論2: "この七月現在は泊まり込むということはない"が導かれる
3. 推論1と推論2から、推論3: "「この七月現在は質問紙でないがしかし取り扱い易い」ということは成り立つということはない"が導かれる
4. 事実4から、推論4: "「この七月現在は質問紙でないがそれは取り扱い易い」ということは確かでないとすればそれは差異化だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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