その茫然自失は算定し難くないかマイクロマネジャーだということはないかあるいは両方ともである
fact1: もし仮になにかは作業し易いとするとそれは算定し難くないかマイクロマネジャーでないかあるいは両方ともである fact2: この二十分後は作業し易い fact3: もしその王統は高しないとすると「その茫然自失は算定し難くないかそれはマイクロマネジャーでないかもしくは両方である」ということは成り立たない fact4: この冷蔵室は作業し易い fact5: 仮にこの冷蔵室が作業し易いならばその王統は高しないけど出土する
fact5 & fact4 -> int1: その王統は高しない一方でそれは出土する; int1 -> int2: その王統は高しない; int2 & fact3 -> hypothesis;
fact5 & fact4 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> int2: ¬{AA}{b}; int2 & fact3 -> hypothesis;
その茫然自失は算定し難くないかあるいはそれはマイクロマネジャーだということはない
fact6 -> int3: もし仮にその茫然自失が作業し易いとしたらそれは算定し難くないかあるいはマイクロマネジャーでないかあるいは両方ともだ;
$facts$ = fact1: もし仮になにかは作業し易いとするとそれは算定し難くないかマイクロマネジャーでないかあるいは両方ともである fact2: この二十分後は作業し易い fact3: もしその王統は高しないとすると「その茫然自失は算定し難くないかそれはマイクロマネジャーでないかもしくは両方である」ということは成り立たない fact4: この冷蔵室は作業し易い fact5: 仮にこの冷蔵室が作業し易いならばその王統は高しないけど出土する ; $hypothesis$ = その茫然自失は算定し難くないかマイクロマネジャーだということはないかあるいは両方ともである ; $proof$ = 
fact5 & fact4 -> int1: その王統は高しない一方でそれは出土する; int1 -> int2: その王統は高しない; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは作業し易いとするとそれは算定し難くないかマイクロマネジャーでないかあるいは両方ともである
事実2: この二十分後は作業し易い
事実3: もしその王統は高しないとすると「その茫然自失は算定し難くないかそれはマイクロマネジャーでないかもしくは両方である」ということは成り立たない
事実4: この冷蔵室は作業し易い
事実5: 仮にこの冷蔵室が作業し易いならばその王統は高しないけど出土する

仮説: その茫然自失は算定し難くないかマイクロマネジャーだということはないかあるいは両方ともである
1. 事実5と事実4から、推論1: "その王統は高しない一方でそれは出土する"が導かれる
2. 推論1から、推論2: "その王統は高しない"が導かれる
3. 推論2と事実3から、仮説が否定される

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