「このパイ生地は引っ返すかあるいは哨戒する」ということは間違いである
fact1: なにがしかのものがウェブマスターだとしたら連環しない fact2: 何らかの物は連環しないなら「「引っ返すかあるいはそれは哨戒するかもしくは両方ともである」ということは事実だ」ということは誤りだ fact3: この信用リスクは連環する fact4: もしもこのパイ生地は連環するとすると「引っ返す」ということは確かである fact5: もしも「何かはウェブマスターでない一方でそれは連環する」ということは偽であるならそれは連環しない fact6: この電子メイルは連環する fact7: このパイ生地は連環する
fact4 & fact7 -> int1: このパイ生地は引っ返す; int1 -> hypothesis;
「このパイ生地は引っ返すか哨戒するか両方である」ということは成り立たない
fact8 -> int2: もしもこのパイ生地は連環しないとすれば「それは引っ返すかあるいは哨戒するかもしくは両方ともである」ということは成り立つということはない; fact9 -> int3: もしも「このパイ生地はウェブマスターである」ということは成り立つとするとそれは連環しない;
$facts$ = fact1: なにがしかのものがウェブマスターだとしたら連環しない fact2: 何らかの物は連環しないなら「「引っ返すかあるいはそれは哨戒するかもしくは両方ともである」ということは事実だ」ということは誤りだ fact3: この信用リスクは連環する fact4: もしもこのパイ生地は連環するとすると「引っ返す」ということは確かである fact5: もしも「何かはウェブマスターでない一方でそれは連環する」ということは偽であるならそれは連環しない fact6: この電子メイルは連環する fact7: このパイ生地は連環する ; $hypothesis$ = 「このパイ生地は引っ返すかあるいは哨戒する」ということは間違いである ; $proof$ = 
fact4 & fact7 -> int1: このパイ生地は引っ返す; int1 -> hypothesis; __DISPROVED__
事実1: なにがしかのものがウェブマスターだとしたら連環しない
事実2: 何らかの物は連環しないなら「「引っ返すかあるいはそれは哨戒するかもしくは両方ともである」ということは事実だ」ということは誤りだ
事実3: この信用リスクは連環する
事実4: もしもこのパイ生地は連環するとすると「引っ返す」ということは確かである
事実5: もしも「何かはウェブマスターでない一方でそれは連環する」ということは偽であるならそれは連環しない
事実6: この電子メイルは連環する
事実7: このパイ生地は連環する

仮説: 「このパイ生地は引っ返すかあるいは哨戒する」ということは間違いである
1. 事実4と事実7から、推論1: "このパイ生地は引っ返す"が導かれる
2. 推論1から、仮説が否定される

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