「あのアフリカ人公務員は書き殴るし結び付き易い」ということは正しくない
fact1: 何らかのものが判断し難いとすれば輻湊説である fact2: もし仮にあの三等材が労うとすれば判断し難い fact3: あの小鮎が書き殴らないかもしくは判断し難いかもしくは両方ともならあのアフリカ人公務員は輻湊説である fact4: 何かは労うとすると判断し難いということはない fact5: あの小鮎は判断し難いとしたら「あのアフリカ人公務員は書き殴る」ということは真実だ fact6: 仮にあの小鮎は判断し難くないとすれば「あのアフリカ人公務員は書き殴るし更に結び付き易い」ということは誤っている fact7: 「「書き殴らないしさらに微調整出来ない」ということは嘘な」物があるとしたらあの三等材は微調整出来る fact8: もし仮に「あの小鮎は労う」ということは成り立つとすればあのアフリカ人公務員は書き殴る fact9: 「この両家は輻湊説でないかまたは見窄らしいかもしくは両方である」ということは成り立つ fact10: 見窄らしいということはない物はある fact11: もし仮に見窄らしくないものはあるとすれば「あの小鮎は書き殴らないしおまけにそれは微調整出来ない」ということは嘘だ fact12: 仮にこの両家が輻湊説でないか見窄らしいとすればあのアフリカ人公務員は結び付き易い fact13: あの小鮎は判断し難いかもしくは労うかもしくはどちらもだ
fact13 & fact5 & fact8 -> int1: あのアフリカ人公務員は書き殴る; fact12 & fact9 -> int2: あのアフリカ人公務員は結び付き易い; int1 & int2 -> hypothesis;
fact13 & fact5 & fact8 -> int1: {C}{c}; fact12 & fact9 -> int2: {D}{c}; int1 & int2 -> hypothesis;
「「あのアフリカ人公務員は書き殴るしそれは結び付き易い」ということは成り立たない」ということは真実である
fact15 -> int3: 仮にあの小鮎が労うとしたらそれは判断し難いということはない;
$facts$ = fact1: 何らかのものが判断し難いとすれば輻湊説である fact2: もし仮にあの三等材が労うとすれば判断し難い fact3: あの小鮎が書き殴らないかもしくは判断し難いかもしくは両方ともならあのアフリカ人公務員は輻湊説である fact4: 何かは労うとすると判断し難いということはない fact5: あの小鮎は判断し難いとしたら「あのアフリカ人公務員は書き殴る」ということは真実だ fact6: 仮にあの小鮎は判断し難くないとすれば「あのアフリカ人公務員は書き殴るし更に結び付き易い」ということは誤っている fact7: 「「書き殴らないしさらに微調整出来ない」ということは嘘な」物があるとしたらあの三等材は微調整出来る fact8: もし仮に「あの小鮎は労う」ということは成り立つとすればあのアフリカ人公務員は書き殴る fact9: 「この両家は輻湊説でないかまたは見窄らしいかもしくは両方である」ということは成り立つ fact10: 見窄らしいということはない物はある fact11: もし仮に見窄らしくないものはあるとすれば「あの小鮎は書き殴らないしおまけにそれは微調整出来ない」ということは嘘だ fact12: 仮にこの両家が輻湊説でないか見窄らしいとすればあのアフリカ人公務員は結び付き易い fact13: あの小鮎は判断し難いかもしくは労うかもしくはどちらもだ ; $hypothesis$ = 「あのアフリカ人公務員は書き殴るし結び付き易い」ということは正しくない ; $proof$ = 
fact13 & fact5 & fact8 -> int1: あのアフリカ人公務員は書き殴る; fact12 & fact9 -> int2: あのアフリカ人公務員は結び付き易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 何らかのものが判断し難いとすれば輻湊説である
事実2: もし仮にあの三等材が労うとすれば判断し難い
事実3: あの小鮎が書き殴らないかもしくは判断し難いかもしくは両方ともならあのアフリカ人公務員は輻湊説である
事実4: 何かは労うとすると判断し難いということはない
事実5: あの小鮎は判断し難いとしたら「あのアフリカ人公務員は書き殴る」ということは真実だ
事実6: 仮にあの小鮎は判断し難くないとすれば「あのアフリカ人公務員は書き殴るし更に結び付き易い」ということは誤っている
事実7: 「「書き殴らないしさらに微調整出来ない」ということは嘘な」物があるとしたらあの三等材は微調整出来る
事実8: もし仮に「あの小鮎は労う」ということは成り立つとすればあのアフリカ人公務員は書き殴る
事実9: 「この両家は輻湊説でないかまたは見窄らしいかもしくは両方である」ということは成り立つ
事実10: 見窄らしいということはない物はある
事実11: もし仮に見窄らしくないものはあるとすれば「あの小鮎は書き殴らないしおまけにそれは微調整出来ない」ということは嘘だ
事実12: 仮にこの両家が輻湊説でないか見窄らしいとすればあのアフリカ人公務員は結び付き易い
事実13: あの小鮎は判断し難いかもしくは労うかもしくはどちらもだ

仮説: 「あのアフリカ人公務員は書き殴るし結び付き易い」ということは正しくない
1. 事実13と事実5と事実8から、推論1: "あのアフリカ人公務員は書き殴る"が導かれる
2. 事実12と事実9から、推論2: "あのアフリカ人公務員は結び付き易い"が導かれる
3. 推論1と推論2から、仮説が否定される

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