この大潮はめんど臭くない
fact1: あの五十五年前は考え始める fact2: この大潮は意味深くない fact3: あの宵の口はめんど臭くない fact4: その自叙伝はめんど臭くない fact5: この大潮はコミュニケーション・システムでない fact6: このフォールはめんど臭くない fact7: この大潮はリニューアルオープンするということはない fact8: この大潮は乱れ切らない fact9: なんらかのものが鬱でないならそれはめんど臭いかもしくは考え始めるかあるいは両方ともである fact10: この土着はめんど臭くない fact11: この大潮はめんど臭くない fact12: 「この大潮はおっそろしということはない」ということは真実だ fact13: この頂はめんど臭くない fact14: なにかは考え始めるがしかしそれは鬱でないならばめんど臭くない fact15: あのＥＭＵはめんど臭いということはない fact16: この大潮は蓮華文だということはない
fact11 -> hypothesis;
fact11 -> hypothesis;
この大潮はめんど臭い
fact17 -> int1: あのラッキーが鬱でないとしたらめんど臭いかあるいはそれは考え始める;
$facts$ = fact1: あの五十五年前は考え始める fact2: この大潮は意味深くない fact3: あの宵の口はめんど臭くない fact4: その自叙伝はめんど臭くない fact5: この大潮はコミュニケーション・システムでない fact6: このフォールはめんど臭くない fact7: この大潮はリニューアルオープンするということはない fact8: この大潮は乱れ切らない fact9: なんらかのものが鬱でないならそれはめんど臭いかもしくは考え始めるかあるいは両方ともである fact10: この土着はめんど臭くない fact11: この大潮はめんど臭くない fact12: 「この大潮はおっそろしということはない」ということは真実だ fact13: この頂はめんど臭くない fact14: なにかは考え始めるがしかしそれは鬱でないならばめんど臭くない fact15: あのＥＭＵはめんど臭いということはない fact16: この大潮は蓮華文だということはない ; $hypothesis$ = この大潮はめんど臭くない ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: あの五十五年前は考え始める
事実2: この大潮は意味深くない
事実3: あの宵の口はめんど臭くない
事実4: その自叙伝はめんど臭くない
事実5: この大潮はコミュニケーション・システムでない
事実6: このフォールはめんど臭くない
事実7: この大潮はリニューアルオープンするということはない
事実8: この大潮は乱れ切らない
事実9: なんらかのものが鬱でないならそれはめんど臭いかもしくは考え始めるかあるいは両方ともである
事実10: この土着はめんど臭くない
事実11: この大潮はめんど臭くない
事実12: 「この大潮はおっそろしということはない」ということは真実だ
事実13: この頂はめんど臭くない
事実14: なにかは考え始めるがしかしそれは鬱でないならばめんど臭くない
事実15: あのＥＭＵはめんど臭いということはない
事実16: この大潮は蓮華文だということはない

仮説: この大潮はめんど臭くない
1. 事実11から、仮説が導かれる

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