「「もし「搬送路でない」ということは間違いでないとすると「あくどくないかまたは燃焼ガスでない」ということは誤っている」物はある」ということは確かでない
fact1: 「もしも搬送路だということはないならばあくどくないかもしくは燃焼ガスでないかもしくはどちらもである」物はある fact2: 「もしも搬送路でないとすればあくどい」物はある fact3: 仮にこのハードウェアが搬送路だということはないとすればそれはあくどくないかもしくはそれは燃焼ガスでない fact4: 「仮に「搬送路だ」ということは事実であるならば「あくどくないか燃焼ガスでない」ということは嘘な」物はある fact5: 「もしも「搬送路でない」ということは成り立つとすると「あくどいかもしくは燃焼ガスでないかもしくは両方である」ということは間違いである」物はある fact6: 「仮に搬送路でないとしたら「あくどくないか燃焼ガスであるか両方である」ということは嘘である」物はある fact7: 「このハードウェアは搬送路でない」ということは確かであるとしたら「あくどくないかもしくはそれは燃焼ガスである」ということは誤っている fact8: もし仮にこのハードウェアは搬送路でないならそれはあくどい fact9: もしこのハードウェアは搬送路だということはないとしたら「それはあくどくないかまたは燃焼ガスでないか両方である」ということは誤りだ
fact9 -> hypothesis;
fact9 -> hypothesis;
$facts$ = fact1: 「もしも搬送路だということはないならばあくどくないかもしくは燃焼ガスでないかもしくはどちらもである」物はある fact2: 「もしも搬送路でないとすればあくどい」物はある fact3: 仮にこのハードウェアが搬送路だということはないとすればそれはあくどくないかもしくはそれは燃焼ガスでない fact4: 「仮に「搬送路だ」ということは事実であるならば「あくどくないか燃焼ガスでない」ということは嘘な」物はある fact5: 「もしも「搬送路でない」ということは成り立つとすると「あくどいかもしくは燃焼ガスでないかもしくは両方である」ということは間違いである」物はある fact6: 「仮に搬送路でないとしたら「あくどくないか燃焼ガスであるか両方である」ということは嘘である」物はある fact7: 「このハードウェアは搬送路でない」ということは確かであるとしたら「あくどくないかもしくはそれは燃焼ガスである」ということは誤っている fact8: もし仮にこのハードウェアは搬送路でないならそれはあくどい fact9: もしこのハードウェアは搬送路だということはないとしたら「それはあくどくないかまたは燃焼ガスでないか両方である」ということは誤りだ ; $hypothesis$ = 「「もし「搬送路でない」ということは間違いでないとすると「あくどくないかまたは燃焼ガスでない」ということは誤っている」物はある」ということは確かでない ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: 「もしも搬送路だということはないならばあくどくないかもしくは燃焼ガスでないかもしくはどちらもである」物はある
事実2: 「もしも搬送路でないとすればあくどい」物はある
事実3: 仮にこのハードウェアが搬送路だということはないとすればそれはあくどくないかもしくはそれは燃焼ガスでない
事実4: 「仮に「搬送路だ」ということは事実であるならば「あくどくないか燃焼ガスでない」ということは嘘な」物はある
事実5: 「もしも「搬送路でない」ということは成り立つとすると「あくどいかもしくは燃焼ガスでないかもしくは両方である」ということは間違いである」物はある
事実6: 「仮に搬送路でないとしたら「あくどくないか燃焼ガスであるか両方である」ということは嘘である」物はある
事実7: 「このハードウェアは搬送路でない」ということは確かであるとしたら「あくどくないかもしくはそれは燃焼ガスである」ということは誤っている
事実8: もし仮にこのハードウェアは搬送路でないならそれはあくどい
事実9: もしこのハードウェアは搬送路だということはないとしたら「それはあくどくないかまたは燃焼ガスでないか両方である」ということは誤りだ

仮説: 「「もし「搬送路でない」ということは間違いでないとすると「あくどくないかまたは燃焼ガスでない」ということは誤っている」物はある」ということは確かでない
1. 事実9から、仮説が否定される

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