あの精算書は成り易くない
fact1: あの精算書は少ない fact2: あの精算書は成り易くてそれは少ない fact3: あの精算書は青ししかつ食傷する fact4: 仮に何かは十五人案でないならそれは少ないし成り易い fact5: あの精算書は逆向性薬理学である fact6: この寄与率は少ない fact7: 少なくないものは成り易いということはない fact8: あの水産は表面全体であるしまたそれは成り易い
fact2 -> hypothesis;
この野宿は少なくてさらにそれは踏み砕く
fact9 -> int1: 仮にこの野宿が十五人案でないならば少ないしさらに成り易い;
$facts$ = fact1: あの精算書は少ない fact2: あの精算書は成り易くてそれは少ない fact3: あの精算書は青ししかつ食傷する fact4: 仮に何かは十五人案でないならそれは少ないし成り易い fact5: あの精算書は逆向性薬理学である fact6: この寄与率は少ない fact7: 少なくないものは成り易いということはない fact8: あの水産は表面全体であるしまたそれは成り易い ; $hypothesis$ = あの精算書は成り易くない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: あの精算書は少ない
事実2: あの精算書は成り易くてそれは少ない
事実3: あの精算書は青ししかつ食傷する
事実4: 仮に何かは十五人案でないならそれは少ないし成り易い
事実5: あの精算書は逆向性薬理学である
事実6: この寄与率は少ない
事実7: 少なくないものは成り易いということはない
事実8: あの水産は表面全体であるしまたそれは成り易い

仮説: あの精算書は成り易くない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。