「あの施行方法は行儀良いかまたは腰掛けるということはないかまたはどちらもである」ということは間違いである
fact1: もし「この赤鼻がでかいしその上集中す」ということは誤りならばその当該元請け負い人は介しない fact2: もし仮に「なにかは最大トルクでないかまたは探り出さないかまたはどちらもだ」ということは誤っているとすればそれは判別し易くない fact3: 仮になにがしかの物は営業利益率であるとすれば「それは最大トルクでないかまたは探り出さないかまたは両方ともだ」ということは事実でない fact4: もし仮にこの赤鼻は中小病院でないとすると「それはでかくて加えて集中す」ということは本当でない fact5: 「もしもあるものが非難がましくらないとしたらそれは営業利益率でないか普及し始めるかもしくは両方だ」ということは本当である fact6: その当該元請け負い人は判別し易くない fact7: もしもなんらかの物が最大トルクだということはないなら探り出す fact8: その豚箱は対人でなくて旨くない fact9: もし「あの施行方法は行儀良いかもしくはそれは腰掛ける」ということは成り立つということはないとすればあの当該元請け負い人は探り出す fact10: この赤鼻は中小病院でない fact11: もし仮にあの施行方法が営業利益率でないかあるいは普及し始めるかまたは両方ともであるとすればそのトラッカーは営業利益率である fact12: もしもとあるものは介しないならば「それは泥棒呼ばわりしないが非難がましい」ということは成り立たない fact13: 「あの施行方法は行儀良いかもしくはそれは腰掛けない」ということは成り立たないならばその当該元請け負い人は探り出す fact14: もし仮になにがしかの物は判別し易くないとすれば「それは行儀良いかもしくは腰掛けないかもしくは両方ともだ」ということは成り立たない fact15: この緊急避難ピルは腰掛ける fact16: その当該元請け負い人は探り出さなくて加えてそれは判別し易くない fact17: 「とある物は探り出す」ということは本当であるとすると判別し易くない fact18: 「その当該元請け負い人は腰掛けるかあるいは行儀良くない」ということは嘘であるとしたらあの施行方法は探り出す
void -> assump1: 以下のように仮定する。「あの施行方法は行儀良いかまたは腰掛けないかもしくは両方ともだ」ということは間違っている; fact13 & assump1 -> int1: その当該元請け負い人は探り出す; fact16 -> int2: その当該元請け負い人は探り出さない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
そのトラッカーは判別し易くない
fact19 -> int4: もし「そのトラッカーは最大トルクであるということはないかもしくはそれは探り出さないかもしくはどちらもだ」ということは成り立たないとするとそれは判別し易くない; fact23 -> int5: もしもそのトラッカーは営業利益率だとすれば「それは最大トルクでないかもしくは探り出さないかどちらもである」ということは誤りだ; fact26 -> int6: もし仮にあの施行方法が非難がましかないならば営業利益率であるということはないかもしくはそれは普及し始めるかもしくは両方だ; fact22 -> int7: 仮にその当該元請け負い人は介しないならば「それは泥棒呼ばわりするということはない一方で非難がましい」ということは成り立たない; fact20 & fact21 -> int8: 「この赤鼻はでかいしさらにそれは集中す」ということは成り立たない; fact25 & int8 -> int9: その当該元請け負い人は介するということはない; int7 & int9 -> int10: 「その当該元請け負い人は泥棒呼ばわりするということはないけど非難がましい」ということは間違いだ; int10 -> int11: 「「泥棒呼ばわりしないがしかし非難がましい」ということは事実と異なる」物はある;
$facts$ = fact1: もし「この赤鼻がでかいしその上集中す」ということは誤りならばその当該元請け負い人は介しない fact2: もし仮に「なにかは最大トルクでないかまたは探り出さないかまたはどちらもだ」ということは誤っているとすればそれは判別し易くない fact3: 仮になにがしかの物は営業利益率であるとすれば「それは最大トルクでないかまたは探り出さないかまたは両方ともだ」ということは事実でない fact4: もし仮にこの赤鼻は中小病院でないとすると「それはでかくて加えて集中す」ということは本当でない fact5: 「もしもあるものが非難がましくらないとしたらそれは営業利益率でないか普及し始めるかもしくは両方だ」ということは本当である fact6: その当該元請け負い人は判別し易くない fact7: もしもなんらかの物が最大トルクだということはないなら探り出す fact8: その豚箱は対人でなくて旨くない fact9: もし「あの施行方法は行儀良いかもしくはそれは腰掛ける」ということは成り立つということはないとすればあの当該元請け負い人は探り出す fact10: この赤鼻は中小病院でない fact11: もし仮にあの施行方法が営業利益率でないかあるいは普及し始めるかまたは両方ともであるとすればそのトラッカーは営業利益率である fact12: もしもとあるものは介しないならば「それは泥棒呼ばわりしないが非難がましい」ということは成り立たない fact13: 「あの施行方法は行儀良いかもしくはそれは腰掛けない」ということは成り立たないならばその当該元請け負い人は探り出す fact14: もし仮になにがしかの物は判別し易くないとすれば「それは行儀良いかもしくは腰掛けないかもしくは両方ともだ」ということは成り立たない fact15: この緊急避難ピルは腰掛ける fact16: その当該元請け負い人は探り出さなくて加えてそれは判別し易くない fact17: 「とある物は探り出す」ということは本当であるとすると判別し易くない fact18: 「その当該元請け負い人は腰掛けるかあるいは行儀良くない」ということは嘘であるとしたらあの施行方法は探り出す ; $hypothesis$ = 「あの施行方法は行儀良いかまたは腰掛けるということはないかまたはどちらもである」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの施行方法は行儀良いかまたは腰掛けないかもしくは両方ともだ」ということは間違っている; fact13 & assump1 -> int1: その当該元請け負い人は探り出す; fact16 -> int2: その当該元請け負い人は探り出さない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし「この赤鼻がでかいしその上集中す」ということは誤りならばその当該元請け負い人は介しない
事実2: もし仮に「なにかは最大トルクでないかまたは探り出さないかまたはどちらもだ」ということは誤っているとすればそれは判別し易くない
事実3: 仮になにがしかの物は営業利益率であるとすれば「それは最大トルクでないかまたは探り出さないかまたは両方ともだ」ということは事実でない
事実4: もし仮にこの赤鼻は中小病院でないとすると「それはでかくて加えて集中す」ということは本当でない
事実5: 「もしもあるものが非難がましくらないとしたらそれは営業利益率でないか普及し始めるかもしくは両方だ」ということは本当である
事実6: その当該元請け負い人は判別し易くない
事実7: もしもなんらかの物が最大トルクだということはないなら探り出す
事実8: その豚箱は対人でなくて旨くない
事実9: もし「あの施行方法は行儀良いかもしくはそれは腰掛ける」ということは成り立つということはないとすればあの当該元請け負い人は探り出す
事実10: この赤鼻は中小病院でない
事実11: もし仮にあの施行方法が営業利益率でないかあるいは普及し始めるかまたは両方ともであるとすればそのトラッカーは営業利益率である
事実12: もしもとあるものは介しないならば「それは泥棒呼ばわりしないが非難がましい」ということは成り立たない
事実13: 「あの施行方法は行儀良いかもしくはそれは腰掛けない」ということは成り立たないならばその当該元請け負い人は探り出す
事実14: もし仮になにがしかの物は判別し易くないとすれば「それは行儀良いかもしくは腰掛けないかもしくは両方ともだ」ということは成り立たない
事実15: この緊急避難ピルは腰掛ける
事実16: その当該元請け負い人は探り出さなくて加えてそれは判別し易くない
事実17: 「とある物は探り出す」ということは本当であるとすると判別し易くない
事実18: 「その当該元請け負い人は腰掛けるかあるいは行儀良くない」ということは嘘であるとしたらあの施行方法は探り出す

仮説: 「あの施行方法は行儀良いかまたは腰掛けるということはないかまたはどちらもである」ということは間違いである
1. 仮定1: 以下のように仮定する。「あの施行方法は行儀良いかまたは腰掛けないかもしくは両方ともだ」ということは間違っている
2. 事実13と仮定1から、推論1: "その当該元請け負い人は探り出す"が導かれる
3. 事実16から、推論2: "その当該元請け負い人は探り出さない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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