あの高等学校はマスコンである
fact1: あの生まれ故郷は学び得るとしたら「あの高等学校は活動し難い」ということは確かである fact2: 「「活動し難い」ということは真実である」ものはある fact3: もしなにがしかの物がマスコンであるとするとあの高等学校は学び得ない fact4: あの高等学校が呼び返すとすればあの生まれ故郷はマスコンである fact5: もしあの生まれ故郷は呼び返すとすれば「あの高等学校はマスコンだ」ということは本当だ fact6: あの成員間は分かり易い fact7: あの生まれ故郷は電動だ fact8: あの成員間が分かり易いとするとその福は心安くなくて供すない fact9: もし「あの生まれ故郷はマスコンだ」ということは本当であるならばあの高等学校は呼び返す fact10: 「マスコンな」ものがあるとすればあの生まれ故郷は呼び返すけれど学び得ない fact11: あの生まれ故郷は高砂である fact12: もしも「活動し難い」ものがあるとするとあの生まれ故郷は呼び返すけど学び得るということはない fact13: 「学び得る」ものがあるとするとあの生まれ故郷はマスコンでない fact14: もしもとある物が乗り続けるとすればそれは学び得る fact15: 「学び得る」物はある fact16: あの生まれ故郷は付き難いがしかし丸いということはない fact17: 仮に心安くないものが供すということはないならそれは乗り続ける fact18: 「活動し難い」ものがあるとしたらあの生まれ故郷は学び得ない fact19: あの生まれ故郷はマスコンでない
fact2 & fact12 -> int1: あの生まれ故郷は呼び返すが学び得ない; int1 -> int2: あの生まれ故郷は呼び返す; int2 & fact5 -> hypothesis;
あの高等学校はマスコンでない
fact22 -> int3: 仮に「その福は乗り続ける」ということは正しいなら学び得る; fact23 -> int4: もしもその福が心安くなくてしかも供すないとすれば乗り続ける; fact21 & fact20 -> int5: その福は心安いということはなくておまけに供すない; int4 & int5 -> int6: その福は乗り続ける; int3 & int6 -> int7: その福は学び得る; int7 -> int8: 「学び得る」物はある;
$facts$ = fact1: あの生まれ故郷は学び得るとしたら「あの高等学校は活動し難い」ということは確かである fact2: 「「活動し難い」ということは真実である」ものはある fact3: もしなにがしかの物がマスコンであるとするとあの高等学校は学び得ない fact4: あの高等学校が呼び返すとすればあの生まれ故郷はマスコンである fact5: もしあの生まれ故郷は呼び返すとすれば「あの高等学校はマスコンだ」ということは本当だ fact6: あの成員間は分かり易い fact7: あの生まれ故郷は電動だ fact8: あの成員間が分かり易いとするとその福は心安くなくて供すない fact9: もし「あの生まれ故郷はマスコンだ」ということは本当であるならばあの高等学校は呼び返す fact10: 「マスコンな」ものがあるとすればあの生まれ故郷は呼び返すけれど学び得ない fact11: あの生まれ故郷は高砂である fact12: もしも「活動し難い」ものがあるとするとあの生まれ故郷は呼び返すけど学び得るということはない fact13: 「学び得る」ものがあるとするとあの生まれ故郷はマスコンでない fact14: もしもとある物が乗り続けるとすればそれは学び得る fact15: 「学び得る」物はある fact16: あの生まれ故郷は付き難いがしかし丸いということはない fact17: 仮に心安くないものが供すということはないならそれは乗り続ける fact18: 「活動し難い」ものがあるとしたらあの生まれ故郷は学び得ない fact19: あの生まれ故郷はマスコンでない ; $hypothesis$ = あの高等学校はマスコンである ; $proof$ = 
fact2 & fact12 -> int1: あの生まれ故郷は呼び返すが学び得ない; int1 -> int2: あの生まれ故郷は呼び返す; int2 & fact5 -> hypothesis; __PROVED__
事実1: あの生まれ故郷は学び得るとしたら「あの高等学校は活動し難い」ということは確かである
事実2: 「「活動し難い」ということは真実である」ものはある
事実3: もしなにがしかの物がマスコンであるとするとあの高等学校は学び得ない
事実4: あの高等学校が呼び返すとすればあの生まれ故郷はマスコンである
事実5: もしあの生まれ故郷は呼び返すとすれば「あの高等学校はマスコンだ」ということは本当だ
事実6: あの成員間は分かり易い
事実7: あの生まれ故郷は電動だ
事実8: あの成員間が分かり易いとするとその福は心安くなくて供すない
事実9: もし「あの生まれ故郷はマスコンだ」ということは本当であるならばあの高等学校は呼び返す
事実10: 「マスコンな」ものがあるとすればあの生まれ故郷は呼び返すけれど学び得ない
事実11: あの生まれ故郷は高砂である
事実12: もしも「活動し難い」ものがあるとするとあの生まれ故郷は呼び返すけど学び得るということはない
事実13: 「学び得る」ものがあるとするとあの生まれ故郷はマスコンでない
事実14: もしもとある物が乗り続けるとすればそれは学び得る
事実15: 「学び得る」物はある
事実16: あの生まれ故郷は付き難いがしかし丸いということはない
事実17: 仮に心安くないものが供すということはないならそれは乗り続ける
事実18: 「活動し難い」ものがあるとしたらあの生まれ故郷は学び得ない
事実19: あの生まれ故郷はマスコンでない

仮説: あの高等学校はマスコンである
1. 事実2と事実12から、推論1: "あの生まれ故郷は呼び返すが学び得ない"が導かれる
2. 推論1から、推論2: "あの生まれ故郷は呼び返す"が導かれる
3. 推論2と事実5から、仮説が導かれる

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