あの産声は考え過ぎる
fact1: もしもあの甘みがきったない一方でそれが招かないとすれば漢方エキス剤でない fact2: もし仮に何かは執念深くないならば「ＤＤだし根気強くない」ということは成り立つということはない fact3: あの産声はＤＤでない fact4: ある物は根気強い fact5: もし仮に何らかの物がＤＤでないとしたら制定過程でないしおまけに疲れ難い fact6: もしもあの甘みは漢方エキス剤でないならば定位するし更に忙しい fact7: あの甘みは根気強くないが白濁である fact8: もしもあの産声がＤＤだとすると考え過ぎない fact9: 根気強いｄＤはある fact10: 「あの産声はＤＤであるしまた根気強い」ということは成り立たない fact11: もしもなにかはＤＤでない一方でそれが根気強いとするとあの甘みは執念深い fact12: 「あの甘みは執念深くない」ということは確かだ fact13: 「あの産声はＤＤでないけれどそれは根気強い」ということは偽であるとするとそれは考え過ぎるということはない fact14: 仮にその終了原因は考え過ぎるなら「あの甘みは根気強くないしさらに執念深くない」ということは誤りである fact15: 「あの甘みは執念深いかあるいは応諾しないかあるいはどちらもである」ということは誤っていればあの産声は執念深くない fact16: あの甘みは考え過ぎるということはない fact17: 「あの甘みは考え過ぎるししかも執念深い」ということは事実と異なる fact18: 「ＤＤでない」物はある fact19: この第一拍は執念深いということはない fact20: あの産声は執念深くない fact21: もしとあるものは忙しいなら「それは執念深いかあるいは応諾するということはないかあるいは両方ともだ」ということは偽である
void -> assump1: 以下のように仮定する。「あの産声はＤＤでない一方で根気強い」ということは成り立つ; assump1 -> int1: なにがしかのものはＤＤだということはない一方で根気強い; int1 & fact11 -> int2: あの甘みは執念深い; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの産声はＤＤでないがしかし根気強い」ということは成り立たない; int4 & fact13 -> hypothesis;
あの産声は考え過ぎる
fact23 -> int5: もしあの産声は執念深くないならば「それはＤＤであるがしかし根気強いということはない」ということは正しくない; fact22 -> int6: あの甘みは忙しいならば「それは執念深いかもしくは応諾しないかもしくは両方ともである」ということは偽だ;
$facts$ = fact1: もしもあの甘みがきったない一方でそれが招かないとすれば漢方エキス剤でない fact2: もし仮に何かは執念深くないならば「ＤＤだし根気強くない」ということは成り立つということはない fact3: あの産声はＤＤでない fact4: ある物は根気強い fact5: もし仮に何らかの物がＤＤでないとしたら制定過程でないしおまけに疲れ難い fact6: もしもあの甘みは漢方エキス剤でないならば定位するし更に忙しい fact7: あの甘みは根気強くないが白濁である fact8: もしもあの産声がＤＤだとすると考え過ぎない fact9: 根気強いｄＤはある fact10: 「あの産声はＤＤであるしまた根気強い」ということは成り立たない fact11: もしもなにかはＤＤでない一方でそれが根気強いとするとあの甘みは執念深い fact12: 「あの甘みは執念深くない」ということは確かだ fact13: 「あの産声はＤＤでないけれどそれは根気強い」ということは偽であるとするとそれは考え過ぎるということはない fact14: 仮にその終了原因は考え過ぎるなら「あの甘みは根気強くないしさらに執念深くない」ということは誤りである fact15: 「あの甘みは執念深いかあるいは応諾しないかあるいはどちらもである」ということは誤っていればあの産声は執念深くない fact16: あの甘みは考え過ぎるということはない fact17: 「あの甘みは考え過ぎるししかも執念深い」ということは事実と異なる fact18: 「ＤＤでない」物はある fact19: この第一拍は執念深いということはない fact20: あの産声は執念深くない fact21: もしとあるものは忙しいなら「それは執念深いかあるいは応諾するということはないかあるいは両方ともだ」ということは偽である ; $hypothesis$ = あの産声は考え過ぎる ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの産声はＤＤでない一方で根気強い」ということは成り立つ; assump1 -> int1: なにがしかのものはＤＤだということはない一方で根気強い; int1 & fact11 -> int2: あの甘みは執念深い; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの産声はＤＤでないがしかし根気強い」ということは成り立たない; int4 & fact13 -> hypothesis; __DISPROVED__
事実1: もしもあの甘みがきったない一方でそれが招かないとすれば漢方エキス剤でない
事実2: もし仮に何かは執念深くないならば「ＤＤだし根気強くない」ということは成り立つということはない
事実3: あの産声はＤＤでない
事実4: ある物は根気強い
事実5: もし仮に何らかの物がＤＤでないとしたら制定過程でないしおまけに疲れ難い
事実6: もしもあの甘みは漢方エキス剤でないならば定位するし更に忙しい
事実7: あの甘みは根気強くないが白濁である
事実8: もしもあの産声がＤＤだとすると考え過ぎない
事実9: 根気強いｄＤはある
事実10: 「あの産声はＤＤであるしまた根気強い」ということは成り立たない
事実11: もしもなにかはＤＤでない一方でそれが根気強いとするとあの甘みは執念深い
事実12: 「あの甘みは執念深くない」ということは確かだ
事実13: 「あの産声はＤＤでないけれどそれは根気強い」ということは偽であるとするとそれは考え過ぎるということはない
事実14: 仮にその終了原因は考え過ぎるなら「あの甘みは根気強くないしさらに執念深くない」ということは誤りである
事実15: 「あの甘みは執念深いかあるいは応諾しないかあるいはどちらもである」ということは誤っていればあの産声は執念深くない
事実16: あの甘みは考え過ぎるということはない
事実17: 「あの甘みは考え過ぎるししかも執念深い」ということは事実と異なる
事実18: 「ＤＤでない」物はある
事実19: この第一拍は執念深いということはない
事実20: あの産声は執念深くない
事実21: もしとあるものは忙しいなら「それは執念深いかあるいは応諾するということはないかあるいは両方ともだ」ということは偽である

仮説: あの産声は考え過ぎる
1. 仮定1: 以下のように仮定する。「あの産声はＤＤでない一方で根気強い」ということは成り立つ
2. 仮定1から、推論1: "なにがしかのものはＤＤだということはない一方で根気強い"が導かれる
3. 推論1と事実11から、推論2: "あの甘みは執念深い"が導かれる
4. 推論2と事実12から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの産声はＤＤでないがしかし根気強い」ということは成り立たない"が導かれる
6. 推論4と事実13から、仮説が否定される

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