そのバスタイムは関係深いということはない
fact1: もしもなにかはベニヤでないしその上それがすこくないとすれば関係深くない fact2: 「そのバスタイムは全国ネットワークであるしそれは手厚い」ということは間違いだ fact3: 「そのバスタイムは全国ネットワークであるということはないけど手厚い」ということは事実と異なる fact4: 「仮に「そのバスタイムは全国ネットワークでない一方で手厚い」ということは偽であるとすると「そのバスタイムはすこくない」ということは確かだ」ということは確かである fact5: ベニヤは関係深い fact6: なんらかのものはベニヤでないならば「それは意義深い」ということは成り立つ fact7: すこくない物はベニヤである
fact4 & fact3 -> int1: 「そのバスタイムはすこくない」ということは事実だ; fact7 -> int2: 仮にそのバスタイムがすこくないならそれはベニヤである; int1 & int2 -> int3: そのバスタイムはベニヤだ; fact5 -> int4: そのバスタイムはベニヤであるとしたら関係深い; int3 & int4 -> hypothesis;
そのバスタイムは関係深くない
fact8 -> int5: もし仮にそのバスタイムがベニヤでなくてしかもすこくないならそれは関係深くない;
$facts$ = fact1: もしもなにかはベニヤでないしその上それがすこくないとすれば関係深くない fact2: 「そのバスタイムは全国ネットワークであるしそれは手厚い」ということは間違いだ fact3: 「そのバスタイムは全国ネットワークであるということはないけど手厚い」ということは事実と異なる fact4: 「仮に「そのバスタイムは全国ネットワークでない一方で手厚い」ということは偽であるとすると「そのバスタイムはすこくない」ということは確かだ」ということは確かである fact5: ベニヤは関係深い fact6: なんらかのものはベニヤでないならば「それは意義深い」ということは成り立つ fact7: すこくない物はベニヤである ; $hypothesis$ = そのバスタイムは関係深いということはない ; $proof$ = 
fact4 & fact3 -> int1: 「そのバスタイムはすこくない」ということは事実だ; fact7 -> int2: 仮にそのバスタイムがすこくないならそれはベニヤである; int1 & int2 -> int3: そのバスタイムはベニヤだ; fact5 -> int4: そのバスタイムはベニヤであるとしたら関係深い; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもなにかはベニヤでないしその上それがすこくないとすれば関係深くない
事実2: 「そのバスタイムは全国ネットワークであるしそれは手厚い」ということは間違いだ
事実3: 「そのバスタイムは全国ネットワークであるということはないけど手厚い」ということは事実と異なる
事実4: 「仮に「そのバスタイムは全国ネットワークでない一方で手厚い」ということは偽であるとすると「そのバスタイムはすこくない」ということは確かだ」ということは確かである
事実5: ベニヤは関係深い
事実6: なんらかのものはベニヤでないならば「それは意義深い」ということは成り立つ
事実7: すこくない物はベニヤである

仮説: そのバスタイムは関係深いということはない
1. 事実4と事実3から、推論1: "「そのバスタイムはすこくない」ということは事実だ"が導かれる
2. 事実7から、推論2: "仮にそのバスタイムがすこくないならそれはベニヤである"が導かれる
3. 推論1と推論2から、推論3: "そのバスタイムはベニヤだ"が導かれる
4. 事実5から、推論4: "そのバスタイムはベニヤであるとしたら関係深い"が導かれる
5. 推論3と推論4から、仮説が否定される

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