「熱し易い」ものはある
fact1: あの物的証拠は桃山時代以降で加えて赤い fact2: この頓服薬は愛し続ける fact3: あの銀行以外は気持ち良い fact4: もしもその転移反応が青っぽくないしさらに愛し続けないとすれば第一層である fact5: その国語教育学会は目標間であるしそれに第一層だ fact6: もし仮に「「際しないし更に直走らない」ということは成り立たない」ものがあるならばあの国語教育学会は目標間であるということはない fact7: この訓戒は価格レンジであるし投稿出来る fact8: あの物的証拠は青っぽくない fact9: もしも「気持ち良い」物はあるなら「「このコンマは愛し続けるかそれは第一層だ」ということは間違っている」ということは成り立つ fact10: あの物的証拠が愛し続けるとするとその転移反応は青っぽくない fact11: 仮に「「愛し続けるか第一層であるかもしくはどちらもである」ということは成り立たない」物があるとするとその国語教育学会は熱し易くない fact12: あの物的証拠は愛し続ける fact13: あの物的証拠は無い無い尽くしである fact14: もしもあの物的証拠は目標間だとすると「その国語教育学会は特化しないし加えて清くない」ということは誤りだ fact15: もしもその転移反応は際しなくて青っぽくないとすれば熱し易い fact16: 「「愛し続けなくて第一層でない」ということは誤っている」物はある fact17: 「「愛し続けなくて際しない」ということは事実と異なる」ものはある
void -> assump1: 以下のように仮定する。「その転移反応は際するということはないしかつそれは直走らない」ということは成り立たない; assump1 -> int1: 「「際しないし直走るということはない」ということは間違いである」物はある; int1 & fact6 -> int2: その国語教育学会は目標間でない; fact5 -> int3: その国語教育学会は目標間だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その転移反応は際するということはないし加えてそれは直走らない; int5 -> int6: その転移反応は際しない; fact12 & fact10 -> int7: その転移反応は青っぽくない; int6 & int7 -> int8: その転移反応は際するということはなくてまたそれは青っぽくない; int8 & fact15 -> int9: その転移反応は熱し易い; int9 -> hypothesis;
「「特化しなくて加えて清いということはない」ということは間違いである」ものはある
$facts$ = fact1: あの物的証拠は桃山時代以降で加えて赤い fact2: この頓服薬は愛し続ける fact3: あの銀行以外は気持ち良い fact4: もしもその転移反応が青っぽくないしさらに愛し続けないとすれば第一層である fact5: その国語教育学会は目標間であるしそれに第一層だ fact6: もし仮に「「際しないし更に直走らない」ということは成り立たない」ものがあるならばあの国語教育学会は目標間であるということはない fact7: この訓戒は価格レンジであるし投稿出来る fact8: あの物的証拠は青っぽくない fact9: もしも「気持ち良い」物はあるなら「「このコンマは愛し続けるかそれは第一層だ」ということは間違っている」ということは成り立つ fact10: あの物的証拠が愛し続けるとするとその転移反応は青っぽくない fact11: 仮に「「愛し続けるか第一層であるかもしくはどちらもである」ということは成り立たない」物があるとするとその国語教育学会は熱し易くない fact12: あの物的証拠は愛し続ける fact13: あの物的証拠は無い無い尽くしである fact14: もしもあの物的証拠は目標間だとすると「その国語教育学会は特化しないし加えて清くない」ということは誤りだ fact15: もしもその転移反応は際しなくて青っぽくないとすれば熱し易い fact16: 「「愛し続けなくて第一層でない」ということは誤っている」物はある fact17: 「「愛し続けなくて際しない」ということは事実と異なる」ものはある ; $hypothesis$ = 「熱し易い」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。「その転移反応は際するということはないしかつそれは直走らない」ということは成り立たない; assump1 -> int1: 「「際しないし直走るということはない」ということは間違いである」物はある; int1 & fact6 -> int2: その国語教育学会は目標間でない; fact5 -> int3: その国語教育学会は目標間だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その転移反応は際するということはないし加えてそれは直走らない; int5 -> int6: その転移反応は際しない; fact12 & fact10 -> int7: その転移反応は青っぽくない; int6 & int7 -> int8: その転移反応は際するということはなくてまたそれは青っぽくない; int8 & fact15 -> int9: その転移反応は熱し易い; int9 -> hypothesis; __PROVED__
事実1: あの物的証拠は桃山時代以降で加えて赤い
事実2: この頓服薬は愛し続ける
事実3: あの銀行以外は気持ち良い
事実4: もしもその転移反応が青っぽくないしさらに愛し続けないとすれば第一層である
事実5: その国語教育学会は目標間であるしそれに第一層だ
事実6: もし仮に「「際しないし更に直走らない」ということは成り立たない」ものがあるならばあの国語教育学会は目標間であるということはない
事実7: この訓戒は価格レンジであるし投稿出来る
事実8: あの物的証拠は青っぽくない
事実9: もしも「気持ち良い」物はあるなら「「このコンマは愛し続けるかそれは第一層だ」ということは間違っている」ということは成り立つ
事実10: あの物的証拠が愛し続けるとするとその転移反応は青っぽくない
事実11: 仮に「「愛し続けるか第一層であるかもしくはどちらもである」ということは成り立たない」物があるとするとその国語教育学会は熱し易くない
事実12: あの物的証拠は愛し続ける
事実13: あの物的証拠は無い無い尽くしである
事実14: もしもあの物的証拠は目標間だとすると「その国語教育学会は特化しないし加えて清くない」ということは誤りだ
事実15: もしもその転移反応は際しなくて青っぽくないとすれば熱し易い
事実16: 「「愛し続けなくて第一層でない」ということは誤っている」物はある
事実17: 「「愛し続けなくて際しない」ということは事実と異なる」ものはある

仮説: 「熱し易い」ものはある
1. 仮定1: 以下のように仮定する。「その転移反応は際するということはないしかつそれは直走らない」ということは成り立たない
2. 仮定1から、推論1: "「「際しないし直走るということはない」ということは間違いである」物はある"が導かれる
3. 推論1と事実6から、推論2: "その国語教育学会は目標間でない"が導かれる
4. 事実5から、推論3: "その国語教育学会は目標間だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その転移反応は際するということはないし加えてそれは直走らない"が導かれる
7. 推論5から、推論6: "その転移反応は際しない"が導かれる
8. 事実12と事実10から、推論7: "その転移反応は青っぽくない"が導かれる
9. 推論6と推論7から、推論8: "その転移反応は際するということはなくてまたそれは青っぽくない"が導かれる
10. 推論8と事実15から、推論9: "その転移反応は熱し易い"が導かれる
11. 推論9から、仮説が導かれる

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