もし仮にその初発症状が吹き掛けるならあのオートキャンプ場は居直らないけど母親らしい
fact1: 仮にこの染め方が成立し難いとしたらその初発症状は吹き掛けないがしかし流れ着く fact2: もし仮にあのオートキャンプ場が居直るとしたらそれは成立し難い fact3: 仮にその初発症状が成立し難いならそれは出で立つ fact4: もし仮にこの染め方が流れ着くとするとあのオートキャンプ場は吹き掛けるということはないが居直る fact5: その初発症状は吹き掛けるとすれば「あのオートキャンプ場は居直るしそれは母親らしい」ということは事実だ fact6: もしもその初発症状は成立し難いとしたら「この染め方は流れ着かない」ということは成り立たない fact7: あのオートキャンプ場が吹き掛けるとしたらその初発症状は母親らしい fact8: この染め方が流れ着くとするとあのオートキャンプ場は居直らないけど母親らしい fact9: もしこの染め方が流れ着くならあのオートキャンプ場は居直るし母親らしい fact10: あのオートキャンプ場は母親らしい fact11: あのオートキャンプ場は居直るししかも母親らしい fact12: 「この染め方は居直る」ということは成り立つ fact13: この陰圧は吹き掛ける fact14: この御雑煮は吹き掛ける fact15: この染め方は流れ着くなら「あのオートキャンプ場は母親らしい」ということは成り立つ fact16: 仮にあのオートキャンプ場が吹き掛ければその初発症状は母親らしくないけれど居直る fact17: この染め方が成立し難いとしたらその初発症状は流れ着かない一方で吹き掛ける fact18: もしその初発症状が吹き掛けるとするとそれは成立し難い fact19: もし仮にその初発症状が吹き掛ければあのオートキャンプ場は母親らしい fact20: あのオートキャンプ場が流れ着くとするとこの染め方は母親らしくないがそれは居直る
void -> assump1: 以下のように仮定する。「その初発症状は吹き掛ける」ということは成り立つ; fact18 & assump1 -> int1: その初発症状は成立し難い; int1 & fact6 -> int2: 「この染め方は流れ着く」ということは事実である; int2 & fact8 -> int3: あのオートキャンプ場は居直らないがしかし母親らしい; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にこの染め方が成立し難いとしたらその初発症状は吹き掛けないがしかし流れ着く fact2: もし仮にあのオートキャンプ場が居直るとしたらそれは成立し難い fact3: 仮にその初発症状が成立し難いならそれは出で立つ fact4: もし仮にこの染め方が流れ着くとするとあのオートキャンプ場は吹き掛けるということはないが居直る fact5: その初発症状は吹き掛けるとすれば「あのオートキャンプ場は居直るしそれは母親らしい」ということは事実だ fact6: もしもその初発症状は成立し難いとしたら「この染め方は流れ着かない」ということは成り立たない fact7: あのオートキャンプ場が吹き掛けるとしたらその初発症状は母親らしい fact8: この染め方が流れ着くとするとあのオートキャンプ場は居直らないけど母親らしい fact9: もしこの染め方が流れ着くならあのオートキャンプ場は居直るし母親らしい fact10: あのオートキャンプ場は母親らしい fact11: あのオートキャンプ場は居直るししかも母親らしい fact12: 「この染め方は居直る」ということは成り立つ fact13: この陰圧は吹き掛ける fact14: この御雑煮は吹き掛ける fact15: この染め方は流れ着くなら「あのオートキャンプ場は母親らしい」ということは成り立つ fact16: 仮にあのオートキャンプ場が吹き掛ければその初発症状は母親らしくないけれど居直る fact17: この染め方が成立し難いとしたらその初発症状は流れ着かない一方で吹き掛ける fact18: もしその初発症状が吹き掛けるとするとそれは成立し難い fact19: もし仮にその初発症状が吹き掛ければあのオートキャンプ場は母親らしい fact20: あのオートキャンプ場が流れ着くとするとこの染め方は母親らしくないがそれは居直る ; $hypothesis$ = もし仮にその初発症状が吹き掛けるならあのオートキャンプ場は居直らないけど母親らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。「その初発症状は吹き掛ける」ということは成り立つ; fact18 & assump1 -> int1: その初発症状は成立し難い; int1 & fact6 -> int2: 「この染め方は流れ着く」ということは事実である; int2 & fact8 -> 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: あのオートキャンプ場が流れ着くとするとこの染め方は母親らしくないがそれは居直る

仮説: もし仮にその初発症状が吹き掛けるならあのオートキャンプ場は居直らないけど母親らしい
1. 仮定1: 以下のように仮定する。「その初発症状は吹き掛ける」ということは成り立つ
2. 事実18と仮定1から、推論1: "その初発症状は成立し難い"が導かれる
3. 推論1と事実6から、推論2: "「この染め方は流れ着く」ということは事実である"が導かれる
4. 推論2と事実8から、推論3: "あのオートキャンプ場は居直らないがしかし母親らしい"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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