このロゼワインは植え続けないかまたは弛くないかあるいは両方だ
fact1: 羨ましくない物が植え続けるとすると取り扱い易い fact2: 「このロゼワインは取り扱い易いということはないけどそれは見通せる」ということは真実でないとしたら「あの有髄線維は羨ましい」ということは真実だ fact3: あの有髄線維は羨ましいなら「植え続けるということはないしその上ペナルティーキック戦だ」ということは間違っている fact4: あの四Ｐ橋脚が歌い継がないかまたは取り扱い易くないかまたは両方であるならば「この雌親は取り扱い易くない」ということは真実である fact5: その鼻腔は見通せない fact6: このロゼワインは間違い易い fact7: あの有髄線維はペナルティーキック戦である fact8: 仮にとあるものが間違い易いということはないかまたはそれはペナルティーキック戦であるかもしくは両方であるなら羨ましくない fact9: 「あの有髄線維は取り扱い易くない」ということは正しい fact10: 仮にあの有髄線維が間違い易いということはないとすれば羨ましくない fact11: 仮にとある物は間違い易くないとすると植え続けないか弛くない fact12: もしもあの有髄線維は植え続けないとすれば「このロゼワインは植え続けないかまたはそれは弛いということはない」ということは事実であるということはない fact13: 仮にこの雌親が取り扱い易くないならばあの有髄線維は羨ましくないしおまけにそれはペナルティーキック戦であるということはない
fact7 -> int1: あの有髄線維は間違い易くないかまたはペナルティーキック戦であるかあるいはどちらもである; fact8 -> int2: もしあの有髄線維が間違い易くないかまたはそれはペナルティーキック戦であるかもしくはどちらもであるならば羨ましくない; int1 & int2 -> int3: あの有髄線維は羨ましいということはない; void -> assump1: 以下のように仮定する。あの有髄線維は植え続ける; int3 & assump1 -> int4: あの有髄線維は羨ましくないけど植え続ける; fact1 -> int5: 仮にあの有髄線維が羨ましくない一方で植え続けるとすればそれは取り扱い易い; int4 & int5 -> int6: あの有髄線維は取り扱い易い; int6 & fact9 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの有髄線維は植え続けない; int8 & fact12 -> hypothesis;
この地質は間違い易くない
$facts$ = fact1: 羨ましくない物が植え続けるとすると取り扱い易い fact2: 「このロゼワインは取り扱い易いということはないけどそれは見通せる」ということは真実でないとしたら「あの有髄線維は羨ましい」ということは真実だ fact3: あの有髄線維は羨ましいなら「植え続けるということはないしその上ペナルティーキック戦だ」ということは間違っている fact4: あの四Ｐ橋脚が歌い継がないかまたは取り扱い易くないかまたは両方であるならば「この雌親は取り扱い易くない」ということは真実である fact5: その鼻腔は見通せない fact6: このロゼワインは間違い易い fact7: あの有髄線維はペナルティーキック戦である fact8: 仮にとあるものが間違い易いということはないかまたはそれはペナルティーキック戦であるかもしくは両方であるなら羨ましくない fact9: 「あの有髄線維は取り扱い易くない」ということは正しい fact10: 仮にあの有髄線維が間違い易いということはないとすれば羨ましくない fact11: 仮にとある物は間違い易くないとすると植え続けないか弛くない fact12: もしもあの有髄線維は植え続けないとすれば「このロゼワインは植え続けないかまたはそれは弛いということはない」ということは事実であるということはない fact13: 仮にこの雌親が取り扱い易くないならばあの有髄線維は羨ましくないしおまけにそれはペナルティーキック戦であるということはない ; $hypothesis$ = このロゼワインは植え続けないかまたは弛くないかあるいは両方だ ; $proof$ = 
fact7 -> int1: あの有髄線維は間違い易くないかまたはペナルティーキック戦であるかあるいはどちらもである; fact8 -> int2: もしあの有髄線維が間違い易くないかまたはそれはペナルティーキック戦であるかもしくはどちらもであるならば羨ましくない; int1 & int2 -> int3: あの有髄線維は羨ましいということはない; void -> assump1: 以下のように仮定する。あの有髄線維は植え続ける; int3 & assump1 -> int4: あの有髄線維は羨ましくないけど植え続ける; fact1 -> int5: 仮にあの有髄線維が羨ましくない一方で植え続けるとすればそれは取り扱い易い; int4 & int5 -> int6: あの有髄線維は取り扱い易い; int6 & fact9 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの有髄線維は植え続けない; int8 & fact12 -> hypothesis; __DISPROVED__
事実1: 羨ましくない物が植え続けるとすると取り扱い易い
事実2: 「このロゼワインは取り扱い易いということはないけどそれは見通せる」ということは真実でないとしたら「あの有髄線維は羨ましい」ということは真実だ
事実3: あの有髄線維は羨ましいなら「植え続けるということはないしその上ペナルティーキック戦だ」ということは間違っている
事実4: あの四Ｐ橋脚が歌い継がないかまたは取り扱い易くないかまたは両方であるならば「この雌親は取り扱い易くない」ということは真実である
事実5: その鼻腔は見通せない
事実6: このロゼワインは間違い易い
事実7: あの有髄線維はペナルティーキック戦である
事実8: 仮にとあるものが間違い易いということはないかまたはそれはペナルティーキック戦であるかもしくは両方であるなら羨ましくない
事実9: 「あの有髄線維は取り扱い易くない」ということは正しい
事実10: 仮にあの有髄線維が間違い易いということはないとすれば羨ましくない
事実11: 仮にとある物は間違い易くないとすると植え続けないか弛くない
事実12: もしもあの有髄線維は植え続けないとすれば「このロゼワインは植え続けないかまたはそれは弛いということはない」ということは事実であるということはない
事実13: 仮にこの雌親が取り扱い易くないならばあの有髄線維は羨ましくないしおまけにそれはペナルティーキック戦であるということはない

仮説: このロゼワインは植え続けないかまたは弛くないかあるいは両方だ
1. 事実7から、推論1: "あの有髄線維は間違い易くないかまたはペナルティーキック戦であるかあるいはどちらもである"が導かれる
2. 事実8から、推論2: "もしあの有髄線維が間違い易くないかまたはそれはペナルティーキック戦であるかもしくはどちらもであるならば羨ましくない"が導かれる
3. 推論1と推論2から、推論3: "あの有髄線維は羨ましいということはない"が導かれる
4. 仮定1: 以下のように仮定する。あの有髄線維は植え続ける
5. 推論3と仮定1から、推論4: "あの有髄線維は羨ましくないけど植え続ける"が導かれる
6. 事実1から、推論5: "仮にあの有髄線維が羨ましくない一方で植え続けるとすればそれは取り扱い易い"が導かれる
7. 推論4と推論5から、推論6: "あの有髄線維は取り扱い易い"が導かれる
8. 推論6と事実9から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの有髄線維は植え続けない"が導かれる
10. 推論8と事実12から、仮説が否定される

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