「その第九レースは艀卵器であるかあるいはそれは配置出来ない」ということは成り立たない
fact1: 仮に「その第九レースは防備するし更に自己コントロール出来る」ということは成り立たないとすればそれは防備しない fact2: もしある物が防備しないならば艀卵器であるかまたは配置出来ない fact3: 「その第九レースは防備するしおまけに自己コントロール出来る」ということは嘘である
fact2 -> int1: もしその第九レースが防備しないとしたらそれは艀卵器であるか配置出来ない; fact1 & fact3 -> int2: その第九レースは防備しない; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮に「その第九レースは防備するし更に自己コントロール出来る」ということは成り立たないとすればそれは防備しない fact2: もしある物が防備しないならば艀卵器であるかまたは配置出来ない fact3: 「その第九レースは防備するしおまけに自己コントロール出来る」ということは嘘である ; $hypothesis$ = 「その第九レースは艀卵器であるかあるいはそれは配置出来ない」ということは成り立たない ; $proof$ = 
fact2 -> int1: もしその第九レースが防備しないとしたらそれは艀卵器であるか配置出来ない; fact1 & fact3 -> int2: その第九レースは防備しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「その第九レースは防備するし更に自己コントロール出来る」ということは成り立たないとすればそれは防備しない
事実2: もしある物が防備しないならば艀卵器であるかまたは配置出来ない
事実3: 「その第九レースは防備するしおまけに自己コントロール出来る」ということは嘘である

仮説: 「その第九レースは艀卵器であるかあるいはそれは配置出来ない」ということは成り立たない
1. 事実2から、推論1: "もしその第九レースが防備しないとしたらそれは艀卵器であるか配置出来ない"が導かれる
2. 事実1と事実3から、推論2: "その第九レースは防備しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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