「この其れ形は学区であるか清々しいかあるいは両方ともである」ということは事実と異なる
fact1: 仮に何らかのものが和解しないがしかし衆院議員ならばこの其れ形は間違え易い fact2: その認証申請は購入割り当てでない fact3: 「和解しないがしかし衆院議員である」ものはある fact4: この其れ形は古くない fact5: 仮に「この其れ形は見極め難くない」ということは正しいとすれば「この手探りは狙い易いかあるいは見極め難くない」ということは誤っている fact6: もし間違え易くない物は見極め難いならば「清々しくない」ということは成り立つ fact7: もしもなんらかのものは学区でないが間違え易いならば見極め難くない fact8: 仮にこの其れ形が見極め難くないとするとこの手探りは見極め難い fact9: 仮にその認証申請が購入割り当てでないとすればこの手探りは狙い易いか見極め難くないか両方である fact10: もしもこの手探りが学区でないがそれが見極め難いとすると間違え易くない fact11: 何かは和解しないとすると「それは学区であるかまたはそれは清々しいかまたはどちらもである」ということは誤りだ
fact3 & fact1 -> int1: この其れ形は間違え易い; void -> assump1: 以下のように仮定する。この其れ形は学区でない; int1 & assump1 -> int2: この其れ形は学区であるということはないけど間違え易い; fact7 -> int3: もしこの其れ形が学区だということはないけれど間違え易いとするとそれは見極め難くない; int2 & int3 -> int4: 「この其れ形は見極め難くない」ということは間違いでない; int4 & fact5 -> int5: 「この手探りは狙い易いかもしくは見極め難くない」ということは誤りだ; fact2 & fact9 -> int6: この手探りは狙い易いかあるいは見極め難くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この其れ形は学区だ; int8 -> hypothesis;
「この其れ形は学区であるか清々しいか両方だ」ということは誤っている
fact12 -> int9: この其れ形は和解しないとしたら「それは学区であるかまたは清々しいかあるいはどちらもだ」ということは事実と異なる;
$facts$ = fact1: 仮に何らかのものが和解しないがしかし衆院議員ならばこの其れ形は間違え易い fact2: その認証申請は購入割り当てでない fact3: 「和解しないがしかし衆院議員である」ものはある fact4: この其れ形は古くない fact5: 仮に「この其れ形は見極め難くない」ということは正しいとすれば「この手探りは狙い易いかあるいは見極め難くない」ということは誤っている fact6: もし間違え易くない物は見極め難いならば「清々しくない」ということは成り立つ fact7: もしもなんらかのものは学区でないが間違え易いならば見極め難くない fact8: 仮にこの其れ形が見極め難くないとするとこの手探りは見極め難い fact9: 仮にその認証申請が購入割り当てでないとすればこの手探りは狙い易いか見極め難くないか両方である fact10: もしもこの手探りが学区でないがそれが見極め難いとすると間違え易くない fact11: 何かは和解しないとすると「それは学区であるかまたはそれは清々しいかまたはどちらもである」ということは誤りだ ; $hypothesis$ = 「この其れ形は学区であるか清々しいかあるいは両方ともである」ということは事実と異なる ; $proof$ = 
fact3 & fact1 -> int1: この其れ形は間違え易い; void -> assump1: 以下のように仮定する。この其れ形は学区でない; int1 & assump1 -> int2: この其れ形は学区であるということはないけど間違え易い; fact7 -> int3: もしこの其れ形が学区だということはないけれど間違え易いとするとそれは見極め難くない; int2 & int3 -> int4: 「この其れ形は見極め難くない」ということは間違いでない; int4 & fact5 -> int5: 「この手探りは狙い易いかもしくは見極め難くない」ということは誤りだ; fact2 & fact9 -> int6: この手探りは狙い易いかあるいは見極め難くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この其れ形は学区だ; int8 -> hypothesis; __DISPROVED__
事実1: 仮に何らかのものが和解しないがしかし衆院議員ならばこの其れ形は間違え易い
事実2: その認証申請は購入割り当てでない
事実3: 「和解しないがしかし衆院議員である」ものはある
事実4: この其れ形は古くない
事実5: 仮に「この其れ形は見極め難くない」ということは正しいとすれば「この手探りは狙い易いかあるいは見極め難くない」ということは誤っている
事実6: もし間違え易くない物は見極め難いならば「清々しくない」ということは成り立つ
事実7: もしもなんらかのものは学区でないが間違え易いならば見極め難くない
事実8: 仮にこの其れ形が見極め難くないとするとこの手探りは見極め難い
事実9: 仮にその認証申請が購入割り当てでないとすればこの手探りは狙い易いか見極め難くないか両方である
事実10: もしもこの手探りが学区でないがそれが見極め難いとすると間違え易くない
事実11: 何かは和解しないとすると「それは学区であるかまたはそれは清々しいかまたはどちらもである」ということは誤りだ

仮説: 「この其れ形は学区であるか清々しいかあるいは両方ともである」ということは事実と異なる
1. 事実3と事実1から、推論1: "この其れ形は間違え易い"が導かれる
2. 仮定1: 以下のように仮定する。この其れ形は学区でない
3. 推論1と仮定1から、推論2: "この其れ形は学区であるということはないけど間違え易い"が導かれる
4. 事実7から、推論3: "もしこの其れ形が学区だということはないけれど間違え易いとするとそれは見極め難くない"が導かれる
5. 推論2と推論3から、推論4: "「この其れ形は見極め難くない」ということは間違いでない"が導かれる
6. 推論4と事実5から、推論5: "「この手探りは狙い易いかもしくは見極め難くない」ということは誤りだ"が導かれる
7. 事実2と事実9から、推論6: "この手探りは狙い易いかあるいは見極め難くない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この其れ形は学区だ"が導かれる
10. 推論8から、仮説が否定される

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