そのフランス菓子は吟味しない
fact1: そのフランス菓子は重要ポイントだ fact2: なにがしかの物が切り開かないか重要ポイントであるかもしくは両方ならばそれは通じ易い fact3: もし仮にそのフランス菓子が程無いならそれは吟味する fact4: もし仮に何かは通じ易いとしたらそれは程無い
fact1 -> int1: そのフランス菓子は切り開かないかまたは重要ポイントであるかどちらもだ; fact2 -> int2: もしもそのフランス菓子が切り開かないか重要ポイントであるかもしくは両方ともであるとしたらそれは通じ易い; int1 & int2 -> int3: そのフランス菓子は通じ易い; fact4 -> int4: 仮にそのフランス菓子が通じ易いなら程無い; int3 & int4 -> int5: そのフランス菓子は程無い; int5 & fact3 -> hypothesis;
$facts$ = fact1: そのフランス菓子は重要ポイントだ fact2: なにがしかの物が切り開かないか重要ポイントであるかもしくは両方ならばそれは通じ易い fact3: もし仮にそのフランス菓子が程無いならそれは吟味する fact4: もし仮に何かは通じ易いとしたらそれは程無い ; $hypothesis$ = そのフランス菓子は吟味しない ; $proof$ = 
fact1 -> int1: そのフランス菓子は切り開かないかまたは重要ポイントであるかどちらもだ; fact2 -> int2: もしもそのフランス菓子が切り開かないか重要ポイントであるかもしくは両方ともであるとしたらそれは通じ易い; int1 & int2 -> int3: そのフランス菓子は通じ易い; fact4 -> int4: 仮にそのフランス菓子が通じ易いなら程無い; int3 & int4 -> int5: そのフランス菓子は程無い; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: そのフランス菓子は重要ポイントだ
事実2: なにがしかの物が切り開かないか重要ポイントであるかもしくは両方ならばそれは通じ易い
事実3: もし仮にそのフランス菓子が程無いならそれは吟味する
事実4: もし仮に何かは通じ易いとしたらそれは程無い

仮説: そのフランス菓子は吟味しない
1. 事実1から、推論1: "そのフランス菓子は切り開かないかまたは重要ポイントであるかどちらもだ"が導かれる
2. 事実2から、推論2: "もしもそのフランス菓子が切り開かないか重要ポイントであるかもしくは両方ともであるとしたらそれは通じ易い"が導かれる
3. 推論1と推論2から、推論3: "そのフランス菓子は通じ易い"が導かれる
4. 事実4から、推論4: "仮にそのフランス菓子が通じ易いなら程無い"が導かれる
5. 推論3と推論4から、推論5: "そのフランス菓子は程無い"が導かれる
6. 推論5と事実3から、仮説が否定される

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