この稲藁はエクスポートでない
fact1: もし仮になんらかのものが一喝するとすれば玉珠である fact2: もしもその好中球が一喝しないがＡＵＧであるならこの稲藁は咲く fact3: 「砕け易い」物はある fact4: もし仮に「砕け易いということはない」物があるとすればあの好中球は咲かない fact5: もし何かはＡＵＧであるならばそれは一喝する fact6: もしもあの御人達は砕け易いならば「この計画通りはＡＵＧだ」ということは事実である fact7: もし仮にあるものが紙メディアである一方でそれが玉珠でないとするとその好中球は一喝しない fact8: あの御人達は玉珠でない fact9: もしも砕け易いものが咲くならそれはエクスポートでない fact10: その好中球は咲くししかもそれは紙メディアである fact11: もしこの計画通りは玉珠であるならば「この稲藁はエクスポートだ」ということは事実だ fact12: もしもあのフルメークが御読み成すがそれは砕け易くないならば「この稲藁は砕け易い」ということは正しい
void -> assump1: 以下のように仮定する。あの御人達は砕け易くない; assump1 -> int1: 「砕け易くない」ものはある; int1 & fact4 -> int2: その好中球は咲かない; fact10 -> int3: その好中球は咲く; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの御人達は砕け易い; int5 & fact6 -> int6: この計画通りはＡＵＧである; fact5 -> int7: この計画通りはＡＵＧであるとするとそれは一喝する; int6 & int7 -> int8: この計画通りは一喝する; fact1 -> int9: もしもこの計画通りが一喝すればそれは玉珠だ; int8 & int9 -> int10: この計画通りは玉珠である; int10 & fact11 -> hypothesis;
この稲藁はエクスポートでない
fact13 -> int11: もし仮にこの稲藁は砕け易いし更に咲くとしたらそれはエクスポートでない;
$facts$ = fact1: もし仮になんらかのものが一喝するとすれば玉珠である fact2: もしもその好中球が一喝しないがＡＵＧであるならこの稲藁は咲く fact3: 「砕け易い」物はある fact4: もし仮に「砕け易いということはない」物があるとすればあの好中球は咲かない fact5: もし何かはＡＵＧであるならばそれは一喝する fact6: もしもあの御人達は砕け易いならば「この計画通りはＡＵＧだ」ということは事実である fact7: もし仮にあるものが紙メディアである一方でそれが玉珠でないとするとその好中球は一喝しない fact8: あの御人達は玉珠でない fact9: もしも砕け易いものが咲くならそれはエクスポートでない fact10: その好中球は咲くししかもそれは紙メディアである fact11: もしこの計画通りは玉珠であるならば「この稲藁はエクスポートだ」ということは事実だ fact12: もしもあのフルメークが御読み成すがそれは砕け易くないならば「この稲藁は砕け易い」ということは正しい ; $hypothesis$ = この稲藁はエクスポートでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの御人達は砕け易くない; assump1 -> int1: 「砕け易くない」ものはある; int1 & fact4 -> int2: その好中球は咲かない; fact10 -> int3: その好中球は咲く; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの御人達は砕け易い; int5 & fact6 -> int6: この計画通りはＡＵＧである; fact5 -> int7: この計画通りはＡＵＧであるとするとそれは一喝する; int6 & int7 -> int8: この計画通りは一喝する; fact1 -> int9: もしもこの計画通りが一喝すればそれは玉珠だ; int8 & int9 -> int10: この計画通りは玉珠である; int10 & fact11 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものが一喝するとすれば玉珠である
事実2: もしもその好中球が一喝しないがＡＵＧであるならこの稲藁は咲く
事実3: 「砕け易い」物はある
事実4: もし仮に「砕け易いということはない」物があるとすればあの好中球は咲かない
事実5: もし何かはＡＵＧであるならばそれは一喝する
事実6: もしもあの御人達は砕け易いならば「この計画通りはＡＵＧだ」ということは事実である
事実7: もし仮にあるものが紙メディアである一方でそれが玉珠でないとするとその好中球は一喝しない
事実8: あの御人達は玉珠でない
事実9: もしも砕け易いものが咲くならそれはエクスポートでない
事実10: その好中球は咲くししかもそれは紙メディアである
事実11: もしこの計画通りは玉珠であるならば「この稲藁はエクスポートだ」ということは事実だ
事実12: もしもあのフルメークが御読み成すがそれは砕け易くないならば「この稲藁は砕け易い」ということは正しい

仮説: この稲藁はエクスポートでない
1. 仮定1: 以下のように仮定する。あの御人達は砕け易くない
2. 仮定1から、推論1: "「砕け易くない」ものはある"が導かれる
3. 推論1と事実4から、推論2: "その好中球は咲かない"が導かれる
4. 事実10から、推論3: "その好中球は咲く"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの御人達は砕け易い"が導かれる
7. 推論5と事実6から、推論6: "この計画通りはＡＵＧである"が導かれる
8. 事実5から、推論7: "この計画通りはＡＵＧであるとするとそれは一喝する"が導かれる
9. 推論6と推論7から、推論8: "この計画通りは一喝する"が導かれる
10. 事実1から、推論9: "もしもこの計画通りが一喝すればそれは玉珠だ"が導かれる
11. 推論8と推論9から、推論10: "この計画通りは玉珠である"が導かれる
12. 推論10と事実11から、仮説が否定される

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