あの返却は狂い出さない
fact1: その中国国内企業は伯母達だということはない fact2: その中国国内企業は伯母達でないがしかしそれは孤立化する fact3: 仮に何かは迂闊でないかあるいは痛飲するかあるいはどちらもならば狂い出さない fact4: もしその中国国内企業が伯母達でないけど孤立化するとするとあの返却は狂い出す
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
あの返却は狂い出さない
fact5 -> int1: もしあの返却は迂闊でないかまたは痛飲するかもしくはどちらもであるならばそれは狂い出さない;
$facts$ = fact1: その中国国内企業は伯母達だということはない fact2: その中国国内企業は伯母達でないがしかしそれは孤立化する fact3: 仮に何かは迂闊でないかあるいは痛飲するかあるいはどちらもならば狂い出さない fact4: もしその中国国内企業が伯母達でないけど孤立化するとするとあの返却は狂い出す ; $hypothesis$ = あの返却は狂い出さない ; $proof$ = 
fact4 & fact2 -> hypothesis; __DISPROVED__
事実1: その中国国内企業は伯母達だということはない
事実2: その中国国内企業は伯母達でないがしかしそれは孤立化する
事実3: 仮に何かは迂闊でないかあるいは痛飲するかあるいはどちらもならば狂い出さない
事実4: もしその中国国内企業が伯母達でないけど孤立化するとするとあの返却は狂い出す

仮説: あの返却は狂い出さない
1. 事実4と事実2から、仮説が否定される

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