その偵察は因り難くない
fact1: 「不正競争防止法でない」ものがあるとしたらその偵察は受け易いしそれにそれは仕掛かる fact2: 「その偵察はエクスポートする」ということは成り立つ fact3: 「受け易くない」物はある fact4: 仮に「受け易くない」物があればその偵察は因り難くてそれはエチュードだ fact5: 「受注しない」ものはある fact6: 仮になんらかの物は集大成しないとすれば「エチュードであるしそれは受け易い」ということは確かでない fact7: 因り難くない物はある fact8: 何らかのものは受け易い fact9: 因り難くないものは受け易いし更にエチュードである
fact3 & fact4 -> int1: その偵察は因り難くてそれはエチュードである; int1 -> hypothesis;
fact3 & fact4 -> int1: ({B}{a} & {C}{a}); int1 -> hypothesis;
その青葉賞はエチュードだ
fact10 -> int2: その青葉賞が因り難くないとすれば受け易いしその上エチュードである;
$facts$ = fact1: 「不正競争防止法でない」ものがあるとしたらその偵察は受け易いしそれにそれは仕掛かる fact2: 「その偵察はエクスポートする」ということは成り立つ fact3: 「受け易くない」物はある fact4: 仮に「受け易くない」物があればその偵察は因り難くてそれはエチュードだ fact5: 「受注しない」ものはある fact6: 仮になんらかの物は集大成しないとすれば「エチュードであるしそれは受け易い」ということは確かでない fact7: 因り難くない物はある fact8: 何らかのものは受け易い fact9: 因り難くないものは受け易いし更にエチュードである ; $hypothesis$ = その偵察は因り難くない ; $proof$ = 
fact3 & fact4 -> int1: その偵察は因り難くてそれはエチュードである; int1 -> hypothesis; __DISPROVED__
事実1: 「不正競争防止法でない」ものがあるとしたらその偵察は受け易いしそれにそれは仕掛かる
事実2: 「その偵察はエクスポートする」ということは成り立つ
事実3: 「受け易くない」物はある
事実4: 仮に「受け易くない」物があればその偵察は因り難くてそれはエチュードだ
事実5: 「受注しない」ものはある
事実6: 仮になんらかの物は集大成しないとすれば「エチュードであるしそれは受け易い」ということは確かでない
事実7: 因り難くない物はある
事実8: 何らかのものは受け易い
事実9: 因り難くないものは受け易いし更にエチュードである

仮説: その偵察は因り難くない
1. 事実3と事実4から、推論1: "その偵察は因り難くてそれはエチュードである"が導かれる
2. 推論1から、仮説が否定される

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