この資源保存は話し難くない
fact1: もしあのど素人が上昇中であるとしたらこの資源保存は話し難い fact2: もしあのど素人がしつこいとするとこの資源保存は話し難い fact3: もしもこのポイントＳが勇まないならばそのクリニックは上昇中でない fact4: あの移動円滑化はしつこくない fact5: もし仮にそのクリニックが上昇中でないならあのど素人はしつこいかまたは上昇中であるかまたはどちらもだ fact6: このポイントＳは勇まない fact7: この本業回帰は勇まない fact8: この資源保存は勇まない fact9: このポイントＳは話し難いかそれは勇むかあるいはどちらもである
fact3 & fact6 -> int1: そのクリニックは上昇中でない; int1 & fact5 -> int2: あのど素人はしつこいか上昇中である; int2 & fact2 & fact1 -> hypothesis;
$facts$ = fact1: もしあのど素人が上昇中であるとしたらこの資源保存は話し難い fact2: もしあのど素人がしつこいとするとこの資源保存は話し難い fact3: もしもこのポイントＳが勇まないならばそのクリニックは上昇中でない fact4: あの移動円滑化はしつこくない fact5: もし仮にそのクリニックが上昇中でないならあのど素人はしつこいかまたは上昇中であるかまたはどちらもだ fact6: このポイントＳは勇まない fact7: この本業回帰は勇まない fact8: この資源保存は勇まない fact9: このポイントＳは話し難いかそれは勇むかあるいはどちらもである ; $hypothesis$ = この資源保存は話し難くない ; $proof$ = 
fact3 & fact6 -> int1: そのクリニックは上昇中でない; int1 & fact5 -> int2: あのど素人はしつこいか上昇中である; int2 & fact2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしあのど素人が上昇中であるとしたらこの資源保存は話し難い
事実2: もしあのど素人がしつこいとするとこの資源保存は話し難い
事実3: もしもこのポイントＳが勇まないならばそのクリニックは上昇中でない
事実4: あの移動円滑化はしつこくない
事実5: もし仮にそのクリニックが上昇中でないならあのど素人はしつこいかまたは上昇中であるかまたはどちらもだ
事実6: このポイントＳは勇まない
事実7: この本業回帰は勇まない
事実8: この資源保存は勇まない
事実9: このポイントＳは話し難いかそれは勇むかあるいはどちらもである

仮説: この資源保存は話し難くない
1. 事実3と事実6から、推論1: "そのクリニックは上昇中でない"が導かれる
2. 推論1と事実5から、推論2: "あのど素人はしつこいか上昇中である"が導かれる
3. 推論2と事実2と事実1から、仮説が否定される

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