「重たくなくて撫でない」物はある
fact1: 「安堵し難いということはないが強し」物はある fact2: 「理解し易くてかつ固めるということはない」ものはある fact3: 何らかの物は様良しということはないし夢ノートでない fact4: なんらかのものは忘年会でない fact5: なにがしかの物は解読するということはなくてまたウォッチするということはない fact6: あるものは煤けないしまたクリスマス・シーズンでない fact7: 「伝わり難くないししかも承知出来ない」物はある fact8: 「併合しない」物はある fact9: あのターボモデルは撫でない fact10: その上人様は重たくないし撫でない fact11: ある物は支持細胞でない fact12: もし仮にこの節見出しスタイルがＣＩＷＳであるとしたら進歩派だしその上情け深くない fact13: なんらかのものは悪賢くないけれどそれは浸かる fact14: 「仲裁しない」物はある fact15: その上人様は強しない fact16: あの位数は撫でない fact17: 「郵送しない」ものはある
fact10 -> hypothesis;
fact10 -> hypothesis;
その語数は当たり難いということはなくてそれは重たくない
$facts$ = fact1: 「安堵し難いということはないが強し」物はある fact2: 「理解し易くてかつ固めるということはない」ものはある fact3: 何らかの物は様良しということはないし夢ノートでない fact4: なんらかのものは忘年会でない fact5: なにがしかの物は解読するということはなくてまたウォッチするということはない fact6: あるものは煤けないしまたクリスマス・シーズンでない fact7: 「伝わり難くないししかも承知出来ない」物はある fact8: 「併合しない」物はある fact9: あのターボモデルは撫でない fact10: その上人様は重たくないし撫でない fact11: ある物は支持細胞でない fact12: もし仮にこの節見出しスタイルがＣＩＷＳであるとしたら進歩派だしその上情け深くない fact13: なんらかのものは悪賢くないけれどそれは浸かる fact14: 「仲裁しない」物はある fact15: その上人様は強しない fact16: あの位数は撫でない fact17: 「郵送しない」ものはある ; $hypothesis$ = 「重たくなくて撫でない」物はある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「安堵し難いということはないが強し」物はある
事実2: 「理解し易くてかつ固めるということはない」ものはある
事実3: 何らかの物は様良しということはないし夢ノートでない
事実4: なんらかのものは忘年会でない
事実5: なにがしかの物は解読するということはなくてまたウォッチするということはない
事実6: あるものは煤けないしまたクリスマス・シーズンでない
事実7: 「伝わり難くないししかも承知出来ない」物はある
事実8: 「併合しない」物はある
事実9: あのターボモデルは撫でない
事実10: その上人様は重たくないし撫でない
事実11: ある物は支持細胞でない
事実12: もし仮にこの節見出しスタイルがＣＩＷＳであるとしたら進歩派だしその上情け深くない
事実13: なんらかのものは悪賢くないけれどそれは浸かる
事実14: 「仲裁しない」物はある
事実15: その上人様は強しない
事実16: あの位数は撫でない
事実17: 「郵送しない」ものはある

仮説: 「重たくなくて撫でない」物はある
1. 事実10から、仮説が導かれる

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