あの切り抜き範囲は緊張しない
fact1: あの細胞外液は緊張する fact2: もし仮になにかは明るめば緊張しないし皮肉めかない fact3: その巨艦は美しくないけど幅広い fact4: あの切り抜き範囲は緊張する fact5: そのポートフィルタリングが緊張しないしまた皮肉めかないならばあの切り抜き範囲は緊張しない
fact4 -> hypothesis;
fact4 -> hypothesis;
あの切り抜き範囲は緊張しない
fact8 -> int1: 仮にそのポートフィルタリングが明るむとしたらそれは緊張しないし皮肉めくということはない; fact6 -> int2: 美しくないしまた幅広いものはある;
$facts$ = fact1: あの細胞外液は緊張する fact2: もし仮になにかは明るめば緊張しないし皮肉めかない fact3: その巨艦は美しくないけど幅広い fact4: あの切り抜き範囲は緊張する fact5: そのポートフィルタリングが緊張しないしまた皮肉めかないならばあの切り抜き範囲は緊張しない ; $hypothesis$ = あの切り抜き範囲は緊張しない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: あの細胞外液は緊張する
事実2: もし仮になにかは明るめば緊張しないし皮肉めかない
事実3: その巨艦は美しくないけど幅広い
事実4: あの切り抜き範囲は緊張する
事実5: そのポートフィルタリングが緊張しないしまた皮肉めかないならばあの切り抜き範囲は緊張しない

仮説: あの切り抜き範囲は緊張しない
1. 事実4から、仮説が否定される

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