この荷馬車は来難い
fact1: もしも「「制式化するがしかし焼き上がるということはない」ということは間違っている」ものがあるとするとあの交通手段は清くない fact2: 「「犯し難いし水利システムである」ということは間違っている」物はある fact3: 仮にとあるものが清くないかまたはそれが日暮れれば来難くない fact4: 「とあるものは各種アプリケーションだけれど蔑まない」ということは本当である fact5: 「「制式化するし焼き上がらない」ということは嘘な」物はある fact6: もしあの交通手段が清くないならこの荷馬車は清くないかまたはそれは日暮れる fact7: もし仮にこの荷馬車が来難くないならあの交通手段は来難いということはないかまたはそれは清いかもしくは両方だ fact8: 仮にそのサリーは夫婦らしくないとすると「それは必要時でかつ海賊退治である」ということは偽である fact9: あの交通手段は習合するということはない fact10: この荷馬車が来難くないとするとあの交通手段は来難くないかあるいは日暮れるかあるいは両方である
fact5 & fact1 -> int1: あの交通手段は清くない; int1 & fact6 -> int2: 「この荷馬車は清くないかまたは日暮れる」ということは事実である; fact3 -> int3: もしこの荷馬車は清いということはないかあるいは日暮れるかもしくはどちらもであるとすればそれは来難くない; int2 & int3 -> hypothesis;
この荷馬車は来難い
$facts$ = fact1: もしも「「制式化するがしかし焼き上がるということはない」ということは間違っている」ものがあるとするとあの交通手段は清くない fact2: 「「犯し難いし水利システムである」ということは間違っている」物はある fact3: 仮にとあるものが清くないかまたはそれが日暮れれば来難くない fact4: 「とあるものは各種アプリケーションだけれど蔑まない」ということは本当である fact5: 「「制式化するし焼き上がらない」ということは嘘な」物はある fact6: もしあの交通手段が清くないならこの荷馬車は清くないかまたはそれは日暮れる fact7: もし仮にこの荷馬車が来難くないならあの交通手段は来難いということはないかまたはそれは清いかもしくは両方だ fact8: 仮にそのサリーは夫婦らしくないとすると「それは必要時でかつ海賊退治である」ということは偽である fact9: あの交通手段は習合するということはない fact10: この荷馬車が来難くないとするとあの交通手段は来難くないかあるいは日暮れるかあるいは両方である ; $hypothesis$ = この荷馬車は来難い ; $proof$ = 
fact5 & fact1 -> int1: あの交通手段は清くない; int1 & fact6 -> int2: 「この荷馬車は清くないかまたは日暮れる」ということは事実である; fact3 -> int3: もしこの荷馬車は清いということはないかあるいは日暮れるかもしくはどちらもであるとすればそれは来難くない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしも「「制式化するがしかし焼き上がるということはない」ということは間違っている」ものがあるとするとあの交通手段は清くない
事実2: 「「犯し難いし水利システムである」ということは間違っている」物はある
事実3: 仮にとあるものが清くないかまたはそれが日暮れれば来難くない
事実4: 「とあるものは各種アプリケーションだけれど蔑まない」ということは本当である
事実5: 「「制式化するし焼き上がらない」ということは嘘な」物はある
事実6: もしあの交通手段が清くないならこの荷馬車は清くないかまたはそれは日暮れる
事実7: もし仮にこの荷馬車が来難くないならあの交通手段は来難いということはないかまたはそれは清いかもしくは両方だ
事実8: 仮にそのサリーは夫婦らしくないとすると「それは必要時でかつ海賊退治である」ということは偽である
事実9: あの交通手段は習合するということはない
事実10: この荷馬車が来難くないとするとあの交通手段は来難くないかあるいは日暮れるかあるいは両方である

仮説: この荷馬車は来難い
1. 事実5と事実1から、推論1: "あの交通手段は清くない"が導かれる
2. 推論1と事実6から、推論2: "「この荷馬車は清くないかまたは日暮れる」ということは事実である"が導かれる
3. 事実3から、推論3: "もしこの荷馬車は清いということはないかあるいは日暮れるかもしくはどちらもであるとすればそれは来難くない"が導かれる
4. 推論2と推論3から、仮説が否定される

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