この対日はひ弱い
fact1: もしこの長田新が熱っぽいとしたらこの対日はひ弱い fact2: あの亀はひ弱い fact3: 仮にこの散乱光が教育訓練機関でないとするとこの対日は緊密化しないしその上著者達でない fact4: もしこの長田新は熱っぽくないし文末でないなら「きもくない」ということは事実だ fact5: 「「共同債務者でなくて動揺し易い」ということは成り立たない」ものはある fact6: もし仮にこの散乱光が文末ならばきもくないしひ弱くない fact7: もし仮に「教育訓練機関だしおまけに著者達な」ものがあるならあの遅刻指導は緊密化しない fact8: もし仮にこの長田新がきもいとすればこの対日はひ弱い fact9: もしも何かは緊密化しなくて著者達でないならそれはひ弱いということはない fact10: もしなんらかの物は教育訓練機関であるか乳臭いか両方ともだとしたらきもくない fact11: この土気色は緊密化する fact12: もし仮に「この散乱光は緊密化する」ということは成り立つとしたらあの亀は著者達である fact13: 「もし仮に「「共同債務者でないしさらに動揺し易い」ということは成り立つということはない」物があるとしたらこの散乱光は熱っぽい」ということは成り立つ fact14: もしあの亀はきもくないならこの長田新は熱っぽいかもしくはきもい fact15: この散乱光は文末であるし更に自決だ fact16: この散乱光は緊密化する fact17: 著者達は教育訓練機関である fact18: 共同債務者は熱っぽいということはないし加えて文末でない fact19: 熱っぽい物は教育訓練機関だ fact20: きもくない物は乳臭くて著者達である
fact12 & fact16 -> int1: あの亀は著者達である; fact17 -> int2: もし仮にあの亀は著者達であるならば教育訓練機関である; int1 & int2 -> int3: あの亀は教育訓練機関だ; int3 -> int4: あの亀は教育訓練機関であるかあるいはそれは乳臭いかまたは両方ともである; fact10 -> int5: もしもあの亀が教育訓練機関であるかもしくはそれは乳臭いかまたはどちらもならばきもくない; int4 & int5 -> int6: あの亀はきもくない; int6 & fact14 -> int7: この長田新は熱っぽいかまたはきもい; int7 & fact1 & fact8 -> hypothesis;
この対日はひ弱くない
fact24 -> int8: もし仮にこの対日が緊密化しないしそれに著者達でないならばそれはひ弱くない; fact22 -> int9: この長田新は共同債務者であるなら熱っぽくないし文末でない;
$facts$ = fact1: もしこの長田新が熱っぽいとしたらこの対日はひ弱い fact2: あの亀はひ弱い fact3: 仮にこの散乱光が教育訓練機関でないとするとこの対日は緊密化しないしその上著者達でない fact4: もしこの長田新は熱っぽくないし文末でないなら「きもくない」ということは事実だ fact5: 「「共同債務者でなくて動揺し易い」ということは成り立たない」ものはある fact6: もし仮にこの散乱光が文末ならばきもくないしひ弱くない fact7: もし仮に「教育訓練機関だしおまけに著者達な」ものがあるならあの遅刻指導は緊密化しない fact8: もし仮にこの長田新がきもいとすればこの対日はひ弱い fact9: もしも何かは緊密化しなくて著者達でないならそれはひ弱いということはない fact10: もしなんらかの物は教育訓練機関であるか乳臭いか両方ともだとしたらきもくない fact11: この土気色は緊密化する fact12: もし仮に「この散乱光は緊密化する」ということは成り立つとしたらあの亀は著者達である fact13: 「もし仮に「「共同債務者でないしさらに動揺し易い」ということは成り立つということはない」物があるとしたらこの散乱光は熱っぽい」ということは成り立つ fact14: もしあの亀はきもくないならこの長田新は熱っぽいかもしくはきもい fact15: この散乱光は文末であるし更に自決だ fact16: この散乱光は緊密化する fact17: 著者達は教育訓練機関である fact18: 共同債務者は熱っぽいということはないし加えて文末でない fact19: 熱っぽい物は教育訓練機関だ fact20: きもくない物は乳臭くて著者達である ; $hypothesis$ = この対日はひ弱い ; $proof$ = 
fact12 & fact16 -> int1: あの亀は著者達である; fact17 -> int2: もし仮にあの亀は著者達であるならば教育訓練機関である; int1 & int2 -> int3: あの亀は教育訓練機関だ; int3 -> int4: あの亀は教育訓練機関であるかあるいはそれは乳臭いかまたは両方ともである; fact10 -> int5: もしもあの亀が教育訓練機関であるかもしくはそれは乳臭いかまたはどちらもならばきもくない; int4 & int5 -> int6: あの亀はきもくない; int6 & fact14 -> int7: この長田新は熱っぽいかまたはきもい; int7 & fact1 & fact8 -> hypothesis; __PROVED__
事実1: もしこの長田新が熱っぽいとしたらこの対日はひ弱い
事実2: あの亀はひ弱い
事実3: 仮にこの散乱光が教育訓練機関でないとするとこの対日は緊密化しないしその上著者達でない
事実4: もしこの長田新は熱っぽくないし文末でないなら「きもくない」ということは事実だ
事実5: 「「共同債務者でなくて動揺し易い」ということは成り立たない」ものはある
事実6: もし仮にこの散乱光が文末ならばきもくないしひ弱くない
事実7: もし仮に「教育訓練機関だしおまけに著者達な」ものがあるならあの遅刻指導は緊密化しない
事実8: もし仮にこの長田新がきもいとすればこの対日はひ弱い
事実9: もしも何かは緊密化しなくて著者達でないならそれはひ弱いということはない
事実10: もしなんらかの物は教育訓練機関であるか乳臭いか両方ともだとしたらきもくない
事実11: この土気色は緊密化する
事実12: もし仮に「この散乱光は緊密化する」ということは成り立つとしたらあの亀は著者達である
事実13: 「もし仮に「「共同債務者でないしさらに動揺し易い」ということは成り立つということはない」物があるとしたらこの散乱光は熱っぽい」ということは成り立つ
事実14: もしあの亀はきもくないならこの長田新は熱っぽいかもしくはきもい
事実15: この散乱光は文末であるし更に自決だ
事実16: この散乱光は緊密化する
事実17: 著者達は教育訓練機関である
事実18: 共同債務者は熱っぽいということはないし加えて文末でない
事実19: 熱っぽい物は教育訓練機関だ
事実20: きもくない物は乳臭くて著者達である

仮説: この対日はひ弱い
1. 事実12と事実16から、推論1: "あの亀は著者達である"が導かれる
2. 事実17から、推論2: "もし仮にあの亀は著者達であるならば教育訓練機関である"が導かれる
3. 推論1と推論2から、推論3: "あの亀は教育訓練機関だ"が導かれる
4. 推論3から、推論4: "あの亀は教育訓練機関であるかあるいはそれは乳臭いかまたは両方ともである"が導かれる
5. 事実10から、推論5: "もしもあの亀が教育訓練機関であるかもしくはそれは乳臭いかまたはどちらもならばきもくない"が導かれる
6. 推論4と推論5から、推論6: "あの亀はきもくない"が導かれる
7. 推論6と事実14から、推論7: "この長田新は熱っぽいかまたはきもい"が導かれる
8. 推論7と事実1と事実8から、仮説が導かれる

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