このエンジェルは剥奪でない一方で脱がす
fact1: このピギーバックはＰＯＰだ fact2: このピギーバックはＰＯＰならば「このエンジェルは剥奪でないがそれは脱がす」ということは誤っている
$facts$ = fact1: このピギーバックはＰＯＰだ fact2: このピギーバックはＰＯＰならば「このエンジェルは剥奪でないがそれは脱がす」ということは誤っている ; $hypothesis$ = このエンジェルは剥奪でない一方で脱がす ; $proof$ = 
事実1: このピギーバックはＰＯＰだ
事実2: このピギーバックはＰＯＰならば「このエンジェルは剥奪でないがそれは脱がす」ということは誤っている

仮説: このエンジェルは剥奪でない一方で脱がす