あの多面体モデルは細切れ時間でない
fact1: その上げまんは説明し難い fact2: その上げまんが説明し難いならあの多面体モデルは細切れ時間だ
$facts$ = fact1: その上げまんは説明し難い fact2: その上げまんが説明し難いならあの多面体モデルは細切れ時間だ ; $hypothesis$ = あの多面体モデルは細切れ時間でない ; $proof$ = 
事実1: その上げまんは説明し難い
事実2: その上げまんが説明し難いならあの多面体モデルは細切れ時間だ

仮説: あの多面体モデルは細切れ時間でない