その公方は小売り業者だ
fact1: 無声化し易いということはないものが想定すとするとそれは小売り業者でない fact2: 恥ずかしないものは勢い込むけど投入しない fact3: 仮にとある物が困窮するし無声化し易いならそれは想定すらない fact4: もしも何らかの物が変化でないか残薬であるかもしくはどちらもなら「それは小売り業者だ」ということは真実だ fact5: もしなにがしかのものが困窮しないが無声化し易いならば想定すということはない fact6: 仮にその公方は困窮するししかも無声化し易いとしたら想定すらない fact7: もしもなにかは勢い込むけど投入しないとすればそれは困窮する fact8: もし仮にある物は変化でないなら「それは小売り業者だ」ということは本当だ fact9: この腹水癌が困窮するならその公方は無声化し易くないけれどそれは想定す fact10: その公方は困窮しない一方でそれは無声化し易い fact11: 「そのパート労働は恙無くないかもしくはそれは残薬だ」ということは間違いである fact12: 「その公方は変化だ」ということは本当である fact13: その公方は変化であるかあるいはそれは残薬である fact14: もし仮に「あるものは変化でないか残薬であるか両方だ」ということは成り立たないとすればそれは想定す fact15: もし「その公方は変化でない」ということは偽でないならばそれは小売り業者である fact16: もしなんらかのものは頼り無いなら「それは経ち上げるがＳＣＩＤ型でない」ということは間違っている fact17: 仮に「とあるものは経ち上げるけどＳＣＩＤ型でない」ということは成り立つということはないとすればそれは恥ずかしない
fact14 -> int1: 仮に「その公方は変化でないかもしくはそれは残薬であるか両方である」ということは誤っているならそれは想定す; void -> assump1: 以下のように仮定する。「その公方は変化でないか残薬であるかどちらもである」ということは誤っている; int1 & assump1 -> int2: その公方は想定す; fact5 -> int3: もしその公方は困窮しない一方で無声化し易いとすれば想定すらない; int3 & fact10 -> int4: その公方は想定すということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その公方は変化でないかあるいはそれは残薬であるかあるいはどちらもである; fact4 -> int7: 仮にその公方が変化でないか残薬だとすれば「それは小売り業者である」ということは間違いでない; int6 & int7 -> hypothesis;
その公方は小売り業者でない
fact22 -> int8: 「その公方は無声化し易くないけれど想定す」ということは成り立つなら「小売り業者であるということはない」ということは成り立つ; fact21 -> int9: 仮にこの腹水癌は勢い込む一方で投入しないならば困窮する; fact23 -> int10: 仮にこの腹水癌が恥ずかしないとするとそれは勢い込むし加えて投入しない; fact18 -> int11: 「この腹水癌は経ち上げるがＳＣＩＤ型でない」ということは間違いなら「恥ずかしない」ということは成り立つ; fact20 -> int12: 仮に「この素振りは頼り無い」ということは事実であるとすると「経ち上げるし更にＳＣＩＤ型でない」ということは間違っている;
$facts$ = fact1: 無声化し易いということはないものが想定すとするとそれは小売り業者でない fact2: 恥ずかしないものは勢い込むけど投入しない fact3: 仮にとある物が困窮するし無声化し易いならそれは想定すらない fact4: もしも何らかの物が変化でないか残薬であるかもしくはどちらもなら「それは小売り業者だ」ということは真実だ fact5: もしなにがしかのものが困窮しないが無声化し易いならば想定すということはない fact6: 仮にその公方は困窮するししかも無声化し易いとしたら想定すらない fact7: もしもなにかは勢い込むけど投入しないとすればそれは困窮する fact8: もし仮にある物は変化でないなら「それは小売り業者だ」ということは本当だ fact9: この腹水癌が困窮するならその公方は無声化し易くないけれどそれは想定す fact10: その公方は困窮しない一方でそれは無声化し易い fact11: 「そのパート労働は恙無くないかもしくはそれは残薬だ」ということは間違いである fact12: 「その公方は変化だ」ということは本当である fact13: その公方は変化であるかあるいはそれは残薬である fact14: もし仮に「あるものは変化でないか残薬であるか両方だ」ということは成り立たないとすればそれは想定す fact15: もし「その公方は変化でない」ということは偽でないならばそれは小売り業者である fact16: もしなんらかのものは頼り無いなら「それは経ち上げるがＳＣＩＤ型でない」ということは間違っている fact17: 仮に「とあるものは経ち上げるけどＳＣＩＤ型でない」ということは成り立つということはないとすればそれは恥ずかしない ; $hypothesis$ = その公方は小売り業者だ ; $proof$ = 
fact14 -> int1: 仮に「その公方は変化でないかもしくはそれは残薬であるか両方である」ということは誤っているならそれは想定す; void -> assump1: 以下のように仮定する。「その公方は変化でないか残薬であるかどちらもである」ということは誤っている; int1 & assump1 -> int2: その公方は想定す; fact5 -> int3: もしその公方は困窮しない一方で無声化し易いとすれば想定すらない; int3 & fact10 -> int4: その公方は想定すということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その公方は変化でないかあるいはそれは残薬であるかあるいはどちらもである; fact4 -> int7: 仮にその公方が変化でないか残薬だとすれば「それは小売り業者である」ということは間違いでない; int6 & int7 -> hypothesis; __PROVED__
事実1: 無声化し易いということはないものが想定すとするとそれは小売り業者でない
事実2: 恥ずかしないものは勢い込むけど投入しない
事実3: 仮にとある物が困窮するし無声化し易いならそれは想定すらない
事実4: もしも何らかの物が変化でないか残薬であるかもしくはどちらもなら「それは小売り業者だ」ということは真実だ
事実5: もしなにがしかのものが困窮しないが無声化し易いならば想定すということはない
事実6: 仮にその公方は困窮するししかも無声化し易いとしたら想定すらない
事実7: もしもなにかは勢い込むけど投入しないとすればそれは困窮する
事実8: もし仮にある物は変化でないなら「それは小売り業者だ」ということは本当だ
事実9: この腹水癌が困窮するならその公方は無声化し易くないけれどそれは想定す
事実10: その公方は困窮しない一方でそれは無声化し易い
事実11: 「そのパート労働は恙無くないかもしくはそれは残薬だ」ということは間違いである
事実12: 「その公方は変化だ」ということは本当である
事実13: その公方は変化であるかあるいはそれは残薬である
事実14: もし仮に「あるものは変化でないか残薬であるか両方だ」ということは成り立たないとすればそれは想定す
事実15: もし「その公方は変化でない」ということは偽でないならばそれは小売り業者である
事実16: もしなんらかのものは頼り無いなら「それは経ち上げるがＳＣＩＤ型でない」ということは間違っている
事実17: 仮に「とあるものは経ち上げるけどＳＣＩＤ型でない」ということは成り立つということはないとすればそれは恥ずかしない

仮説: その公方は小売り業者だ
1. 事実14から、推論1: "仮に「その公方は変化でないかもしくはそれは残薬であるか両方である」ということは誤っているならそれは想定す"が導かれる
2. 仮定1: 以下のように仮定する。「その公方は変化でないか残薬であるかどちらもである」ということは誤っている
3. 推論1と仮定1から、推論2: "その公方は想定す"が導かれる
4. 事実5から、推論3: "もしその公方は困窮しない一方で無声化し易いとすれば想定すらない"が導かれる
5. 推論3と事実10から、推論4: "その公方は想定すということはない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その公方は変化でないかあるいはそれは残薬であるかあるいはどちらもである"が導かれる
8. 事実4から、推論7: "仮にその公方が変化でないか残薬だとすれば「それは小売り業者である」ということは間違いでない"が導かれる
9. 推論6と推論7から、仮説が導かれる

よって、仮説が証明されました。