このバックログは重苦しいということはない
fact1: この細工は移り始める fact2: もしこのバックログが移り始めるとすればそれは重苦しい fact3: このバックログは移り始める
$facts$ = fact1: この細工は移り始める fact2: もしこのバックログが移り始めるとすればそれは重苦しい fact3: このバックログは移り始める ; $hypothesis$ = このバックログは重苦しいということはない ; $proof$ = 
事実1: この細工は移り始める
事実2: もしこのバックログが移り始めるとすればそれは重苦しい
事実3: このバックログは移り始める

仮説: このバックログは重苦しいということはない