その活動分野は直結するということはない
fact1: 魚座が四散するということはないとしたらそれは直結するということはない fact2: そのフィリピン国内は諜報であるしかつ晴れる fact3: この慰安婦は四散するしまた魚座だ fact4: 仮にこの慰安婦が四散するならその活動分野は直結する
fact3 -> int1: この慰安婦は四散する; int1 & fact4 -> hypothesis;
その活動分野は直結しない
fact5 -> int2: 仮にその活動分野が魚座である一方でそれは四散しないならば「直結するということはない」ということは事実である;
$facts$ = fact1: 魚座が四散するということはないとしたらそれは直結するということはない fact2: そのフィリピン国内は諜報であるしかつ晴れる fact3: この慰安婦は四散するしまた魚座だ fact4: 仮にこの慰安婦が四散するならその活動分野は直結する ; $hypothesis$ = その活動分野は直結するということはない ; $proof$ = 
fact3 -> int1: この慰安婦は四散する; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 魚座が四散するということはないとしたらそれは直結するということはない
事実2: そのフィリピン国内は諜報であるしかつ晴れる
事実3: この慰安婦は四散するしまた魚座だ
事実4: 仮にこの慰安婦が四散するならその活動分野は直結する

仮説: その活動分野は直結するということはない
1. 事実3から、推論1: "この慰安婦は四散する"が導かれる
2. 推論1と事実4から、仮説が否定される

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