その地租改正条例は計量分析でなくて運び始めない
fact1: その地租改正条例は計量分析でないしさらにそれは運び始めない fact2: その出発地は計量分析でない fact3: その地租改正条例は計量分析でない fact4: その地租改正条例は夢遊病でない fact5: あの昇圧薬が当て付けはましくらないし運び始めるということはない fact6: あのリスト‐Ａは弾力でなくてかつマンであるということはない fact7: 仮に何かは迷わさないとすると連載しなくてその上計量分析でない fact8: その地租改正条例は滞り易くないしかつ機能出来ない
fact1 -> hypothesis;
その地租改正条例は連載しなくて更にそれは計量分析でない
fact9 -> int1: 仮にその地租改正条例が迷わさないならばそれは連載しなくて計量分析でない;
$facts$ = fact1: その地租改正条例は計量分析でないしさらにそれは運び始めない fact2: その出発地は計量分析でない fact3: その地租改正条例は計量分析でない fact4: その地租改正条例は夢遊病でない fact5: あの昇圧薬が当て付けはましくらないし運び始めるということはない fact6: あのリスト‐Ａは弾力でなくてかつマンであるということはない fact7: 仮に何かは迷わさないとすると連載しなくてその上計量分析でない fact8: その地租改正条例は滞り易くないしかつ機能出来ない ; $hypothesis$ = その地租改正条例は計量分析でなくて運び始めない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その地租改正条例は計量分析でないしさらにそれは運び始めない
事実2: その出発地は計量分析でない
事実3: その地租改正条例は計量分析でない
事実4: その地租改正条例は夢遊病でない
事実5: あの昇圧薬が当て付けはましくらないし運び始めるということはない
事実6: あのリスト‐Ａは弾力でなくてかつマンであるということはない
事実7: 仮に何かは迷わさないとすると連載しなくてその上計量分析でない
事実8: その地租改正条例は滞り易くないしかつ機能出来ない

仮説: その地租改正条例は計量分析でなくて運び始めない
1. 事実1から、仮説が導かれる

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