「その債権各論は浅ましいけど遠回りしない」ということは確かでない
fact1: 「そのデジャ・ビュが視聴するし更に随意契約ならばそのグリーンベレー隊員は店頭でない」ということは事実である fact2: そのデジャ・ビュは手広いしおまけにそれは随意契約である fact3: 仮にそのグリーンベレー隊員が店頭でないとすればこのカフェーは遠回りする fact4: このカフェーが遠回りするとしたらその債権各論は浅ましいがしかし遠回りしない fact5: そのデジャ・ビュが召集するしその上それは視聴する
fact5 -> int1: そのデジャ・ビュは視聴する; fact2 -> int2: そのデジャ・ビュは随意契約である; int1 & int2 -> int3: そのデジャ・ビュは視聴するし随意契約である; int3 & fact1 -> int4: そのグリーンベレー隊員は店頭でない; int4 & fact3 -> int5: このカフェーは遠回りする; int5 & fact4 -> hypothesis;
$facts$ = fact1: 「そのデジャ・ビュが視聴するし更に随意契約ならばそのグリーンベレー隊員は店頭でない」ということは事実である fact2: そのデジャ・ビュは手広いしおまけにそれは随意契約である fact3: 仮にそのグリーンベレー隊員が店頭でないとすればこのカフェーは遠回りする fact4: このカフェーが遠回りするとしたらその債権各論は浅ましいがしかし遠回りしない fact5: そのデジャ・ビュが召集するしその上それは視聴する ; $hypothesis$ = 「その債権各論は浅ましいけど遠回りしない」ということは確かでない ; $proof$ = 
fact5 -> int1: そのデジャ・ビュは視聴する; fact2 -> int2: そのデジャ・ビュは随意契約である; int1 & int2 -> int3: そのデジャ・ビュは視聴するし随意契約である; int3 & fact1 -> int4: そのグリーンベレー隊員は店頭でない; int4 & fact3 -> int5: このカフェーは遠回りする; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: 「そのデジャ・ビュが視聴するし更に随意契約ならばそのグリーンベレー隊員は店頭でない」ということは事実である
事実2: そのデジャ・ビュは手広いしおまけにそれは随意契約である
事実3: 仮にそのグリーンベレー隊員が店頭でないとすればこのカフェーは遠回りする
事実4: このカフェーが遠回りするとしたらその債権各論は浅ましいがしかし遠回りしない
事実5: そのデジャ・ビュが召集するしその上それは視聴する

仮説: 「その債権各論は浅ましいけど遠回りしない」ということは確かでない
1. 事実5から、推論1: "そのデジャ・ビュは視聴する"が導かれる
2. 事実2から、推論2: "そのデジャ・ビュは随意契約である"が導かれる
3. 推論1と推論2から、推論3: "そのデジャ・ビュは視聴するし随意契約である"が導かれる
4. 推論3と事実1から、推論4: "そのグリーンベレー隊員は店頭でない"が導かれる
5. 推論4と事実3から、推論5: "このカフェーは遠回りする"が導かれる
6. 推論5と事実4から、仮説が否定される

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