その骨幹端は対外価値でない
fact1: 仮にその国家資格が得難ししかつ取り残すとするとその骨幹端は汗臭いということはない fact2: もし仮にあの山羊小屋が集まり易いならばその国家資格は取り残す fact3: その総鹿の子は集中投票だし対外価値である fact4: もしあの五人以上が筆写しないならそれは得難し fact5: その国家資格は得難し fact6: その国家資格は汗臭くない fact7: あの山羊小屋は集まり易い fact8: その骨幹端が汗臭くないとすれば対外価値だ fact9: もしもその国家資格が汗臭くて取り残すならその骨幹端は対外価値でない
fact2 & fact7 -> int1: その国家資格は取り残す; int1 & fact5 -> int2: その国家資格は得難しし取り残す; int2 & fact1 -> int3: その骨幹端は汗臭くない; int3 & fact8 -> hypothesis;
$facts$ = fact1: 仮にその国家資格が得難ししかつ取り残すとするとその骨幹端は汗臭いということはない fact2: もし仮にあの山羊小屋が集まり易いならばその国家資格は取り残す fact3: その総鹿の子は集中投票だし対外価値である fact4: もしあの五人以上が筆写しないならそれは得難し fact5: その国家資格は得難し fact6: その国家資格は汗臭くない fact7: あの山羊小屋は集まり易い fact8: その骨幹端が汗臭くないとすれば対外価値だ fact9: もしもその国家資格が汗臭くて取り残すならその骨幹端は対外価値でない ; $hypothesis$ = その骨幹端は対外価値でない ; $proof$ = 
fact2 & fact7 -> int1: その国家資格は取り残す; int1 & fact5 -> int2: その国家資格は得難しし取り残す; int2 & fact1 -> int3: その骨幹端は汗臭くない; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にその国家資格が得難ししかつ取り残すとするとその骨幹端は汗臭いということはない
事実2: もし仮にあの山羊小屋が集まり易いならばその国家資格は取り残す
事実3: その総鹿の子は集中投票だし対外価値である
事実4: もしあの五人以上が筆写しないならそれは得難し
事実5: その国家資格は得難し
事実6: その国家資格は汗臭くない
事実7: あの山羊小屋は集まり易い
事実8: その骨幹端が汗臭くないとすれば対外価値だ
事実9: もしもその国家資格が汗臭くて取り残すならその骨幹端は対外価値でない

仮説: その骨幹端は対外価値でない
1. 事実2と事実7から、推論1: "その国家資格は取り残す"が導かれる
2. 推論1と事実5から、推論2: "その国家資格は得難しし取り残す"が導かれる
3. 推論2と事実1から、推論3: "その骨幹端は汗臭くない"が導かれる
4. 推論3と事実8から、仮説が否定される

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