この円滑化は身軽くない
fact1: この円滑化はオーバーフローする fact2: 仮にこの円滑化がオーバーフローするとしたら身軽い
$facts$ = fact1: この円滑化はオーバーフローする fact2: 仮にこの円滑化がオーバーフローするとしたら身軽い ; $hypothesis$ = この円滑化は身軽くない ; $proof$ = 
事実1: この円滑化はオーバーフローする
事実2: 仮にこの円滑化がオーバーフローするとしたら身軽い

仮説: この円滑化は身軽くない