そのワードアートはブラックペッパーでない
fact1: もし仮にこの日常会話は御優しいならそのワードアートはねちっこくない fact2: もし仮に「醸成するしその上鰤類である」物があるとすればその群は汗しない fact3: 仮にその群が小高いならばこの直撃は楕円曲線だ fact4: もしも何かは現実化するし御し易いとするとそれは小高い fact5: もしその群が現実化するとすればそれは汗する fact6: 「鰤類であるということはない」物はある fact7: もし「その群は現実化するということはないけどそれは御し易い」ということは成り立たないなら汗する fact8: 「醸成するけど鰤類でない」物はある fact9: もしある物はブラックペッパーでないとすると「楕円曲線であるかまたは汗するかあるいは両方ともだ」ということは成り立たない fact10: この日常会話は御優しいかそれはねちっこくないかまたは両方である fact11: 仮にある物は楕円曲線だということはないし醸成しないとするとそれは汗しない fact12: その群は現実化しない fact13: 「その群は現実化するし更に御し易い」ということは間違っている fact14: 仮に何らかのものは現実化しないけど御し易いならそれは小高い fact15: 何かはねちっこくないとすれば「鰤類でないしまた醸成しない」ということは成り立たない fact16: 小高くないものはプレゼントするが珍しかない fact17: もしも「そのワードアートは鰤類でないし醸成しない」ということは成り立たないとするとこの直撃はブラックペッパーでない fact18: もしその群が現実化するし御し易いとすれば小高い fact19: もし仮にこの直撃が楕円曲線ならそのワードアートはブラックペッパーである fact20: もしも「なにがしかのものは醸成するけど鰤類でない」ということは確かであるとしたらその群は汗しない
void -> assump1: 以下のように仮定する。「その群は現実化しないけど御し易い」ということは成り立つということはない; fact7 & assump1 -> int1: その群は汗する; fact8 & fact20 -> int2: その群は汗しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その群は現実化しないがしかし御し易い; fact14 -> int5: もし仮にその群が現実化しないがしかし御し易いとすれば小高い; int4 & int5 -> int6: その群は小高い; int6 & fact3 -> int7: この直撃は楕円曲線である; int7 & fact19 -> hypothesis;
そのワードアートはブラックペッパーでない
fact21 -> int8: この直撃が楕円曲線でなくてそれが醸成しないとすると汗しない;
$facts$ = fact1: もし仮にこの日常会話は御優しいならそのワードアートはねちっこくない fact2: もし仮に「醸成するしその上鰤類である」物があるとすればその群は汗しない fact3: 仮にその群が小高いならばこの直撃は楕円曲線だ fact4: もしも何かは現実化するし御し易いとするとそれは小高い fact5: もしその群が現実化するとすればそれは汗する fact6: 「鰤類であるということはない」物はある fact7: もし「その群は現実化するということはないけどそれは御し易い」ということは成り立たないなら汗する fact8: 「醸成するけど鰤類でない」物はある fact9: もしある物はブラックペッパーでないとすると「楕円曲線であるかまたは汗するかあるいは両方ともだ」ということは成り立たない fact10: この日常会話は御優しいかそれはねちっこくないかまたは両方である fact11: 仮にある物は楕円曲線だということはないし醸成しないとするとそれは汗しない fact12: その群は現実化しない fact13: 「その群は現実化するし更に御し易い」ということは間違っている fact14: 仮に何らかのものは現実化しないけど御し易いならそれは小高い fact15: 何かはねちっこくないとすれば「鰤類でないしまた醸成しない」ということは成り立たない fact16: 小高くないものはプレゼントするが珍しかない fact17: もしも「そのワードアートは鰤類でないし醸成しない」ということは成り立たないとするとこの直撃はブラックペッパーでない fact18: もしその群が現実化するし御し易いとすれば小高い fact19: もし仮にこの直撃が楕円曲線ならそのワードアートはブラックペッパーである fact20: もしも「なにがしかのものは醸成するけど鰤類でない」ということは確かであるとしたらその群は汗しない ; $hypothesis$ = そのワードアートはブラックペッパーでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その群は現実化しないけど御し易い」ということは成り立つということはない; fact7 & assump1 -> int1: その群は汗する; fact8 & fact20 -> int2: その群は汗しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その群は現実化しないがしかし御し易い; fact14 -> int5: もし仮にその群が現実化しないがしかし御し易いとすれば小高い; int4 & int5 -> int6: その群は小高い; int6 & fact3 -> int7: この直撃は楕円曲線である; int7 & fact19 -> hypothesis; __DISPROVED__
事実1: もし仮にこの日常会話は御優しいならそのワードアートはねちっこくない
事実2: もし仮に「醸成するしその上鰤類である」物があるとすればその群は汗しない
事実3: 仮にその群が小高いならばこの直撃は楕円曲線だ
事実4: もしも何かは現実化するし御し易いとするとそれは小高い
事実5: もしその群が現実化するとすればそれは汗する
事実6: 「鰤類であるということはない」物はある
事実7: もし「その群は現実化するということはないけどそれは御し易い」ということは成り立たないなら汗する
事実8: 「醸成するけど鰤類でない」物はある
事実9: もしある物はブラックペッパーでないとすると「楕円曲線であるかまたは汗するかあるいは両方ともだ」ということは成り立たない
事実10: この日常会話は御優しいかそれはねちっこくないかまたは両方である
事実11: 仮にある物は楕円曲線だということはないし醸成しないとするとそれは汗しない
事実12: その群は現実化しない
事実13: 「その群は現実化するし更に御し易い」ということは間違っている
事実14: 仮に何らかのものは現実化しないけど御し易いならそれは小高い
事実15: 何かはねちっこくないとすれば「鰤類でないしまた醸成しない」ということは成り立たない
事実16: 小高くないものはプレゼントするが珍しかない
事実17: もしも「そのワードアートは鰤類でないし醸成しない」ということは成り立たないとするとこの直撃はブラックペッパーでない
事実18: もしその群が現実化するし御し易いとすれば小高い
事実19: もし仮にこの直撃が楕円曲線ならそのワードアートはブラックペッパーである
事実20: もしも「なにがしかのものは醸成するけど鰤類でない」ということは確かであるとしたらその群は汗しない

仮説: そのワードアートはブラックペッパーでない
1. 仮定1: 以下のように仮定する。「その群は現実化しないけど御し易い」ということは成り立つということはない
2. 事実7と仮定1から、推論1: "その群は汗する"が導かれる
3. 事実8と事実20から、推論2: "その群は汗しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その群は現実化しないがしかし御し易い"が導かれる
6. 事実14から、推論5: "もし仮にその群が現実化しないがしかし御し易いとすれば小高い"が導かれる
7. 推論4と推論5から、推論6: "その群は小高い"が導かれる
8. 推論6と事実3から、推論7: "この直撃は楕円曲線である"が導かれる
9. 推論7と事実19から、仮説が否定される

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