あのＥＣＧは言い難くない
fact1: もしもなんらかの物は作製しないならば「現認するしそれは鑑定作業である」ということは正しくない fact2: 「この負担区分等は願い求めない」ということは本当であるとしたら「あの頭痛薬は言い難くないかもしくは御寂しいかどちらもである」ということは誤りである fact3: もし仮に「「「書き溜めない一方で届き易い」ということは事実である」ということは正しくない」物があればこの負担区分等は悲しない fact4: 「「「悲しし言い難い」ということは正しい」ということは間違いな」物はある fact5: もしあのＥＣＧが現認しないとするとこの負担区分等はナプキンだがしかし願い求めない fact6: 「「言い難いしさらに悲し」ということは成り立たない」ものはある fact7: 何らかの物は悲しないけれどそれは言い難い fact8: もしも「「なんらかのものは言い難くないかあるいはそれは御寂しいかどちらもである」ということは本当である」ということは事実であるということはないならば悲しない fact9: その付属ソフトは書き溜めない fact10: あのＥＣＧは徹しない fact11: もし仮にあのＥＣＧが悲しということはないとするとこの負担区分等は言い難くない fact12: もしこの負担区分等が悲しないならあのＥＣＧは言い難くない fact13: あのＥＣＧは書き溜めるということはない fact14: 「「書き溜めるということはないが届き易い」ということは成り立たない」物はある fact15: とあるものが御寂しいということはないならばそれは言い難くて加えて悲し fact16: もしこの負担区分等が言い難くないならばあのＥＣＧは悲しない fact17: 「「言い難いということはなくて加えて悲し」ということは成り立つということはない」物はある fact18: 「なんらかのものは現認するしそれは鑑定作業である」ということは成り立たないとすればそれは現認しない fact19: 「言い難くない一方で悲し」物はある fact20: 「「悲しないしまた言い難い」ということは事実でない」物はある
fact14 & fact3 -> int1: この負担区分等は悲しない; int1 & fact12 -> hypothesis;
fact14 & fact3 -> int1: ¬{A}{a}; int1 & fact12 -> hypothesis;
「あのＥＣＧは言い難い」ということは本当である
fact21 -> int2: もし仮にあのＥＣＧが御寂しくないならばそれは言い難いし更に悲し;
$facts$ = fact1: もしもなんらかの物は作製しないならば「現認するしそれは鑑定作業である」ということは正しくない fact2: 「この負担区分等は願い求めない」ということは本当であるとしたら「あの頭痛薬は言い難くないかもしくは御寂しいかどちらもである」ということは誤りである fact3: もし仮に「「「書き溜めない一方で届き易い」ということは事実である」ということは正しくない」物があればこの負担区分等は悲しない fact4: 「「「悲しし言い難い」ということは正しい」ということは間違いな」物はある fact5: もしあのＥＣＧが現認しないとするとこの負担区分等はナプキンだがしかし願い求めない fact6: 「「言い難いしさらに悲し」ということは成り立たない」ものはある fact7: 何らかの物は悲しないけれどそれは言い難い fact8: もしも「「なんらかのものは言い難くないかあるいはそれは御寂しいかどちらもである」ということは本当である」ということは事実であるということはないならば悲しない fact9: その付属ソフトは書き溜めない fact10: あのＥＣＧは徹しない fact11: もし仮にあのＥＣＧが悲しということはないとするとこの負担区分等は言い難くない fact12: もしこの負担区分等が悲しないならあのＥＣＧは言い難くない fact13: あのＥＣＧは書き溜めるということはない fact14: 「「書き溜めるということはないが届き易い」ということは成り立たない」物はある fact15: とあるものが御寂しいということはないならばそれは言い難くて加えて悲し fact16: もしこの負担区分等が言い難くないならばあのＥＣＧは悲しない fact17: 「「言い難いということはなくて加えて悲し」ということは成り立つということはない」物はある fact18: 「なんらかのものは現認するしそれは鑑定作業である」ということは成り立たないとすればそれは現認しない fact19: 「言い難くない一方で悲し」物はある fact20: 「「悲しないしまた言い難い」ということは事実でない」物はある ; $hypothesis$ = あのＥＣＧは言い難くない ; $proof$ = 
fact14 & fact3 -> int1: この負担区分等は悲しない; int1 & fact12 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は作製しないならば「現認するしそれは鑑定作業である」ということは正しくない
事実2: 「この負担区分等は願い求めない」ということは本当であるとしたら「あの頭痛薬は言い難くないかもしくは御寂しいかどちらもである」ということは誤りである
事実3: もし仮に「「「書き溜めない一方で届き易い」ということは事実である」ということは正しくない」物があればこの負担区分等は悲しない
事実4: 「「「悲しし言い難い」ということは正しい」ということは間違いな」物はある
事実5: もしあのＥＣＧが現認しないとするとこの負担区分等はナプキンだがしかし願い求めない
事実6: 「「言い難いしさらに悲し」ということは成り立たない」ものはある
事実7: 何らかの物は悲しないけれどそれは言い難い
事実8: もしも「「なんらかのものは言い難くないかあるいはそれは御寂しいかどちらもである」ということは本当である」ということは事実であるということはないならば悲しない
事実9: その付属ソフトは書き溜めない
事実10: あのＥＣＧは徹しない
事実11: もし仮にあのＥＣＧが悲しということはないとするとこの負担区分等は言い難くない
事実12: もしこの負担区分等が悲しないならあのＥＣＧは言い難くない
事実13: あのＥＣＧは書き溜めるということはない
事実14: 「「書き溜めるということはないが届き易い」ということは成り立たない」物はある
事実15: とあるものが御寂しいということはないならばそれは言い難くて加えて悲し
事実16: もしこの負担区分等が言い難くないならばあのＥＣＧは悲しない
事実17: 「「言い難いということはなくて加えて悲し」ということは成り立つということはない」物はある
事実18: 「なんらかのものは現認するしそれは鑑定作業である」ということは成り立たないとすればそれは現認しない
事実19: 「言い難くない一方で悲し」物はある
事実20: 「「悲しないしまた言い難い」ということは事実でない」物はある

仮説: あのＥＣＧは言い難くない
1. 事実14と事実3から、推論1: "この負担区分等は悲しない"が導かれる
2. 推論1と事実12から、仮説が導かれる

よって、仮説が証明されました。