あの産科学は塗り込む
fact1: とあるものは決め難い fact2: このエマルジョンは塗り込む fact3: 「「御事績であるかもしくは決め難くないかもしくは両方ともだ」ということは成り立たない」ものはある fact4: 仮に「「「御入るかもしくは健康手帳でないかあるいは両方ともである」ということは本当だ」ということは誤りな」物があるならばあの産科学は塗り込む fact5: 仮に何らかの物が御入らないならばそれが塗り込むしその上健康手帳である fact6: もしも「このエマルジョンは御入らなくてそれに健康手帳でない」ということは成り立たないならばこの水垢離は御事績でない fact7: このエマルジョンは御入るしオン／オフする fact8: もしもこのエマルジョンが健康手帳であるしその上御入るとしたらあの産科学は塗り込まない fact9: 「「御事績であるかまたは決め難い」ということは成り立つということはない」ものはある fact10: 「御事績であるかまたは決め難くないかあるいは両方ともな」ものはある fact11: 「「塗り込むかあるいは健康手帳である」ということは成り立たない」ものはある fact12: ある物は御事績でない fact13: 仮に「「御事績であるかまたは決め難くないかもしくはどちらもである」ということは偽である」ものがあるとするとこのエマルジョンは健康手帳である
fact3 & fact13 -> int1: このエマルジョンは健康手帳である; fact7 -> int2: このエマルジョンは御入る; int1 & int2 -> int3: このエマルジョンは健康手帳であるし御入る; int3 & fact8 -> hypothesis;
fact3 & fact13 -> int1: {A}{a}; fact7 -> int2: {B}{a}; int1 & int2 -> int3: ({A}{a} & {B}{a}); int3 & fact8 -> hypothesis;
あの産科学は塗り込む
fact14 -> int4: もしもあの産科学が御入らないならばそれは塗り込むしまた健康手帳である;
$facts$ = fact1: とあるものは決め難い fact2: このエマルジョンは塗り込む fact3: 「「御事績であるかもしくは決め難くないかもしくは両方ともだ」ということは成り立たない」ものはある fact4: 仮に「「「御入るかもしくは健康手帳でないかあるいは両方ともである」ということは本当だ」ということは誤りな」物があるならばあの産科学は塗り込む fact5: 仮に何らかの物が御入らないならばそれが塗り込むしその上健康手帳である fact6: もしも「このエマルジョンは御入らなくてそれに健康手帳でない」ということは成り立たないならばこの水垢離は御事績でない fact7: このエマルジョンは御入るしオン／オフする fact8: もしもこのエマルジョンが健康手帳であるしその上御入るとしたらあの産科学は塗り込まない fact9: 「「御事績であるかまたは決め難い」ということは成り立つということはない」ものはある fact10: 「御事績であるかまたは決め難くないかあるいは両方ともな」ものはある fact11: 「「塗り込むかあるいは健康手帳である」ということは成り立たない」ものはある fact12: ある物は御事績でない fact13: 仮に「「御事績であるかまたは決め難くないかもしくはどちらもである」ということは偽である」ものがあるとするとこのエマルジョンは健康手帳である ; $hypothesis$ = あの産科学は塗り込む ; $proof$ = 
fact3 & fact13 -> int1: このエマルジョンは健康手帳である; fact7 -> int2: このエマルジョンは御入る; int1 & int2 -> int3: このエマルジョンは健康手帳であるし御入る; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: とあるものは決め難い
事実2: このエマルジョンは塗り込む
事実3: 「「御事績であるかもしくは決め難くないかもしくは両方ともだ」ということは成り立たない」ものはある
事実4: 仮に「「「御入るかもしくは健康手帳でないかあるいは両方ともである」ということは本当だ」ということは誤りな」物があるならばあの産科学は塗り込む
事実5: 仮に何らかの物が御入らないならばそれが塗り込むしその上健康手帳である
事実6: もしも「このエマルジョンは御入らなくてそれに健康手帳でない」ということは成り立たないならばこの水垢離は御事績でない
事実7: このエマルジョンは御入るしオン／オフする
事実8: もしもこのエマルジョンが健康手帳であるしその上御入るとしたらあの産科学は塗り込まない
事実9: 「「御事績であるかまたは決め難い」ということは成り立つということはない」ものはある
事実10: 「御事績であるかまたは決め難くないかあるいは両方ともな」ものはある
事実11: 「「塗り込むかあるいは健康手帳である」ということは成り立たない」ものはある
事実12: ある物は御事績でない
事実13: 仮に「「御事績であるかまたは決め難くないかもしくはどちらもである」ということは偽である」ものがあるとするとこのエマルジョンは健康手帳である

仮説: あの産科学は塗り込む
1. 事実3と事実13から、推論1: "このエマルジョンは健康手帳である"が導かれる
2. 事実7から、推論2: "このエマルジョンは御入る"が導かれる
3. 推論1と推論2から、推論3: "このエマルジョンは健康手帳であるし御入る"が導かれる
4. 推論3と事実8から、仮説が否定される

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