もしもこの奴さんは消し去るとすれば「その山水は購入方法だ」ということは正しい
fact1: 「母親らしくない物は薄青い」ということは本当である fact2: もしこの奴さんが転じるということはないならそれは消し去らない fact3: もしもこの奴さんが転じないとすれば消し去る fact4: 「「その山水は母親らしくないけれどそれは陰気臭い」ということは間違っているとするとこの奴さんは母親らしくない」ということは事実である fact5: もしこの奴さんが転じればその山水は購入方法である fact6: もし購入方法が転じるとすれば消し去らない fact7: もしも「あるものはコンセントアダプタだが解せらない」ということは確かでないとするとそれは素晴らしない fact8: もしもその講習会は飛び退くなら「その山水は母親らしくないけれど陰気臭い」ということは確かでない fact9: この奴さんは食いちぎる fact10: 「その山水は転じない」ということは正しい fact11: もし仮に何らかのものは自己注射でないなら「コンセントアダプタでしかも解せらない」ということは成り立つということはない fact12: 「何もかもは飛び退くしそれに鍛造である」ということは真実である fact13: この奴さんがコンセントアダプタでないし消し去らないとすればその事前届け出は消し去らない fact14: その山水は消し去る fact15: もしその山水が転じればこの奴さんは購入方法である fact16: 仮にこの奴さんが取り上げないがしかしそれが自己注射であるとすればその自由派は自己注射でない fact17: 仮にこの奴さんが購入方法ならその山水は消し去る fact18: 素晴らしということはない物は購入方法だし転じる fact19: なんらかのものが薄青いならばそれは取り上げないしまた自己注射だ
void -> assump1: 以下のように仮定する。この奴さんは転じない; fact2 & assump1 -> int1: 「この奴さんは消し去らない」ということは正しい; void -> assump2: 以下のように仮定する。この奴さんは消し去る; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この奴さんは転じる; int3 & fact5 -> int4: その山水は購入方法だ; [assump2] & int4 -> hypothesis;
その事前届け出は購入方法だ
$facts$ = fact1: 「母親らしくない物は薄青い」ということは本当である fact2: もしこの奴さんが転じるということはないならそれは消し去らない fact3: もしもこの奴さんが転じないとすれば消し去る fact4: 「「その山水は母親らしくないけれどそれは陰気臭い」ということは間違っているとするとこの奴さんは母親らしくない」ということは事実である fact5: もしこの奴さんが転じればその山水は購入方法である fact6: もし購入方法が転じるとすれば消し去らない fact7: もしも「あるものはコンセントアダプタだが解せらない」ということは確かでないとするとそれは素晴らしない fact8: もしもその講習会は飛び退くなら「その山水は母親らしくないけれど陰気臭い」ということは確かでない fact9: この奴さんは食いちぎる fact10: 「その山水は転じない」ということは正しい fact11: もし仮に何らかのものは自己注射でないなら「コンセントアダプタでしかも解せらない」ということは成り立つということはない fact12: 「何もかもは飛び退くしそれに鍛造である」ということは真実である fact13: この奴さんがコンセントアダプタでないし消し去らないとすればその事前届け出は消し去らない fact14: その山水は消し去る fact15: もしその山水が転じればこの奴さんは購入方法である fact16: 仮にこの奴さんが取り上げないがしかしそれが自己注射であるとすればその自由派は自己注射でない fact17: 仮にこの奴さんが購入方法ならその山水は消し去る fact18: 素晴らしということはない物は購入方法だし転じる fact19: なんらかのものが薄青いならばそれは取り上げないしまた自己注射だ ; $hypothesis$ = もしもこの奴さんは消し去るとすれば「その山水は購入方法だ」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この奴さんは転じない; fact2 & assump1 -> int1: 「この奴さんは消し去らない」ということは正しい; void -> assump2: 以下のように仮定する。この奴さんは消し去る; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この奴さんは転じる; int3 & fact5 -> int4: その山水は購入方法だ; [assump2] & int4 -> hypothesis; __PROVED__
事実1: 「母親らしくない物は薄青い」ということは本当である
事実2: もしこの奴さんが転じるということはないならそれは消し去らない
事実3: もしもこの奴さんが転じないとすれば消し去る
事実4: 「「その山水は母親らしくないけれどそれは陰気臭い」ということは間違っているとするとこの奴さんは母親らしくない」ということは事実である
事実5: もしこの奴さんが転じればその山水は購入方法である
事実6: もし購入方法が転じるとすれば消し去らない
事実7: もしも「あるものはコンセントアダプタだが解せらない」ということは確かでないとするとそれは素晴らしない
事実8: もしもその講習会は飛び退くなら「その山水は母親らしくないけれど陰気臭い」ということは確かでない
事実9: この奴さんは食いちぎる
事実10: 「その山水は転じない」ということは正しい
事実11: もし仮に何らかのものは自己注射でないなら「コンセントアダプタでしかも解せらない」ということは成り立つということはない
事実12: 「何もかもは飛び退くしそれに鍛造である」ということは真実である
事実13: この奴さんがコンセントアダプタでないし消し去らないとすればその事前届け出は消し去らない
事実14: その山水は消し去る
事実15: もしその山水が転じればこの奴さんは購入方法である
事実16: 仮にこの奴さんが取り上げないがしかしそれが自己注射であるとすればその自由派は自己注射でない
事実17: 仮にこの奴さんが購入方法ならその山水は消し去る
事実18: 素晴らしということはない物は購入方法だし転じる
事実19: なんらかのものが薄青いならばそれは取り上げないしまた自己注射だ

仮説: もしもこの奴さんは消し去るとすれば「その山水は購入方法だ」ということは正しい
1. 仮定1: 以下のように仮定する。この奴さんは転じない
2. 事実2と仮定1から、推論1: "「この奴さんは消し去らない」ということは正しい"が導かれる
3. 仮定2: 以下のように仮定する。この奴さんは消し去る
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この奴さんは転じる"が導かれる
6. 推論3と事実5から、推論4: "その山水は購入方法だ"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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