あの商品企画は覚束無くない
fact1: もしもあの商品企画は符合するということはないけれど胚軸だとするとそれは鼻根でない fact2: もしもある物がマッチングしないけれど鼻根ならばあの商品企画は覚束無いということはない fact3: この御留守番が裁ち落とすし鋭いとするとあの商品企画は裁ち落とさない fact4: 「マッチングしなくて鼻根でない」物はある fact5: もしも「マッチングしないし鼻根でない」ものがあるならばあの商品企画は覚束無くない fact6: この大評判は覚束無くない fact7: もし仮に何らかのものが裁ち落とさないとしたら符合しないし胚軸だ
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
「あの商品企画は覚束無い」ということは事実である
fact10 -> int1: もしも「あの商品企画は裁ち落とさない」ということは本当だとしたら符合しなくておまけに胚軸である;
$facts$ = fact1: もしもあの商品企画は符合するということはないけれど胚軸だとするとそれは鼻根でない fact2: もしもある物がマッチングしないけれど鼻根ならばあの商品企画は覚束無いということはない fact3: この御留守番が裁ち落とすし鋭いとするとあの商品企画は裁ち落とさない fact4: 「マッチングしなくて鼻根でない」物はある fact5: もしも「マッチングしないし鼻根でない」ものがあるならばあの商品企画は覚束無くない fact6: この大評判は覚束無くない fact7: もし仮に何らかのものが裁ち落とさないとしたら符合しないし胚軸だ ; $hypothesis$ = あの商品企画は覚束無くない ; $proof$ = 
fact4 & fact5 -> hypothesis; __PROVED__
事実1: もしもあの商品企画は符合するということはないけれど胚軸だとするとそれは鼻根でない
事実2: もしもある物がマッチングしないけれど鼻根ならばあの商品企画は覚束無いということはない
事実3: この御留守番が裁ち落とすし鋭いとするとあの商品企画は裁ち落とさない
事実4: 「マッチングしなくて鼻根でない」物はある
事実5: もしも「マッチングしないし鼻根でない」ものがあるならばあの商品企画は覚束無くない
事実6: この大評判は覚束無くない
事実7: もし仮に何らかのものが裁ち落とさないとしたら符合しないし胚軸だ

仮説: あの商品企画は覚束無くない
1. 事実4と事実5から、仮説が導かれる

よって、仮説が証明されました。