そのミックスパラメータは饗しないしまた強過ぎるということはない
fact1: もし仮にそのミックスパラメータが発狂しないとしたら罪深いということはないし除架しない fact2: その天台小止観はタグ付けだ一方で束縛しない fact3: もしもそのミックスパラメータが怖いということはないとすればそれは罪深くないかもしくはそれは完治するか両方ともである fact4: その腹腔内膿瘍が言い替えるとすればあの天台小止観はタグ付けだけど発狂しない fact5: もし仮に何らかの物が言い替えないなら饗しないかあるいは手早くないかあるいはどちらもだ fact6: もしもとあるものが罪深くないかもしくはそれは完治するかあるいは両方だとしたら除架しない fact7: その天台小止観はタグ付けである fact8: 仮に「そのミックスパラメータは怖い」ということは事実だとしたら「その天台小止観はタグ付けであるが発狂するということはない」ということは成り立たない fact9: もしそのミックスパラメータが完治するとすれば除架するということはない fact10: 仮にその天台小止観が饗しないとしたらそのミックスパラメータは完治しなくてそれは除架しない fact11: 仮にそのミックスパラメータが除架しないとすれば饗しなくて加えて強過ぎない fact12: もしもそのミックスパラメータが完治しないしそれが除架しないとしたらあの引き渡し後は罪深くない fact13: その腹腔内膿瘍は言い替える
void -> assump1: 以下のように仮定する。そのミックスパラメータは怖い; fact8 & assump1 -> int1: 「その天台小止観はタグ付けであるけれど発狂しない」ということは間違いである; fact13 & fact4 -> int2: その天台小止観はタグ付けだけれどそれは発狂するということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのミックスパラメータは怖くない; int4 & fact3 -> int5: そのミックスパラメータは罪深くないかもしくは完治するかあるいは両方である; fact6 -> int6: 「もしそのミックスパラメータが罪深いということはないかもしくはそれが完治するとすればそのミックスパラメータは除架しない」ということは真実である; int5 & int6 -> int7: そのミックスパラメータは除架しない; int7 & fact11 -> hypothesis;
「あの引き渡し後は強過ぎる」ということは本当だ
fact14 -> int8: もしもその腹腔内膿瘍が言い替えないとすればそれは饗しないかまたは手早くない;
$facts$ = fact1: もし仮にそのミックスパラメータが発狂しないとしたら罪深いということはないし除架しない fact2: その天台小止観はタグ付けだ一方で束縛しない fact3: もしもそのミックスパラメータが怖いということはないとすればそれは罪深くないかもしくはそれは完治するか両方ともである fact4: その腹腔内膿瘍が言い替えるとすればあの天台小止観はタグ付けだけど発狂しない fact5: もし仮に何らかの物が言い替えないなら饗しないかあるいは手早くないかあるいはどちらもだ fact6: もしもとあるものが罪深くないかもしくはそれは完治するかあるいは両方だとしたら除架しない fact7: その天台小止観はタグ付けである fact8: 仮に「そのミックスパラメータは怖い」ということは事実だとしたら「その天台小止観はタグ付けであるが発狂するということはない」ということは成り立たない fact9: もしそのミックスパラメータが完治するとすれば除架するということはない fact10: 仮にその天台小止観が饗しないとしたらそのミックスパラメータは完治しなくてそれは除架しない fact11: 仮にそのミックスパラメータが除架しないとすれば饗しなくて加えて強過ぎない fact12: もしもそのミックスパラメータが完治しないしそれが除架しないとしたらあの引き渡し後は罪深くない fact13: その腹腔内膿瘍は言い替える ; $hypothesis$ = そのミックスパラメータは饗しないしまた強過ぎるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのミックスパラメータは怖い; fact8 & assump1 -> int1: 「その天台小止観はタグ付けであるけれど発狂しない」ということは間違いである; fact13 & fact4 -> int2: その天台小止観はタグ付けだけれどそれは発狂するということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのミックスパラメータは怖くない; int4 & fact3 -> int5: そのミックスパラメータは罪深くないかもしくは完治するかあるいは両方である; fact6 -> int6: 「もしそのミックスパラメータが罪深いということはないかもしくはそれが完治するとすればそのミックスパラメータは除架しない」ということは真実である; int5 & int6 -> int7: そのミックスパラメータは除架しない; int7 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にそのミックスパラメータが発狂しないとしたら罪深いということはないし除架しない
事実2: その天台小止観はタグ付けだ一方で束縛しない
事実3: もしもそのミックスパラメータが怖いということはないとすればそれは罪深くないかもしくはそれは完治するか両方ともである
事実4: その腹腔内膿瘍が言い替えるとすればあの天台小止観はタグ付けだけど発狂しない
事実5: もし仮に何らかの物が言い替えないなら饗しないかあるいは手早くないかあるいはどちらもだ
事実6: もしもとあるものが罪深くないかもしくはそれは完治するかあるいは両方だとしたら除架しない
事実7: その天台小止観はタグ付けである
事実8: 仮に「そのミックスパラメータは怖い」ということは事実だとしたら「その天台小止観はタグ付けであるが発狂するということはない」ということは成り立たない
事実9: もしそのミックスパラメータが完治するとすれば除架するということはない
事実10: 仮にその天台小止観が饗しないとしたらそのミックスパラメータは完治しなくてそれは除架しない
事実11: 仮にそのミックスパラメータが除架しないとすれば饗しなくて加えて強過ぎない
事実12: もしもそのミックスパラメータが完治しないしそれが除架しないとしたらあの引き渡し後は罪深くない
事実13: その腹腔内膿瘍は言い替える

仮説: そのミックスパラメータは饗しないしまた強過ぎるということはない
1. 仮定1: 以下のように仮定する。そのミックスパラメータは怖い
2. 事実8と仮定1から、推論1: "「その天台小止観はタグ付けであるけれど発狂しない」ということは間違いである"が導かれる
3. 事実13と事実4から、推論2: "その天台小止観はタグ付けだけれどそれは発狂するということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのミックスパラメータは怖くない"が導かれる
6. 推論4と事実3から、推論5: "そのミックスパラメータは罪深くないかもしくは完治するかあるいは両方である"が導かれる
7. 事実6から、推論6: "「もしそのミックスパラメータが罪深いということはないかもしくはそれが完治するとすればそのミックスパラメータは除架しない」ということは真実である"が導かれる
8. 推論5と推論6から、推論7: "そのミックスパラメータは除架しない"が導かれる
9. 推論7と事実11から、仮説が導かれる

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