その恣意は正しい
fact1: 「なにかは正しい」ということは事実である fact2: もし「上向くし正しい」物があるとするとその恣意はドーラン巡査でない fact3: この水道は上向く fact4: その恣意は上向く fact5: もし「ドーラン巡査であるしかつ上向く」ものがあるとするとその恣意は正しくない fact6: 「核家族である」物はある fact7: 仮に「上向くしドーラン巡査な」ものがあるならこの物流作業は正しくない fact8: この物流作業は上向く fact9: 「この物流作業はドーラン巡査だ」ということは確かである fact10: 「反則な」ものはある
fact9 & fact8 -> int1: この物流作業はドーラン巡査であるし上向く; int1 -> int2: 「ドーラン巡査でその上上向く」物はある; int2 & fact5 -> hypothesis;
fact9 & fact8 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact5 -> hypothesis;
$facts$ = fact1: 「なにかは正しい」ということは事実である fact2: もし「上向くし正しい」物があるとするとその恣意はドーラン巡査でない fact3: この水道は上向く fact4: その恣意は上向く fact5: もし「ドーラン巡査であるしかつ上向く」ものがあるとするとその恣意は正しくない fact6: 「核家族である」物はある fact7: 仮に「上向くしドーラン巡査な」ものがあるならこの物流作業は正しくない fact8: この物流作業は上向く fact9: 「この物流作業はドーラン巡査だ」ということは確かである fact10: 「反則な」ものはある ; $hypothesis$ = その恣意は正しい ; $proof$ = 
fact9 & fact8 -> int1: この物流作業はドーラン巡査であるし上向く; int1 -> int2: 「ドーラン巡査でその上上向く」物はある; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: 「なにかは正しい」ということは事実である
事実2: もし「上向くし正しい」物があるとするとその恣意はドーラン巡査でない
事実3: この水道は上向く
事実4: その恣意は上向く
事実5: もし「ドーラン巡査であるしかつ上向く」ものがあるとするとその恣意は正しくない
事実6: 「核家族である」物はある
事実7: 仮に「上向くしドーラン巡査な」ものがあるならこの物流作業は正しくない
事実8: この物流作業は上向く
事実9: 「この物流作業はドーラン巡査だ」ということは確かである
事実10: 「反則な」ものはある

仮説: その恣意は正しい
1. 事実9と事実8から、推論1: "この物流作業はドーラン巡査であるし上向く"が導かれる
2. 推論1から、推論2: "「ドーラン巡査でその上上向く」物はある"が導かれる
3. 推論2と事実5から、仮説が否定される

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