「この自軍は来し易いということはないし受け入れ易くない」ということは誤っている
fact1: この木偶の坊は来し易くない fact2: もし仮にこの公路は来し易くないとすれば「あの分泌装置は来し易くない一方でそれは再生出来る」ということは間違っている fact3: もし「この公路は再生出来るか来し易くないかまたはどちらもである」ということは事実だということはないならばあの分泌装置は受け入れ易くない fact4: もし「この自軍は売り出すかまたはそれは受け入れ易くない」ということは間違いならばこの公路は来し易くない fact5: 「この公路が勇ましくらないしさらに喚き散らすということはない」ということは成り立たない fact6: 「この公路は売り出すということはないがしかし頼り無い」ということは本当でない fact7: もし「この公路は再生出来るかそれは売り出さないかもしくは両方ともだ」ということは成り立たないならあの分泌装置は来し易くない fact8: もしあの分泌装置は来し易いということはないとしたら「この自軍は来し易くないしそれに受け入れ易いということはない」ということは成り立たない fact9: 「この自軍は来し易いけどそれは受け入れ易くない」ということは事実と異なる fact10: 「この公路は受け入れ易くないしそれは売り出さない」ということは間違いである fact11: 「この公路は再生出来ない」ということは本当である fact12: 「この公路は再生出来るかまたは売り出さないかどちらもである」ということは偽である fact13: 「この自軍は再生出来るけどそれは来し易くない」ということは偽だ
fact7 & fact12 -> int1: あの分泌装置は来し易くない; int1 & fact8 -> hypothesis;
$facts$ = fact1: この木偶の坊は来し易くない fact2: もし仮にこの公路は来し易くないとすれば「あの分泌装置は来し易くない一方でそれは再生出来る」ということは間違っている fact3: もし「この公路は再生出来るか来し易くないかまたはどちらもである」ということは事実だということはないならばあの分泌装置は受け入れ易くない fact4: もし「この自軍は売り出すかまたはそれは受け入れ易くない」ということは間違いならばこの公路は来し易くない fact5: 「この公路が勇ましくらないしさらに喚き散らすということはない」ということは成り立たない fact6: 「この公路は売り出すということはないがしかし頼り無い」ということは本当でない fact7: もし「この公路は再生出来るかそれは売り出さないかもしくは両方ともだ」ということは成り立たないならあの分泌装置は来し易くない fact8: もしあの分泌装置は来し易いということはないとしたら「この自軍は来し易くないしそれに受け入れ易いということはない」ということは成り立たない fact9: 「この自軍は来し易いけどそれは受け入れ易くない」ということは事実と異なる fact10: 「この公路は受け入れ易くないしそれは売り出さない」ということは間違いである fact11: 「この公路は再生出来ない」ということは本当である fact12: 「この公路は再生出来るかまたは売り出さないかどちらもである」ということは偽である fact13: 「この自軍は再生出来るけどそれは来し易くない」ということは偽だ ; $hypothesis$ = 「この自軍は来し易いということはないし受け入れ易くない」ということは誤っている ; $proof$ = 
fact7 & fact12 -> int1: あの分泌装置は来し易くない; int1 & fact8 -> hypothesis; __PROVED__
事実1: この木偶の坊は来し易くない
事実2: もし仮にこの公路は来し易くないとすれば「あの分泌装置は来し易くない一方でそれは再生出来る」ということは間違っている
事実3: もし「この公路は再生出来るか来し易くないかまたはどちらもである」ということは事実だということはないならばあの分泌装置は受け入れ易くない
事実4: もし「この自軍は売り出すかまたはそれは受け入れ易くない」ということは間違いならばこの公路は来し易くない
事実5: 「この公路が勇ましくらないしさらに喚き散らすということはない」ということは成り立たない
事実6: 「この公路は売り出すということはないがしかし頼り無い」ということは本当でない
事実7: もし「この公路は再生出来るかそれは売り出さないかもしくは両方ともだ」ということは成り立たないならあの分泌装置は来し易くない
事実8: もしあの分泌装置は来し易いということはないとしたら「この自軍は来し易くないしそれに受け入れ易いということはない」ということは成り立たない
事実9: 「この自軍は来し易いけどそれは受け入れ易くない」ということは事実と異なる
事実10: 「この公路は受け入れ易くないしそれは売り出さない」ということは間違いである
事実11: 「この公路は再生出来ない」ということは本当である
事実12: 「この公路は再生出来るかまたは売り出さないかどちらもである」ということは偽である
事実13: 「この自軍は再生出来るけどそれは来し易くない」ということは偽だ

仮説: 「この自軍は来し易いということはないし受け入れ易くない」ということは誤っている
1. 事実7と事実12から、推論1: "あの分泌装置は来し易くない"が導かれる
2. 推論1と事実8から、仮説が導かれる

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