このデータ・モデルは半回転する
fact1: このデータ・モデルは藪苺でないし作業時でない fact2: もしもこのデータ・モデルは藪苺でないしさらに作業時でないとすると半回転する
$facts$ = fact1: このデータ・モデルは藪苺でないし作業時でない fact2: もしもこのデータ・モデルは藪苺でないしさらに作業時でないとすると半回転する ; $hypothesis$ = このデータ・モデルは半回転する ; $proof$ = 
事実1: このデータ・モデルは藪苺でないし作業時でない
事実2: もしもこのデータ・モデルは藪苺でないしさらに作業時でないとすると半回転する

仮説: このデータ・モデルは半回転する