「この受信者は発達しないかもしくは注意し為さるかもしくはどちらもである」ということは成り立たない
fact1: 通じ易くない物はリークする fact2: もし仮になんらかのものが左迷走神経ならば通算する fact3: この受信者は発達するかまたは注意し為さるかあるいは両方だ fact4: この数分前は発達する fact5: もしもあのセルフ‐ガバメントは受け入れ難いということはないかもしくは金銅製装飾品であるかまたはどちらもだとしたらそれは御参照下さる fact6: そのゲノムは次数である fact7: 仮になにがしかのものは不当利得訴権だとしたら「発達しないかあるいは注意し為さるかあるいは両方である」ということは成り立たない fact8: もしも「何らかのものは不当利得訴権であるということはない」ということは間違いだということはないならばそれは発達する fact9: もし仮に「この数分前は次数でなくて自慢しない」ということは誤りであるならばこの受信者は不当利得訴権だ fact10: 次数は自慢する fact11: もしもこの数分前が挙兵しないかあるいはそれは注意し為さるかまたはどちらもであるならそれは不当利得訴権である fact12: もし仮になにがしかのものが発達すれば挙兵する fact13: もしもとあるものが自慢するとすれば注意し為さる fact14: その枢密は注意し為さらないかまたは罹る fact15: 仮にこの受信者が次数ならこの数分前は不当利得訴権でないかまたは発達するか両方である fact16: なにがしかのものは挙兵しないか金銅製装飾品であるかまたはどちらもなら次数だ fact17: もし仮にこの数分前が不当利得訴権であるとすればこの受信者は挙兵しないかあるいは金銅製装飾品であるかもしくはどちらもである fact18: この数分前は不当利得訴権だ
fact17 & fact18 -> int1: この受信者は挙兵しないかあるいはそれは金銅製装飾品である; fact16 -> int2: もし仮にこの受信者が挙兵しないかもしくはそれは金銅製装飾品であるとすればそれは次数だ; int1 & int2 -> int3: この受信者は次数だ; fact10 -> int4: もし仮に「この受信者は次数だ」ということは本当なら自慢する; int3 & int4 -> int5: この受信者は自慢する; fact13 -> int6: 仮にこの受信者が自慢するとすればそれは注意し為さる; int5 & int6 -> int7: この受信者は注意し為さる; int7 -> hypothesis;
「この受信者は発達しないかあるいは注意し為さるかあるいはどちらもである」ということは間違っている
fact20 -> int8: もし仮にこの受信者は不当利得訴権ならば「それは発達するということはないかもしくはそれは注意し為さるかもしくは両方ともである」ということは誤っている;
$facts$ = fact1: 通じ易くない物はリークする fact2: もし仮になんらかのものが左迷走神経ならば通算する fact3: この受信者は発達するかまたは注意し為さるかあるいは両方だ fact4: この数分前は発達する fact5: もしもあのセルフ‐ガバメントは受け入れ難いということはないかもしくは金銅製装飾品であるかまたはどちらもだとしたらそれは御参照下さる fact6: そのゲノムは次数である fact7: 仮になにがしかのものは不当利得訴権だとしたら「発達しないかあるいは注意し為さるかあるいは両方である」ということは成り立たない fact8: もしも「何らかのものは不当利得訴権であるということはない」ということは間違いだということはないならばそれは発達する fact9: もし仮に「この数分前は次数でなくて自慢しない」ということは誤りであるならばこの受信者は不当利得訴権だ fact10: 次数は自慢する fact11: もしもこの数分前が挙兵しないかあるいはそれは注意し為さるかまたはどちらもであるならそれは不当利得訴権である fact12: もし仮になにがしかのものが発達すれば挙兵する fact13: もしもとあるものが自慢するとすれば注意し為さる fact14: その枢密は注意し為さらないかまたは罹る fact15: 仮にこの受信者が次数ならこの数分前は不当利得訴権でないかまたは発達するか両方である fact16: なにがしかのものは挙兵しないか金銅製装飾品であるかまたはどちらもなら次数だ fact17: もし仮にこの数分前が不当利得訴権であるとすればこの受信者は挙兵しないかあるいは金銅製装飾品であるかもしくはどちらもである fact18: この数分前は不当利得訴権だ ; $hypothesis$ = 「この受信者は発達しないかもしくは注意し為さるかもしくはどちらもである」ということは成り立たない ; $proof$ = 
fact17 & fact18 -> int1: この受信者は挙兵しないかあるいはそれは金銅製装飾品である; fact16 -> int2: もし仮にこの受信者が挙兵しないかもしくはそれは金銅製装飾品であるとすればそれは次数だ; int1 & int2 -> int3: この受信者は次数だ; fact10 -> int4: もし仮に「この受信者は次数だ」ということは本当なら自慢する; int3 & int4 -> int5: この受信者は自慢する; fact13 -> int6: 仮にこの受信者が自慢するとすればそれは注意し為さる; int5 & int6 -> int7: この受信者は注意し為さる; int7 -> hypothesis; __DISPROVED__
事実1: 通じ易くない物はリークする
事実2: もし仮になんらかのものが左迷走神経ならば通算する
事実3: この受信者は発達するかまたは注意し為さるかあるいは両方だ
事実4: この数分前は発達する
事実5: もしもあのセルフ‐ガバメントは受け入れ難いということはないかもしくは金銅製装飾品であるかまたはどちらもだとしたらそれは御参照下さる
事実6: そのゲノムは次数である
事実7: 仮になにがしかのものは不当利得訴権だとしたら「発達しないかあるいは注意し為さるかあるいは両方である」ということは成り立たない
事実8: もしも「何らかのものは不当利得訴権であるということはない」ということは間違いだということはないならばそれは発達する
事実9: もし仮に「この数分前は次数でなくて自慢しない」ということは誤りであるならばこの受信者は不当利得訴権だ
事実10: 次数は自慢する
事実11: もしもこの数分前が挙兵しないかあるいはそれは注意し為さるかまたはどちらもであるならそれは不当利得訴権である
事実12: もし仮になにがしかのものが発達すれば挙兵する
事実13: もしもとあるものが自慢するとすれば注意し為さる
事実14: その枢密は注意し為さらないかまたは罹る
事実15: 仮にこの受信者が次数ならこの数分前は不当利得訴権でないかまたは発達するか両方である
事実16: なにがしかのものは挙兵しないか金銅製装飾品であるかまたはどちらもなら次数だ
事実17: もし仮にこの数分前が不当利得訴権であるとすればこの受信者は挙兵しないかあるいは金銅製装飾品であるかもしくはどちらもである
事実18: この数分前は不当利得訴権だ

仮説: 「この受信者は発達しないかもしくは注意し為さるかもしくはどちらもである」ということは成り立たない
1. 事実17と事実18から、推論1: "この受信者は挙兵しないかあるいはそれは金銅製装飾品である"が導かれる
2. 事実16から、推論2: "もし仮にこの受信者が挙兵しないかもしくはそれは金銅製装飾品であるとすればそれは次数だ"が導かれる
3. 推論1と推論2から、推論3: "この受信者は次数だ"が導かれる
4. 事実10から、推論4: "もし仮に「この受信者は次数だ」ということは本当なら自慢する"が導かれる
5. 推論3と推論4から、推論5: "この受信者は自慢する"が導かれる
6. 事実13から、推論6: "仮にこの受信者が自慢するとすればそれは注意し為さる"が導かれる
7. 推論5と推論6から、推論7: "この受信者は注意し為さる"が導かれる
8. 推論7から、仮説が否定される

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