「その椴木は尊しかそれは反応し易いか両方だ」ということは誤りだ
fact1: この信用保証が尊しないとするとその椴木は尊しか反応し易いかどちらもだ fact2: その別居親は監視し易くないし有限責任会社でない fact3: もしその別居親が監視し易くないし有限責任会社でないならこの信用保証は尊しない
fact3 & fact2 -> int1: この信用保証は尊しない; int1 & fact1 -> hypothesis;
$facts$ = fact1: この信用保証が尊しないとするとその椴木は尊しか反応し易いかどちらもだ fact2: その別居親は監視し易くないし有限責任会社でない fact3: もしその別居親が監視し易くないし有限責任会社でないならこの信用保証は尊しない ; $hypothesis$ = 「その椴木は尊しかそれは反応し易いか両方だ」ということは誤りだ ; $proof$ = 
fact3 & fact2 -> int1: この信用保証は尊しない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: この信用保証が尊しないとするとその椴木は尊しか反応し易いかどちらもだ
事実2: その別居親は監視し易くないし有限責任会社でない
事実3: もしその別居親が監視し易くないし有限責任会社でないならこの信用保証は尊しない

仮説: 「その椴木は尊しかそれは反応し易いか両方だ」ということは誤りだ
1. 事実3と事実2から、推論1: "この信用保証は尊しない"が導かれる
2. 推論1と事実1から、仮説が否定される

よって、仮説が否定されました。