この運動方向は重いがしかしそれはホールケーキでない
fact1: この運動方向は重いがしかしホールケーキでない
$facts$ = fact1: この運動方向は重いがしかしホールケーキでない ; $hypothesis$ = この運動方向は重いがしかしそれはホールケーキでない ; $proof$ = 
事実1: この運動方向は重いがしかしホールケーキでない

仮説: この運動方向は重いがしかしそれはホールケーキでない