その雪中梅は鼓でない
fact1: 「その雪中梅は踏み固めないけどそれは熟年世代だ」ということは成り立たない fact2: そのメンバーリストは踏み固める fact3: もしも「あのニュー・エコノミーは放棄出来ない」ということは成り立つとすればあの包みは有効高度利用であるし踏み固める fact4: そのメンバーリストは一覧しないがしかし保護政策だ fact5: もし仮にとあるものは播種しないとしたら「それは大きいしそれは北家家中である」ということは誤りである fact6: もしその雪中梅が順位付けないがしかし熟年世代だとするとそのメンバーリストは踏み固めない fact7: もし仮にそのメンバーリストが鼓でないけれど順位付けるとすればその雪中梅は踏み固めるということはない fact8: 仮に「踏み固める」ものはあれば「そのメンバーリストは踏み固めないけど鼓だ」ということは成り立たない fact9: 「その雪中梅は順位付けないがしかし熟年世代である」ということは偽であるならば鼓だ fact10: どれもこれもは播種しない fact11: その宗教的伝統は踏み固める fact12: この細菌は熟年世代だ
void -> assump1: 以下のように仮定する。その雪中梅は順位付けるということはないが熟年世代である; fact6 & assump1 -> int1: 「そのメンバーリストは踏み固めない」ということは本当である; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その雪中梅は順位付けないけど熟年世代だ」ということは成り立つということはない; int3 & fact9 -> hypothesis;
その雪中梅は鼓だということはない
fact16 -> int4: このロールアウトは播種しないとしたら「「大きいしかつそれは北家家中である」ということは真実だ」ということは偽だ; fact13 -> int5: このロールアウトは播種しない; int4 & int5 -> int6: 「「このロールアウトが大きいしその上それは北家家中である」ということは誤っている」ということは成り立つ; int6 -> int7: それは大きいししかも北家家中であるというものはない; int7 -> int8: 「その押し問答は大きいし加えて北家家中だ」ということは成り立つということはない; int8 -> int9: 「「大きくてさらに北家家中である」ということは誤りである」物はある;
$facts$ = fact1: 「その雪中梅は踏み固めないけどそれは熟年世代だ」ということは成り立たない fact2: そのメンバーリストは踏み固める fact3: もしも「あのニュー・エコノミーは放棄出来ない」ということは成り立つとすればあの包みは有効高度利用であるし踏み固める fact4: そのメンバーリストは一覧しないがしかし保護政策だ fact5: もし仮にとあるものは播種しないとしたら「それは大きいしそれは北家家中である」ということは誤りである fact6: もしその雪中梅が順位付けないがしかし熟年世代だとするとそのメンバーリストは踏み固めない fact7: もし仮にそのメンバーリストが鼓でないけれど順位付けるとすればその雪中梅は踏み固めるということはない fact8: 仮に「踏み固める」ものはあれば「そのメンバーリストは踏み固めないけど鼓だ」ということは成り立たない fact9: 「その雪中梅は順位付けないがしかし熟年世代である」ということは偽であるならば鼓だ fact10: どれもこれもは播種しない fact11: その宗教的伝統は踏み固める fact12: この細菌は熟年世代だ ; $hypothesis$ = その雪中梅は鼓でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その雪中梅は順位付けるということはないが熟年世代である; fact6 & assump1 -> int1: 「そのメンバーリストは踏み固めない」ということは本当である; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その雪中梅は順位付けないけど熟年世代だ」ということは成り立つということはない; int3 & fact9 -> hypothesis; __DISPROVED__
事実1: 「その雪中梅は踏み固めないけどそれは熟年世代だ」ということは成り立たない
事実2: そのメンバーリストは踏み固める
事実3: もしも「あのニュー・エコノミーは放棄出来ない」ということは成り立つとすればあの包みは有効高度利用であるし踏み固める
事実4: そのメンバーリストは一覧しないがしかし保護政策だ
事実5: もし仮にとあるものは播種しないとしたら「それは大きいしそれは北家家中である」ということは誤りである
事実6: もしその雪中梅が順位付けないがしかし熟年世代だとするとそのメンバーリストは踏み固めない
事実7: もし仮にそのメンバーリストが鼓でないけれど順位付けるとすればその雪中梅は踏み固めるということはない
事実8: 仮に「踏み固める」ものはあれば「そのメンバーリストは踏み固めないけど鼓だ」ということは成り立たない
事実9: 「その雪中梅は順位付けないがしかし熟年世代である」ということは偽であるならば鼓だ
事実10: どれもこれもは播種しない
事実11: その宗教的伝統は踏み固める
事実12: この細菌は熟年世代だ

仮説: その雪中梅は鼓でない
1. 仮定1: 以下のように仮定する。その雪中梅は順位付けるということはないが熟年世代である
2. 事実6と仮定1から、推論1: "「そのメンバーリストは踏み固めない」ということは本当である"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その雪中梅は順位付けないけど熟年世代だ」ということは成り立つということはない"が導かれる
5. 推論3と事実9から、仮説が否定される

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