あのローストビーフは名状し難い
fact1: 仮になんらかの物は気付き易くないなら「原因する」ということは事実だ fact2: もしその反戦運動が御構い無いということはないとすればそれは名状し難くない fact3: あのローストビーフは名言でないかあるいは正電荷であるかもしくはどちらもである fact4: その反戦運動は御構い無い fact5: その反戦運動は買い換えない fact6: その反戦運動が正電荷でないとしたらあのローストビーフは馳せないかもしくは正電荷でない fact7: もしも「その反戦運動は一煮立ちするし御構い無い」ということは本当だとしたらそれは正電荷でない fact8: あのローストビーフは正電荷でないかまたは蕗の薹であるかまたは両方ともである fact9: 「このＳＳＫフーズは名言であるということはないがしかし買い換える」ということは間違いである fact10: もし「このＳＳＫフーズは名言でないがしかしそれは買い換える」ということは成り立たないとすればそれは判断し難いということはない fact11: その反戦運動は名状し難くない fact12: 「その反戦運動は一煮立ちしないけれど判断し難い」ということは成り立たない fact13: その反戦運動は馳せるということはない fact14: 「このＳＳＫフーズは名言でないけど一煮立ちする」ということは間違いならば御構い無くない fact15: あのローストビーフは馳せないかあるいは正電荷でないかあるいは両方ならば名状し難くない fact16: 「その反戦運動は失神だしそれに正電荷である」ということは成り立たない fact17: あるものは御構い無くないとすれば「それは詮無くないし更に一煮立ちしない」ということは間違っている fact18: その反戦運動は一煮立ちしないか用い易くない fact19: このＳＳＫフーズが気付き易くないとすればその反戦運動は詮無くない fact20: もし仮に「その反戦運動は詮無いということはない」ということは成り立てばそれは一煮立ちする fact21: もし仮にこのＳＳＫフーズは詮無くないとすれば「その反戦運動は一煮立ちするということはない」ということは成り立つ fact22: 「あのローストビーフは馳せるし詮無い」ということは偽である fact23: なにかは原因するとしたら「それは判断し難くてそれにそれは名状し難くない」ということは偽だ fact24: 「このＳＳＫフーズは判断し難くない」ということは間違いでないとすると原因しないかあるいはそれは気付き易くないかまたはどちらもだ fact25: もし仮にこのＳＳＫフーズが原因しないとするとその反戦運動は詮無くない fact26: その反戦運動が買い換えないとしたらこのＳＳＫフーズは一煮立ちしないかあるいは買い換える fact27: もしも「その反戦運動は気付き易くないけどそれは一煮立ちする」ということは嘘だとすると判断し難いということはない fact28: このＳＳＫフーズは滲み込むし消極的過ぎる fact29: 仮にこのＳＳＫフーズが気付き易くないならその反戦運動は詮無い
fact10 & fact9 -> int1: このＳＳＫフーズは判断し難いということはない; int1 & fact24 -> int2: このＳＳＫフーズは原因しないかあるいは気付き易くないかまたはどちらもである; int2 & fact25 & fact19 -> int3: その反戦運動は詮無くない; int3 & fact20 -> int4: その反戦運動は一煮立ちする; int4 & fact4 -> int5: その反戦運動は一煮立ちするし更にそれは御構い無い; int5 & fact7 -> int6: その反戦運動は正電荷でない; int6 & fact6 -> int7: あのローストビーフは馳せないかあるいは正電荷でないかあるいはどちらもだ; int7 & fact15 -> hypothesis;
あのローストビーフは名状し難い
fact31 -> int8: このＳＳＫフーズは原因するとしたら「それは判断し難いが名状し難くない」ということは偽だ; fact30 -> int9: もしこのＳＳＫフーズは気付き易くないとすると「それは原因する」ということは真実である; fact32 -> int10: もし仮にあの自由時間行動は御構い無いということはないとしたら「詮無いということはないしさらに一煮立ちしない」ということは偽だ;
$facts$ = fact1: 仮になんらかの物は気付き易くないなら「原因する」ということは事実だ fact2: もしその反戦運動が御構い無いということはないとすればそれは名状し難くない fact3: あのローストビーフは名言でないかあるいは正電荷であるかもしくはどちらもである fact4: その反戦運動は御構い無い fact5: その反戦運動は買い換えない fact6: その反戦運動が正電荷でないとしたらあのローストビーフは馳せないかもしくは正電荷でない fact7: もしも「その反戦運動は一煮立ちするし御構い無い」ということは本当だとしたらそれは正電荷でない fact8: あのローストビーフは正電荷でないかまたは蕗の薹であるかまたは両方ともである fact9: 「このＳＳＫフーズは名言であるということはないがしかし買い換える」ということは間違いである fact10: もし「このＳＳＫフーズは名言でないがしかしそれは買い換える」ということは成り立たないとすればそれは判断し難いということはない fact11: その反戦運動は名状し難くない fact12: 「その反戦運動は一煮立ちしないけれど判断し難い」ということは成り立たない fact13: その反戦運動は馳せるということはない fact14: 「このＳＳＫフーズは名言でないけど一煮立ちする」ということは間違いならば御構い無くない fact15: あのローストビーフは馳せないかあるいは正電荷でないかあるいは両方ならば名状し難くない fact16: 「その反戦運動は失神だしそれに正電荷である」ということは成り立たない fact17: あるものは御構い無くないとすれば「それは詮無くないし更に一煮立ちしない」ということは間違っている fact18: その反戦運動は一煮立ちしないか用い易くない fact19: このＳＳＫフーズが気付き易くないとすればその反戦運動は詮無くない fact20: もし仮に「その反戦運動は詮無いということはない」ということは成り立てばそれは一煮立ちする fact21: もし仮にこのＳＳＫフーズは詮無くないとすれば「その反戦運動は一煮立ちするということはない」ということは成り立つ fact22: 「あのローストビーフは馳せるし詮無い」ということは偽である fact23: なにかは原因するとしたら「それは判断し難くてそれにそれは名状し難くない」ということは偽だ fact24: 「このＳＳＫフーズは判断し難くない」ということは間違いでないとすると原因しないかあるいはそれは気付き易くないかまたはどちらもだ fact25: もし仮にこのＳＳＫフーズが原因しないとするとその反戦運動は詮無くない fact26: その反戦運動が買い換えないとしたらこのＳＳＫフーズは一煮立ちしないかあるいは買い換える fact27: もしも「その反戦運動は気付き易くないけどそれは一煮立ちする」ということは嘘だとすると判断し難いということはない fact28: このＳＳＫフーズは滲み込むし消極的過ぎる fact29: 仮にこのＳＳＫフーズが気付き易くないならその反戦運動は詮無い ; $hypothesis$ = あのローストビーフは名状し難い ; $proof$ = 
fact10 & fact9 -> int1: このＳＳＫフーズは判断し難いということはない; int1 & fact24 -> int2: このＳＳＫフーズは原因しないかあるいは気付き易くないかまたはどちらもである; int2 & fact25 & fact19 -> int3: その反戦運動は詮無くない; int3 & fact20 -> int4: その反戦運動は一煮立ちする; int4 & fact4 -> int5: その反戦運動は一煮立ちするし更にそれは御構い無い; int5 & fact7 -> int6: その反戦運動は正電荷でない; int6 & fact6 -> int7: あのローストビーフは馳せないかあるいは正電荷でないかあるいはどちらもだ; int7 & fact15 -> hypothesis; __DISPROVED__
事実1: 仮になんらかの物は気付き易くないなら「原因する」ということは事実だ
事実2: もしその反戦運動が御構い無いということはないとすればそれは名状し難くない
事実3: あのローストビーフは名言でないかあるいは正電荷であるかもしくはどちらもである
事実4: その反戦運動は御構い無い
事実5: その反戦運動は買い換えない
事実6: その反戦運動が正電荷でないとしたらあのローストビーフは馳せないかもしくは正電荷でない
事実7: もしも「その反戦運動は一煮立ちするし御構い無い」ということは本当だとしたらそれは正電荷でない
事実8: あのローストビーフは正電荷でないかまたは蕗の薹であるかまたは両方ともである
事実9: 「このＳＳＫフーズは名言であるということはないがしかし買い換える」ということは間違いである
事実10: もし「このＳＳＫフーズは名言でないがしかしそれは買い換える」ということは成り立たないとすればそれは判断し難いということはない
事実11: その反戦運動は名状し難くない
事実12: 「その反戦運動は一煮立ちしないけれど判断し難い」ということは成り立たない
事実13: その反戦運動は馳せるということはない
事実14: 「このＳＳＫフーズは名言でないけど一煮立ちする」ということは間違いならば御構い無くない
事実15: あのローストビーフは馳せないかあるいは正電荷でないかあるいは両方ならば名状し難くない
事実16: 「その反戦運動は失神だしそれに正電荷である」ということは成り立たない
事実17: あるものは御構い無くないとすれば「それは詮無くないし更に一煮立ちしない」ということは間違っている
事実18: その反戦運動は一煮立ちしないか用い易くない
事実19: このＳＳＫフーズが気付き易くないとすればその反戦運動は詮無くない
事実20: もし仮に「その反戦運動は詮無いということはない」ということは成り立てばそれは一煮立ちする
事実21: もし仮にこのＳＳＫフーズは詮無くないとすれば「その反戦運動は一煮立ちするということはない」ということは成り立つ
事実22: 「あのローストビーフは馳せるし詮無い」ということは偽である
事実23: なにかは原因するとしたら「それは判断し難くてそれにそれは名状し難くない」ということは偽だ
事実24: 「このＳＳＫフーズは判断し難くない」ということは間違いでないとすると原因しないかあるいはそれは気付き易くないかまたはどちらもだ
事実25: もし仮にこのＳＳＫフーズが原因しないとするとその反戦運動は詮無くない
事実26: その反戦運動が買い換えないとしたらこのＳＳＫフーズは一煮立ちしないかあるいは買い換える
事実27: もしも「その反戦運動は気付き易くないけどそれは一煮立ちする」ということは嘘だとすると判断し難いということはない
事実28: このＳＳＫフーズは滲み込むし消極的過ぎる
事実29: 仮にこのＳＳＫフーズが気付き易くないならその反戦運動は詮無い

仮説: あのローストビーフは名状し難い
1. 事実10と事実9から、推論1: "このＳＳＫフーズは判断し難いということはない"が導かれる
2. 推論1と事実24から、推論2: "このＳＳＫフーズは原因しないかあるいは気付き易くないかまたはどちらもである"が導かれる
3. 推論2と事実25と事実19から、推論3: "その反戦運動は詮無くない"が導かれる
4. 推論3と事実20から、推論4: "その反戦運動は一煮立ちする"が導かれる
5. 推論4と事実4から、推論5: "その反戦運動は一煮立ちするし更にそれは御構い無い"が導かれる
6. 推論5と事実7から、推論6: "その反戦運動は正電荷でない"が導かれる
7. 推論6と事実6から、推論7: "あのローストビーフは馳せないかあるいは正電荷でないかあるいはどちらもだ"が導かれる
8. 推論7と事実15から、仮説が否定される

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