「仮に「拝礼しなくて加えて試食する」ということは誤っていれば間違え易いということはない」ものはある
fact1: 仮にこの逐次比較型が試食しないとするとそれは間違え易くない fact2: もし仮に「この逐次比較型は拝礼するし試食する」ということは間違っているなら間違え易くない fact3: 仮に「この逐次比較型は拝礼しないが試食する」ということは成り立たないならばそれは間違え易い fact4: 「「拝礼しないけれど試食する」ということは誤りであるとすれば「間違え易いということはない」ということは成り立たない」ものはある fact5: 「何かは拝礼しない一方で試食する」ということは成り立たないとすれば間違え易くない fact6: もし仮に「「とある物は監査役会だということはない一方でヒットチャートだ」ということは成り立つ」ということは間違っているとするとそれは妬ましくない fact7: 仮に「あるものは拝礼するしさらに試食する」ということは事実と異なるとしたら間違え易いということはない fact8: なんらかの物が試食しないとしたらそれは間違え易くない fact9: 「もし「拝礼するし加えて試食する」ということは成り立たないとしたら間違え易くない」ものはある
fact5 -> int1: もし「この逐次比較型は拝礼しないけど試食する」ということは成り立たないならば「それは間違え易くない」ということは確かである; int1 -> hypothesis;
「仮に「監査役会でないがヒットチャートだ」ということは成り立たないとすると妬ましくない」ものはある
fact10 -> int2: もし「その仏者は監査役会でないがしかしヒットチャートだ」ということは嘘ならば妬ましいということはない; int2 -> hypothesis;
$facts$ = fact1: 仮にこの逐次比較型が試食しないとするとそれは間違え易くない fact2: もし仮に「この逐次比較型は拝礼するし試食する」ということは間違っているなら間違え易くない fact3: 仮に「この逐次比較型は拝礼しないが試食する」ということは成り立たないならばそれは間違え易い fact4: 「「拝礼しないけれど試食する」ということは誤りであるとすれば「間違え易いということはない」ということは成り立たない」ものはある fact5: 「何かは拝礼しない一方で試食する」ということは成り立たないとすれば間違え易くない fact6: もし仮に「「とある物は監査役会だということはない一方でヒットチャートだ」ということは成り立つ」ということは間違っているとするとそれは妬ましくない fact7: 仮に「あるものは拝礼するしさらに試食する」ということは事実と異なるとしたら間違え易いということはない fact8: なんらかの物が試食しないとしたらそれは間違え易くない fact9: 「もし「拝礼するし加えて試食する」ということは成り立たないとしたら間違え易くない」ものはある ; $hypothesis$ = 「仮に「拝礼しなくて加えて試食する」ということは誤っていれば間違え易いということはない」ものはある ; $proof$ = 
fact5 -> int1: もし「この逐次比較型は拝礼しないけど試食する」ということは成り立たないならば「それは間違え易くない」ということは確かである; int1 -> hypothesis; __PROVED__
事実1: 仮にこの逐次比較型が試食しないとするとそれは間違え易くない
事実2: もし仮に「この逐次比較型は拝礼するし試食する」ということは間違っているなら間違え易くない
事実3: 仮に「この逐次比較型は拝礼しないが試食する」ということは成り立たないならばそれは間違え易い
事実4: 「「拝礼しないけれど試食する」ということは誤りであるとすれば「間違え易いということはない」ということは成り立たない」ものはある
事実5: 「何かは拝礼しない一方で試食する」ということは成り立たないとすれば間違え易くない
事実6: もし仮に「「とある物は監査役会だということはない一方でヒットチャートだ」ということは成り立つ」ということは間違っているとするとそれは妬ましくない
事実7: 仮に「あるものは拝礼するしさらに試食する」ということは事実と異なるとしたら間違え易いということはない
事実8: なんらかの物が試食しないとしたらそれは間違え易くない
事実9: 「もし「拝礼するし加えて試食する」ということは成り立たないとしたら間違え易くない」ものはある

仮説: 「仮に「拝礼しなくて加えて試食する」ということは誤っていれば間違え易いということはない」ものはある
1. 事実5から、推論1: "もし「この逐次比較型は拝礼しないけど試食する」ということは成り立たないならば「それは間違え易くない」ということは確かである"が導かれる
2. 推論1から、仮説が導かれる

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