この機関委任事務は危ういということはない
fact1: あの生理的状態は人形使いでまた粉っぽい fact2: この機関委任事務はスコアリングだ fact3: 仮になにかは粉っぽいとするとそれは危うい fact4: その本園はロゴマークだ fact5: この機関委任事務は粉っぽくてロゴマークである
fact3 -> int1: もしこの機関委任事務が粉っぽいとすればそれは危うい; fact5 -> int2: この機関委任事務は粉っぽい; int1 & int2 -> hypothesis;
fact3 -> int1: {A}{aa} -> {C}{aa}; fact5 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: あの生理的状態は人形使いでまた粉っぽい fact2: この機関委任事務はスコアリングだ fact3: 仮になにかは粉っぽいとするとそれは危うい fact4: その本園はロゴマークだ fact5: この機関委任事務は粉っぽくてロゴマークである ; $hypothesis$ = この機関委任事務は危ういということはない ; $proof$ = 
fact3 -> int1: もしこの機関委任事務が粉っぽいとすればそれは危うい; fact5 -> int2: この機関委任事務は粉っぽい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの生理的状態は人形使いでまた粉っぽい
事実2: この機関委任事務はスコアリングだ
事実3: 仮になにかは粉っぽいとするとそれは危うい
事実4: その本園はロゴマークだ
事実5: この機関委任事務は粉っぽくてロゴマークである

仮説: この機関委任事務は危ういということはない
1. 事実3から、推論1: "もしこの機関委任事務が粉っぽいとすればそれは危うい"が導かれる
2. 事実5から、推論2: "この機関委任事務は粉っぽい"が導かれる
3. 推論1と推論2から、仮説が否定される

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