その御盆休みは特殊技術である
fact1: 活動し易いものは臭い fact2: 「もし仮にその御盆休みがたわいなくないとすればこの茶運び人形は特殊技術であるしおまけに度し難い」ということは成り立つ fact3: 仮に「その擬装民主主義はたわいないしまた度し難い」ということは真実でないならその御盆休みは特殊技術でない fact4: もしもなにかは攻略出来るけどそれが支障無くないならばそれは再録する fact5: 仮に「何かは臭くないしさらに溶け易くない」ということは誤っているとすればモーブファクターである fact6: その職務記述書は活動し易くて思いする fact7: もし仮にその御盆休みがたわいないならそれは度し難い fact8: その御盆休みは見張る fact9: その職務記述書は支障無くない fact10: もし仮に支障無い物は攻略出来るとしたら「その御盆休みは再録する」ということは成り立つ fact11: もしある物はモーブファクターでないかもしくは販売期間夏限定であるかまたは両方であるとすれば販売期間夏限定だ fact12: もしも「再録するし臭い」物があるとしたらこの本人確認手続きは溶け易い fact13: もし仮にこの本人確認手続きが溶け易いとすればそのナルミズ沢はモーブファクターでないかもしくは販売期間夏限定であるかもしくはどちらもだ fact14: もしもとあるものは再録するとすると「それは臭くないし溶け易くない」ということは嘘である fact15: すべては歯磨き剤であるしそれは攻略出来る fact16: 「支障無いしその上攻略出来る」ものはある fact17: あの高ナトリウム血症はたわいない fact18: もし何かは引き難いとすれば「意地悪くないし加えて販売期間夏限定でない」ということは偽だ fact19: その御盆休みはたわいない fact20: もしなんらかの物はモーブファクターであるとすると引き難い fact21: もし仮にその御盆休みは特殊技術でないならばそれは度し難くない fact22: もしも「意地悪くない」物はあるとすれば「その擬装民主主義はたわいなくておまけに度し難い」ということは間違いだ fact23: もしも「なんらかの物は販売期間夏限定である」ということは本当ならば「それは意地悪いが引き難くない」ということは偽だ
void -> assump1: 以下のように仮定する。その御盆休みは特殊技術だということはない; fact21 & assump1 -> int1: その御盆休みは度し難くない; fact19 & fact7 -> int2: その御盆休みは度し難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact21 & assump1 -> int1: ¬{B}{a}; fact19 & fact7 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この茶運び人形は特殊技術である
fact30 -> int4: もし仮にその御盆休みは引き難いとしたら「意地悪いということはないし加えて販売期間夏限定であるということはない」ということは成り立たない; fact28 -> int5: もし仮に「その御盆休みはモーブファクターである」ということは事実だとするとそれは引き難い; fact27 -> int6: 仮に「その御盆休みが臭くなくてその上溶け易いということはない」ということは成り立たないとしたらモーブファクターだ; fact25 -> int7: もしも「その御盆休みは再録する」ということは事実だとしたら「それは臭くなくて溶け易くない」ということは誤っている; fact29 & fact26 -> int8: その御盆休みは再録する; int7 & int8 -> int9: 「その御盆休みは臭くないししかも溶け易くない」ということは誤りである; int6 & int9 -> int10: その御盆休みはモーブファクターである; int5 & int10 -> int11: その御盆休みは引き難い; int4 & int11 -> int12: 「その御盆休みは意地悪くないしそれは販売期間夏限定でない」ということは成り立つということはない;
$facts$ = fact1: 活動し易いものは臭い fact2: 「もし仮にその御盆休みがたわいなくないとすればこの茶運び人形は特殊技術であるしおまけに度し難い」ということは成り立つ fact3: 仮に「その擬装民主主義はたわいないしまた度し難い」ということは真実でないならその御盆休みは特殊技術でない fact4: もしもなにかは攻略出来るけどそれが支障無くないならばそれは再録する fact5: 仮に「何かは臭くないしさらに溶け易くない」ということは誤っているとすればモーブファクターである fact6: その職務記述書は活動し易くて思いする fact7: もし仮にその御盆休みがたわいないならそれは度し難い fact8: その御盆休みは見張る fact9: その職務記述書は支障無くない fact10: もし仮に支障無い物は攻略出来るとしたら「その御盆休みは再録する」ということは成り立つ fact11: もしある物はモーブファクターでないかもしくは販売期間夏限定であるかまたは両方であるとすれば販売期間夏限定だ fact12: もしも「再録するし臭い」物があるとしたらこの本人確認手続きは溶け易い fact13: もし仮にこの本人確認手続きが溶け易いとすればそのナルミズ沢はモーブファクターでないかもしくは販売期間夏限定であるかもしくはどちらもだ fact14: もしもとあるものは再録するとすると「それは臭くないし溶け易くない」ということは嘘である fact15: すべては歯磨き剤であるしそれは攻略出来る fact16: 「支障無いしその上攻略出来る」ものはある fact17: あの高ナトリウム血症はたわいない fact18: もし何かは引き難いとすれば「意地悪くないし加えて販売期間夏限定でない」ということは偽だ fact19: その御盆休みはたわいない fact20: もしなんらかの物はモーブファクターであるとすると引き難い fact21: もし仮にその御盆休みは特殊技術でないならばそれは度し難くない fact22: もしも「意地悪くない」物はあるとすれば「その擬装民主主義はたわいなくておまけに度し難い」ということは間違いだ fact23: もしも「なんらかの物は販売期間夏限定である」ということは本当ならば「それは意地悪いが引き難くない」ということは偽だ ; $hypothesis$ = その御盆休みは特殊技術である ; $proof$ = 
void -> assump1: 以下のように仮定する。その御盆休みは特殊技術だということはない; fact21 & assump1 -> int1: その御盆休みは度し難くない; fact19 & fact7 -> int2: その御盆休みは度し難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 活動し易いものは臭い
事実2: 「もし仮にその御盆休みがたわいなくないとすればこの茶運び人形は特殊技術であるしおまけに度し難い」ということは成り立つ
事実3: 仮に「その擬装民主主義はたわいないしまた度し難い」ということは真実でないならその御盆休みは特殊技術でない
事実4: もしもなにかは攻略出来るけどそれが支障無くないならばそれは再録する
事実5: 仮に「何かは臭くないしさらに溶け易くない」ということは誤っているとすればモーブファクターである
事実6: その職務記述書は活動し易くて思いする
事実7: もし仮にその御盆休みがたわいないならそれは度し難い
事実8: その御盆休みは見張る
事実9: その職務記述書は支障無くない
事実10: もし仮に支障無い物は攻略出来るとしたら「その御盆休みは再録する」ということは成り立つ
事実11: もしある物はモーブファクターでないかもしくは販売期間夏限定であるかまたは両方であるとすれば販売期間夏限定だ
事実12: もしも「再録するし臭い」物があるとしたらこの本人確認手続きは溶け易い
事実13: もし仮にこの本人確認手続きが溶け易いとすればそのナルミズ沢はモーブファクターでないかもしくは販売期間夏限定であるかもしくはどちらもだ
事実14: もしもとあるものは再録するとすると「それは臭くないし溶け易くない」ということは嘘である
事実15: すべては歯磨き剤であるしそれは攻略出来る
事実16: 「支障無いしその上攻略出来る」ものはある
事実17: あの高ナトリウム血症はたわいない
事実18: もし何かは引き難いとすれば「意地悪くないし加えて販売期間夏限定でない」ということは偽だ
事実19: その御盆休みはたわいない
事実20: もしなんらかの物はモーブファクターであるとすると引き難い
事実21: もし仮にその御盆休みは特殊技術でないならばそれは度し難くない
事実22: もしも「意地悪くない」物はあるとすれば「その擬装民主主義はたわいなくておまけに度し難い」ということは間違いだ
事実23: もしも「なんらかの物は販売期間夏限定である」ということは本当ならば「それは意地悪いが引き難くない」ということは偽だ

仮説: その御盆休みは特殊技術である
1. 仮定1: 以下のように仮定する。その御盆休みは特殊技術だということはない
2. 事実21と仮定1から、推論1: "その御盆休みは度し難くない"が導かれる
3. 事実19と事実7から、推論2: "その御盆休みは度し難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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