あの定額制は登校出来る
fact1: もし仮に「あの定額制は登校出来るけれどそれは非常電源設備でない」ということは本当でないならその島側は登校出来ない fact2: この転移巣は後ろ暗い fact3: とあるものが非常電源設備でないけどそれが浮き易いとしたら登校出来ない fact4: あの定額制は浮き易い fact5: あの製品・サービスは登校出来ない fact6: あの定額制は非常電源設備でない fact7: 「なにがしかのものは取り扱うしまた図太い」ということは嘘だとすれば図太いということはない fact8: もしなんらかのものは図太くないとすれば「非常電源設備でないしそれは浮き易くない」ということは成り立つということはない
fact6 & fact4 -> int1: 「あの定額制は非常電源設備でない一方で浮き易い」ということは成り立つ; fact3 -> int2: あの定額制が非常電源設備でないが浮き易いならば登校出来ない; int1 & int2 -> hypothesis;
「その島側は登校出来ない」ということは事実だ
$facts$ = fact1: もし仮に「あの定額制は登校出来るけれどそれは非常電源設備でない」ということは本当でないならその島側は登校出来ない fact2: この転移巣は後ろ暗い fact3: とあるものが非常電源設備でないけどそれが浮き易いとしたら登校出来ない fact4: あの定額制は浮き易い fact5: あの製品・サービスは登校出来ない fact6: あの定額制は非常電源設備でない fact7: 「なにがしかのものは取り扱うしまた図太い」ということは嘘だとすれば図太いということはない fact8: もしなんらかのものは図太くないとすれば「非常電源設備でないしそれは浮き易くない」ということは成り立つということはない ; $hypothesis$ = あの定額制は登校出来る ; $proof$ = 
fact6 & fact4 -> int1: 「あの定額制は非常電源設備でない一方で浮き易い」ということは成り立つ; fact3 -> int2: あの定額制が非常電源設備でないが浮き易いならば登校出来ない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの定額制は登校出来るけれどそれは非常電源設備でない」ということは本当でないならその島側は登校出来ない
事実2: この転移巣は後ろ暗い
事実3: とあるものが非常電源設備でないけどそれが浮き易いとしたら登校出来ない
事実4: あの定額制は浮き易い
事実5: あの製品・サービスは登校出来ない
事実6: あの定額制は非常電源設備でない
事実7: 「なにがしかのものは取り扱うしまた図太い」ということは嘘だとすれば図太いということはない
事実8: もしなんらかのものは図太くないとすれば「非常電源設備でないしそれは浮き易くない」ということは成り立つということはない

仮説: あの定額制は登校出来る
1. 事実6と事実4から、推論1: "「あの定額制は非常電源設備でない一方で浮き易い」ということは成り立つ"が導かれる
2. 事実3から、推論2: "あの定額制が非常電源設備でないが浮き易いならば登校出来ない"が導かれる
3. 推論1と推論2から、仮説が否定される

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