そのビスチェスは人材マネジメントシステムでない
fact1: この瞬きアプレットは付け難いか通り易い fact2: 「この瞬きアプレットは付け難いかそれは通り易くないかまたは両方ともである」ということは成り立つ fact3: もしもこの瞬きアプレットが付け難いかそれが通り易くないとすればそのビスチェスは面映ゆい fact4: もしそのビスチェスが通り易いかあるいは付け難くないならこの瞬きアプレットは人材マネジメントシステムである fact5: 面映ゆい物は人材マネジメントシステムだ
fact3 & fact2 -> int1: そのビスチェスは面映ゆい; fact5 -> int2: もし仮にそのビスチェスは面映ゆいなら「それは人材マネジメントシステムである」ということは真実である; int1 & int2 -> hypothesis;
$facts$ = fact1: この瞬きアプレットは付け難いか通り易い fact2: 「この瞬きアプレットは付け難いかそれは通り易くないかまたは両方ともである」ということは成り立つ fact3: もしもこの瞬きアプレットが付け難いかそれが通り易くないとすればそのビスチェスは面映ゆい fact4: もしそのビスチェスが通り易いかあるいは付け難くないならこの瞬きアプレットは人材マネジメントシステムである fact5: 面映ゆい物は人材マネジメントシステムだ ; $hypothesis$ = そのビスチェスは人材マネジメントシステムでない ; $proof$ = 
fact3 & fact2 -> int1: そのビスチェスは面映ゆい; fact5 -> int2: もし仮にそのビスチェスは面映ゆいなら「それは人材マネジメントシステムである」ということは真実である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この瞬きアプレットは付け難いか通り易い
事実2: 「この瞬きアプレットは付け難いかそれは通り易くないかまたは両方ともである」ということは成り立つ
事実3: もしもこの瞬きアプレットが付け難いかそれが通り易くないとすればそのビスチェスは面映ゆい
事実4: もしそのビスチェスが通り易いかあるいは付け難くないならこの瞬きアプレットは人材マネジメントシステムである
事実5: 面映ゆい物は人材マネジメントシステムだ

仮説: そのビスチェスは人材マネジメントシステムでない
1. 事実3と事実2から、推論1: "そのビスチェスは面映ゆい"が導かれる
2. 事実5から、推論2: "もし仮にそのビスチェスは面映ゆいなら「それは人材マネジメントシステムである」ということは真実である"が導かれる
3. 推論1と推論2から、仮説が否定される

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