この惑星間観測衛星は納得し易い
fact1: あのバルパライソは圏域であるか輸送中であるかまたは両方である fact2: この惑星間観測衛星は届き難いかもしくは納得し易いかもしくはどちらもだ fact3: もしあのバルパライソが届き難いかあるいはそれが愛くるしいということはないか両方ともであるならばこの惑星間観測衛星は納得し易くない fact4: あのバルパライソは納得し易い一方で故無いということはない fact5: あのバルパライソは届き難い一方で故無くない
fact5 -> int1: あのバルパライソは届き難い; int1 -> int2: あのバルパライソは届き難いかあるいは愛くるしくないかあるいは両方だ; int2 & fact3 -> hypothesis;
$facts$ = fact1: あのバルパライソは圏域であるか輸送中であるかまたは両方である fact2: この惑星間観測衛星は届き難いかもしくは納得し易いかもしくはどちらもだ fact3: もしあのバルパライソが届き難いかあるいはそれが愛くるしいということはないか両方ともであるならばこの惑星間観測衛星は納得し易くない fact4: あのバルパライソは納得し易い一方で故無いということはない fact5: あのバルパライソは届き難い一方で故無くない ; $hypothesis$ = この惑星間観測衛星は納得し易い ; $proof$ = 
fact5 -> int1: あのバルパライソは届き難い; int1 -> int2: あのバルパライソは届き難いかあるいは愛くるしくないかあるいは両方だ; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: あのバルパライソは圏域であるか輸送中であるかまたは両方である
事実2: この惑星間観測衛星は届き難いかもしくは納得し易いかもしくはどちらもだ
事実3: もしあのバルパライソが届き難いかあるいはそれが愛くるしいということはないか両方ともであるならばこの惑星間観測衛星は納得し易くない
事実4: あのバルパライソは納得し易い一方で故無いということはない
事実5: あのバルパライソは届き難い一方で故無くない

仮説: この惑星間観測衛星は納得し易い
1. 事実5から、推論1: "あのバルパライソは届き難い"が導かれる
2. 推論1から、推論2: "あのバルパライソは届き難いかあるいは愛くるしくないかあるいは両方だ"が導かれる
3. 推論2と事実3から、仮説が否定される

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