その対アメリカは疑い深くない
fact1: 「とあるものはドライブするしまた光ファイバ通信である」ということは誤りであるとすると疑い深いということはない fact2: もしもあの第三章がドライブすればその対アメリカは光ファイバ通信である fact3: あの第三章はドライブする fact4: あるものが光ファイバ通信だとすると疑い深い
fact2 & fact3 -> int1: その対アメリカは光ファイバ通信だ; fact4 -> int2: もしその対アメリカは光ファイバ通信だとすると「疑い深い」ということは嘘でない; int1 & int2 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; fact4 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
その対アメリカは疑い深くない
fact5 -> int3: もし仮に「その対アメリカはドライブするしかつそれは光ファイバ通信だ」ということは偽なら疑い深くない;
$facts$ = fact1: 「とあるものはドライブするしまた光ファイバ通信である」ということは誤りであるとすると疑い深いということはない fact2: もしもあの第三章がドライブすればその対アメリカは光ファイバ通信である fact3: あの第三章はドライブする fact4: あるものが光ファイバ通信だとすると疑い深い ; $hypothesis$ = その対アメリカは疑い深くない ; $proof$ = 
fact2 & fact3 -> int1: その対アメリカは光ファイバ通信だ; fact4 -> int2: もしその対アメリカは光ファイバ通信だとすると「疑い深い」ということは嘘でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「とあるものはドライブするしまた光ファイバ通信である」ということは誤りであるとすると疑い深いということはない
事実2: もしもあの第三章がドライブすればその対アメリカは光ファイバ通信である
事実3: あの第三章はドライブする
事実4: あるものが光ファイバ通信だとすると疑い深い

仮説: その対アメリカは疑い深くない
1. 事実2と事実3から、推論1: "その対アメリカは光ファイバ通信だ"が導かれる
2. 事実4から、推論2: "もしその対アメリカは光ファイバ通信だとすると「疑い深い」ということは嘘でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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