この各部分系列は貸せない
fact1: 「この猪子は成し難い」ということは成り立たないならこの各部分系列は貸せない fact2: もし仮に「なにがしかのものは貸せないが脳血栓だ」ということは誤っているとしたら貸せる fact3: この離婚時清算は言い訳がましかない fact4: 「あのエコカーは取り辛い」ということは事実だとしたらこの各部分系列は取り辛い fact5: 何らかの物が言い訳はましくらないとしたら「「それは貸せない一方で脳血栓である」ということは事実だ」ということは誤りである fact6: 仮にこの離婚時清算が寒ーくないしそれに起床しないならこの各部分系列は寒ーい fact7: もしこの離婚時清算は言い訳がましかないならば「この猪子は成し難くてピックガードである」ということは成り立つということはない fact8: もし仮にこの猪子はけちけちしないなら「この離婚時清算は寒ーくないしその上それは起床しない」ということは確かである fact9: 仮に「この猪子は成し難いしピックガードである」ということは成り立たないならこの各部分系列は貸せない fact10: あのエコカーは取り辛い fact11: もしも取り辛いものが寒ーいとしたらそれは言い訳がましかない fact12: この猪子は貸せない
fact7 & fact3 -> int1: 「この猪子は成し難いし加えてピックガードである」ということは間違いである; int1 & fact9 -> hypothesis;
fact7 & fact3 -> int1: ¬({AA}{b} & {AB}{b}); int1 & fact9 -> hypothesis;
この各部分系列は貸せる
fact14 -> int2: 仮に「この各部分系列は貸せるということはない一方でそれは脳血栓だ」ということは事実と異なるとすれば貸せる; fact17 -> int3: もしこの各部分系列は言い訳がましかないならば「それは貸せないが脳血栓だ」ということは誤っている; fact16 -> int4: この各部分系列が取り辛いしその上寒ーいならばそれは言い訳がましいということはない; fact13 & fact18 -> int5: この各部分系列は取り辛い;
$facts$ = fact1: 「この猪子は成し難い」ということは成り立たないならこの各部分系列は貸せない fact2: もし仮に「なにがしかのものは貸せないが脳血栓だ」ということは誤っているとしたら貸せる fact3: この離婚時清算は言い訳がましかない fact4: 「あのエコカーは取り辛い」ということは事実だとしたらこの各部分系列は取り辛い fact5: 何らかの物が言い訳はましくらないとしたら「「それは貸せない一方で脳血栓である」ということは事実だ」ということは誤りである fact6: 仮にこの離婚時清算が寒ーくないしそれに起床しないならこの各部分系列は寒ーい fact7: もしこの離婚時清算は言い訳がましかないならば「この猪子は成し難くてピックガードである」ということは成り立つということはない fact8: もし仮にこの猪子はけちけちしないなら「この離婚時清算は寒ーくないしその上それは起床しない」ということは確かである fact9: 仮に「この猪子は成し難いしピックガードである」ということは成り立たないならこの各部分系列は貸せない fact10: あのエコカーは取り辛い fact11: もしも取り辛いものが寒ーいとしたらそれは言い訳がましかない fact12: この猪子は貸せない ; $hypothesis$ = この各部分系列は貸せない ; $proof$ = 
fact7 & fact3 -> int1: 「この猪子は成し難いし加えてピックガードである」ということは間違いである; int1 & fact9 -> hypothesis; __PROVED__
事実1: 「この猪子は成し難い」ということは成り立たないならこの各部分系列は貸せない
事実2: もし仮に「なにがしかのものは貸せないが脳血栓だ」ということは誤っているとしたら貸せる
事実3: この離婚時清算は言い訳がましかない
事実4: 「あのエコカーは取り辛い」ということは事実だとしたらこの各部分系列は取り辛い
事実5: 何らかの物が言い訳はましくらないとしたら「「それは貸せない一方で脳血栓である」ということは事実だ」ということは誤りである
事実6: 仮にこの離婚時清算が寒ーくないしそれに起床しないならこの各部分系列は寒ーい
事実7: もしこの離婚時清算は言い訳がましかないならば「この猪子は成し難くてピックガードである」ということは成り立つということはない
事実8: もし仮にこの猪子はけちけちしないなら「この離婚時清算は寒ーくないしその上それは起床しない」ということは確かである
事実9: 仮に「この猪子は成し難いしピックガードである」ということは成り立たないならこの各部分系列は貸せない
事実10: あのエコカーは取り辛い
事実11: もしも取り辛いものが寒ーいとしたらそれは言い訳がましかない
事実12: この猪子は貸せない

仮説: この各部分系列は貸せない
1. 事実7と事実3から、推論1: "「この猪子は成し難いし加えてピックガードである」ということは間違いである"が導かれる
2. 推論1と事実9から、仮説が導かれる

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