もしこの茶道がぶつかり合わないとすればあの専門大学は何世代である
fact1: もし仮にこの茶道が何世代でないならばそれはぶつかり合うかもしくはそれは忍び難いかまたは両方ともである fact2: この茶道がぶつかり合えば体得出来るかそれは忍び難いかまたは両方だ fact3: もし仮にこの国際空港がぶつかり合うならばあの茶道は痛み易い fact4: もしこの子犬が有るらしいならこの国際空港は痛み易い fact5: 「この茶道は忍び難い」ということは本当であるとすると「この子犬は有るらしい」ということは真実だ fact6: 仮にこの子犬は何世代だとすると「あの専門大学は有るらしい」ということは成り立つ fact7: もし仮にこの茶道が浅ましいということはないとすればそれは姉らしいかまたは忍び難い fact8: この国際空港は忍び難い fact9: 仮にこの子犬がぶつかり合うとするとこの茶道は有るらしい fact10: この国際空港が痛み易いとしたらあの専門大学は何世代だ fact11: この子犬は体得出来ない fact12: この子犬はぶつかり合う fact13: もしこの茶道がぶつかり合うならばあの専門大学は何世代である fact14: あの専門大学はぶつかり合う fact15: もしもこの茶道がぶつかり合わないとすればそれは体得出来るかもしくは忍び難いかあるいは両方ともだ fact16: もしこの茶道が痛み易くないならばあの国際空港は有るらしくないけれどぶつかり合う fact17: もし仮にこの茶道が体得出来るとすればこの子犬は有るらしい
void -> assump1: 以下のように仮定する。この茶道はぶつかり合わない; fact15 & assump1 -> int1: この茶道は体得出来るかあるいは忍び難いかもしくはどちらもだ; int1 & fact17 & fact5 -> int2: この子犬は有るらしい; int2 & fact4 -> int3: この国際空港は痛み易い; int3 & fact10 -> int4: あの専門大学は何世代だ; [assump1] & int4 -> hypothesis;
この国際空港はぶつかり合う
$facts$ = fact1: もし仮にこの茶道が何世代でないならばそれはぶつかり合うかもしくはそれは忍び難いかまたは両方ともである fact2: この茶道がぶつかり合えば体得出来るかそれは忍び難いかまたは両方だ fact3: もし仮にこの国際空港がぶつかり合うならばあの茶道は痛み易い fact4: もしこの子犬が有るらしいならこの国際空港は痛み易い fact5: 「この茶道は忍び難い」ということは本当であるとすると「この子犬は有るらしい」ということは真実だ fact6: 仮にこの子犬は何世代だとすると「あの専門大学は有るらしい」ということは成り立つ fact7: もし仮にこの茶道が浅ましいということはないとすればそれは姉らしいかまたは忍び難い fact8: この国際空港は忍び難い fact9: 仮にこの子犬がぶつかり合うとするとこの茶道は有るらしい fact10: この国際空港が痛み易いとしたらあの専門大学は何世代だ fact11: この子犬は体得出来ない fact12: この子犬はぶつかり合う fact13: もしこの茶道がぶつかり合うならばあの専門大学は何世代である fact14: あの専門大学はぶつかり合う fact15: もしもこの茶道がぶつかり合わないとすればそれは体得出来るかもしくは忍び難いかあるいは両方ともだ fact16: もしこの茶道が痛み易くないならばあの国際空港は有るらしくないけれどぶつかり合う fact17: もし仮にこの茶道が体得出来るとすればこの子犬は有るらしい ; $hypothesis$ = もしこの茶道がぶつかり合わないとすればあの専門大学は何世代である ; $proof$ = 
void -> assump1: 以下のように仮定する。この茶道はぶつかり合わない; fact15 & assump1 -> int1: この茶道は体得出来るかあるいは忍び難いかもしくはどちらもだ; int1 & fact17 & fact5 -> int2: この子犬は有るらしい; int2 & fact4 -> int3: この国際空港は痛み易い; int3 & fact10 -> int4: あの専門大学は何世代だ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの茶道が何世代でないならばそれはぶつかり合うかもしくはそれは忍び難いかまたは両方ともである
事実2: この茶道がぶつかり合えば体得出来るかそれは忍び難いかまたは両方だ
事実3: もし仮にこの国際空港がぶつかり合うならばあの茶道は痛み易い
事実4: もしこの子犬が有るらしいならこの国際空港は痛み易い
事実5: 「この茶道は忍び難い」ということは本当であるとすると「この子犬は有るらしい」ということは真実だ
事実6: 仮にこの子犬は何世代だとすると「あの専門大学は有るらしい」ということは成り立つ
事実7: もし仮にこの茶道が浅ましいということはないとすればそれは姉らしいかまたは忍び難い
事実8: この国際空港は忍び難い
事実9: 仮にこの子犬がぶつかり合うとするとこの茶道は有るらしい
事実10: この国際空港が痛み易いとしたらあの専門大学は何世代だ
事実11: この子犬は体得出来ない
事実12: この子犬はぶつかり合う
事実13: もしこの茶道がぶつかり合うならばあの専門大学は何世代である
事実14: あの専門大学はぶつかり合う
事実15: もしもこの茶道がぶつかり合わないとすればそれは体得出来るかもしくは忍び難いかあるいは両方ともだ
事実16: もしこの茶道が痛み易くないならばあの国際空港は有るらしくないけれどぶつかり合う
事実17: もし仮にこの茶道が体得出来るとすればこの子犬は有るらしい

仮説: もしこの茶道がぶつかり合わないとすればあの専門大学は何世代である
1. 仮定1: 以下のように仮定する。この茶道はぶつかり合わない
2. 事実15と仮定1から、推論1: "この茶道は体得出来るかあるいは忍び難いかもしくはどちらもだ"が導かれる
3. 推論1と事実17と事実5から、推論2: "この子犬は有るらしい"が導かれる
4. 推論2と事実4から、推論3: "この国際空港は痛み易い"が導かれる
5. 推論3と事実10から、推論4: "あの専門大学は何世代だ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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