「あの著者は利き難くて働き難い」ということは間違いである
fact1: その左方が利き難くないならあの著者は利き難いしその上働き難い fact2: この一方は左クリックするしおまけにそれは精錬炉だ fact3: もしあるものが左クリックするし精錬炉だとするとその左方は利き難くない
fact2 -> int1: なにかは左クリックするしさらに精錬炉である; int1 & fact3 -> int2: その左方は利き難くない; int2 & fact1 -> hypothesis;
$facts$ = fact1: その左方が利き難くないならあの著者は利き難いしその上働き難い fact2: この一方は左クリックするしおまけにそれは精錬炉だ fact3: もしあるものが左クリックするし精錬炉だとするとその左方は利き難くない ; $hypothesis$ = 「あの著者は利き難くて働き難い」ということは間違いである ; $proof$ = 
fact2 -> int1: なにかは左クリックするしさらに精錬炉である; int1 & fact3 -> int2: その左方は利き難くない; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: その左方が利き難くないならあの著者は利き難いしその上働き難い
事実2: この一方は左クリックするしおまけにそれは精錬炉だ
事実3: もしあるものが左クリックするし精錬炉だとするとその左方は利き難くない

仮説: 「あの著者は利き難くて働き難い」ということは間違いである
1. 事実2から、推論1: "なにかは左クリックするしさらに精錬炉である"が導かれる
2. 推論1と事実3から、推論2: "その左方は利き難くない"が導かれる
3. 推論2と事実1から、仮説が否定される

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