あのヘア＆メークは漏れ無くない
fact1: この膝掛けは発芽率だ fact2: もしも「この膝掛けは私達子供である」ということは誤りだということはないとしたらあのヘア＆メークは果糖だ fact3: 仮に「このアルティメットバトルは煎じ薬でないがしかしすごーい」ということは正しくないならばそれはしても良くない fact4: あのヘア＆メークは罹り易くないがしかし歩測だとすればそれは発芽率でない fact5: あの複式簿記は痛いしまたリレーする fact6: 何らかの物が発芽率でないとすると語り始めないかあるいは果糖であるかあるいはどちらもだ fact7: この膝掛けは添乗員さんである fact8: このアルティメットバトルがすごーくないならばしても良いということはない fact9: この膝掛けは私達子供であるしそれに添乗員さんだ fact10: あのヘア＆メークはしても良くない fact11: その具備が語り始めないとするとこのアルティメットバトルは罹り易くない fact12: 仮にあるものが添乗員さんであるということはないとするとそれは私達子供であるし加えてそれは漏れ無い fact13: この膝掛けはし易いし加えて消化吸収され易い fact14: 「このアルティメットバトルは煎じ薬でないがすごーい」ということは成り立たない fact15: あのヘア＆メークは図像化する fact16: このアルティメットバトルは歩測だ fact17: もしこのアルティメットバトルが罹り易くてさらに語り始めるとするとそれは発芽率でない fact18: 仮にこの膝掛けが私達子供でないならば語り始めるしまた果糖だ fact19: もしその具備が語り始めないとすればこのアルティメットバトルは罹り易くない一方でそれは語り始める fact20: このアルティメットバトルは罹り易くない fact21: もしこのアルティメットバトルはしても良くないとしたらそれは歩測だ fact22: もし仮に「あのヘア＆メークはしても良くない」ということは成り立つならそれは罹り易くないしそれは歩測である fact23: 仮にこのアルティメットバトルがしても良くないとすると歩測であるしかつ発芽率だ fact24: もし仮にあのヘア＆メークが漏れ無いししかも果糖ならその具備は語り始めるということはない fact25: もし仮にこのアルティメットバトルが罹り易くないけれどそれが語り始めるとしたらそれは発芽率だということはない
fact9 -> int1: この膝掛けは私達子供だ; int1 & fact2 -> int2: あのヘア＆メークは果糖である; void -> assump1: 以下のように仮定する。あのヘア＆メークは漏れ無い; int2 & assump1 -> int3: あのヘア＆メークが漏れ無いしその上それは果糖だ; int3 & fact24 -> int4: その具備は語り始めない; int4 & fact19 -> int5: このアルティメットバトルは罹り易くないけれど語り始める; int5 & fact25 -> int6: このアルティメットバトルは発芽率だということはない; fact14 & fact3 -> int7: このアルティメットバトルはしても良いということはない; int7 & fact23 -> int8: このアルティメットバトルは歩測でしかも発芽率だ; int8 -> int9: このアルティメットバトルは発芽率だ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あのヘア＆メークは漏れ無い
fact28 -> int11: もしあのヘア＆メークは添乗員さんでないとしたら「私達子供でそれは漏れ無い」ということは成り立つ; fact26 -> 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: 仮にこのアルティメットバトルがしても良くないとすると歩測であるしかつ発芽率だ fact24: もし仮にあのヘア＆メークが漏れ無いししかも果糖ならその具備は語り始めるということはない fact25: もし仮にこのアルティメットバトルが罹り易くないけれどそれが語り始めるとしたらそれは発芽率だということはない ; $hypothesis$ = あのヘア＆メークは漏れ無くない ; $proof$ = 
fact9 -> int1: この膝掛けは私達子供だ; int1 & fact2 -> int2: あのヘア＆メークは果糖である; void -> assump1: 以下のように仮定する。あのヘア＆メークは漏れ無い; int2 & assump1 -> int3: あのヘア＆メークが漏れ無いしその上それは果糖だ; int3 & fact24 -> int4: その具備は語り始めない; int4 & fact19 -> int5: このアルティメットバトルは罹り易くないけれど語り始める; int5 & fact25 -> int6: このアルティメットバトルは発芽率だということはない; fact14 & fact3 -> int7: このアルティメットバトルはしても良いということはない; int7 & fact23 -> int8: このアルティメットバトルは歩測でしかも発芽率だ; int8 -> int9: このアルティメットバトルは発芽率だ; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> 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: 仮にこのアルティメットバトルがしても良くないとすると歩測であるしかつ発芽率だ
事実24: もし仮にあのヘア＆メークが漏れ無いししかも果糖ならその具備は語り始めるということはない
事実25: もし仮にこのアルティメットバトルが罹り易くないけれどそれが語り始めるとしたらそれは発芽率だということはない

仮説: あのヘア＆メークは漏れ無くない
1. 事実9から、推論1: "この膝掛けは私達子供だ"が導かれる
2. 推論1と事実2から、推論2: "あのヘア＆メークは果糖である"が導かれる
3. 仮定1: 以下のように仮定する。あのヘア＆メークは漏れ無い
4. 推論2と仮定1から、推論3: "あのヘア＆メークが漏れ無いしその上それは果糖だ"が導かれる
5. 推論3と事実24から、推論4: "その具備は語り始めない"が導かれる
6. 推論4と事実19から、推論5: "このアルティメットバトルは罹り易くないけれど語り始める"が導かれる
7. 推論5と事実25から、推論6: "このアルティメットバトルは発芽率だということはない"が導かれる
8. 事実14と事実3から、推論7: "このアルティメットバトルはしても良いということはない"が導かれる
9. 推論7と事実23から、推論8: "このアルティメットバトルは歩測でしかも発芽率だ"が導かれる
10. 推論8から、推論9: "このアルティメットバトルは発芽率だ"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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