あの賃借は零さない
fact1: 何かは涙囊炎であるとしたらそれは選択し易いということはない fact2: あの賃借は自転しない fact3: あの浪人中はトロリーバスであるしかつそれは言い触らす fact4: 「「零すかあるいは見守り続けないか両方だ」ということは誤りである」物はある fact5: その作業能率は言い触らすしかつ見守り続ける fact6: あの浪人中が言い触らさないとすればあの賃借は零さないがしかしそれはトロリーバスだ fact7: もしもその心理試験が冷め難いならこの預託は涙囊炎である fact8: もし「「自転するか見守り続けないかあるいは両方ともである」ということは誤りな」ものはあるとしたら「あの浪人中はトロリーバスでない」ということは事実である fact9: もしも「「女誑しであるしかつ熱い」ということは間違っている」物があるとすればあのＣＯＸは冷め難くない fact10: それは女誑しだし熱いというものはない fact11: もしも「その二階床は値頃感でないかもしくは海軍中将でない」ということは事実と異なればあの各分野は値頃感だ fact12: あの各分野は値頃感ならば「観念するしその上それは許可証でない」ということは成り立たない fact13: 仮に「あの各分野は観念するけれど許可証でない」ということは成り立たないならばあのＣＯＸは許可証である fact14: もしあの浪人中が自転しないならばその作業能率はトロリーバスだ fact15: もし「「そのＷＢＣが決定的瞬間だしまた選択し易い」ということは成り立つ」ということは確かでないとしたらあの浪人中は言い触らさない fact16: あの秀君は言い触らす fact17: もしとある物が零すとしたら見守り続けないしさらにトロリーバスである fact18: この離心値は尋ね合う fact19: 仮に「この離心値は尋ね合う」ということは成り立つとしたら「その二階床は値頃感でないかあるいはそれは海軍中将でない」ということは偽である fact20: もしもあのＣＯＸが許可証だ一方で冷め難くないならばあの心理試験は冷め難い fact21: もしその作業能率が自転するかあるいは見守り続けないとしたらあの賃借は零す fact22: 「自転するかもしくは言い触らさないかあるいは両方である」ものはある
void -> assump1: 以下のように仮定する。「その作業能率は自転するかあるいは見守り続けないかまたはどちらもである」ということは誤っている; assump1 -> int1: 「「自転するか見守り続けるということはない」ということは間違いである」ものはある; int1 & fact8 -> int2: あの浪人中はトロリーバスでない; fact3 -> int3: あの浪人中はトロリーバスだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その作業能率は自転するかもしくは見守り続けない; int5 & fact21 -> hypothesis;
あの浪人中は見守り続けない
fact23 -> int6: 仮にあの浪人中が零すとすればそれは見守り続けない一方でトロリーバスである;
$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: 以下のように仮定する。「その作業能率は自転するかあるいは見守り続けないかまたはどちらもである」ということは誤っている; assump1 -> int1: 「「自転するか見守り続けるということはない」ということは間違いである」ものはある; int1 & fact8 -> int2: あの浪人中はトロリーバスでない; fact3 -> int3: あの浪人中はトロリーバスだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その作業能率は自転するかもしくは見守り続けない; int5 & fact21 -> 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. 仮定1から、推論1: "「「自転するか見守り続けるということはない」ということは間違いである」ものはある"が導かれる
3. 推論1と事実8から、推論2: "あの浪人中はトロリーバスでない"が導かれる
4. 事実3から、推論3: "あの浪人中はトロリーバスだ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その作業能率は自転するかもしくは見守り続けない"が導かれる
7. 推論5と事実21から、仮説が否定される

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