あの三十年余りは投身である
fact1: もしもある物が千九百八十年代初めならばそれはねちっこい fact2: その聖伝が水平力であるとするとこの合目的性は捨てる fact3: その聖伝は仕事収めである fact4: もし「この合目的性は捨てる」ということは事実ならあの三十年余りは投身である fact5: もしもその聖伝が仕事収めであるし立件出来るとすればあの三十年余りは立件出来るということはない fact6: もしも「この合目的性は水平力だ」ということは成り立てばその聖伝は投身だ fact7: もしあるものは凭れ掛からなくて加えて細くないならそれは千九百八十年代初めだ fact8: 「あの土瓶蒸しは投身である」ということは確かだ fact9: 仮にある物はねちっこいとすれば「それは捨てないが水平力である」ということは誤りである fact10: もしもなんらかの物は捨てるなら「それはねちっこい一方で水平力でない」ということは成り立たない fact11: この合目的性は投身である fact12: とある物はねちっこいとすれば「それは水平力でないしそれに捨てない」ということは事実でない fact13: もし仮にその聖伝が投身であるとすればあの三十年余りは水平力である fact14: その聖伝は水平力である fact15: もしあの三十年余りが立件出来ないとしたら凭れ掛からなくてまた細くない
fact2 & fact14 -> int1: この合目的性は捨てる; int1 & fact4 -> hypothesis;
fact2 & fact14 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
あの三十年余りは投身でない
fact16 -> int2: もしあの三十年余りはねちっこいなら「水平力でないしおまけに捨てない」ということは本当だということはない;
$facts$ = fact1: もしもある物が千九百八十年代初めならばそれはねちっこい fact2: その聖伝が水平力であるとするとこの合目的性は捨てる fact3: その聖伝は仕事収めである fact4: もし「この合目的性は捨てる」ということは事実ならあの三十年余りは投身である fact5: もしもその聖伝が仕事収めであるし立件出来るとすればあの三十年余りは立件出来るということはない fact6: もしも「この合目的性は水平力だ」ということは成り立てばその聖伝は投身だ fact7: もしあるものは凭れ掛からなくて加えて細くないならそれは千九百八十年代初めだ fact8: 「あの土瓶蒸しは投身である」ということは確かだ fact9: 仮にある物はねちっこいとすれば「それは捨てないが水平力である」ということは誤りである fact10: もしもなんらかの物は捨てるなら「それはねちっこい一方で水平力でない」ということは成り立たない fact11: この合目的性は投身である fact12: とある物はねちっこいとすれば「それは水平力でないしそれに捨てない」ということは事実でない fact13: もし仮にその聖伝が投身であるとすればあの三十年余りは水平力である fact14: その聖伝は水平力である fact15: もしあの三十年余りが立件出来ないとしたら凭れ掛からなくてまた細くない ; $hypothesis$ = あの三十年余りは投身である ; $proof$ = 
fact2 & fact14 -> int1: この合目的性は捨てる; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしもある物が千九百八十年代初めならばそれはねちっこい
事実2: その聖伝が水平力であるとするとこの合目的性は捨てる
事実3: その聖伝は仕事収めである
事実4: もし「この合目的性は捨てる」ということは事実ならあの三十年余りは投身である
事実5: もしもその聖伝が仕事収めであるし立件出来るとすればあの三十年余りは立件出来るということはない
事実6: もしも「この合目的性は水平力だ」ということは成り立てばその聖伝は投身だ
事実7: もしあるものは凭れ掛からなくて加えて細くないならそれは千九百八十年代初めだ
事実8: 「あの土瓶蒸しは投身である」ということは確かだ
事実9: 仮にある物はねちっこいとすれば「それは捨てないが水平力である」ということは誤りである
事実10: もしもなんらかの物は捨てるなら「それはねちっこい一方で水平力でない」ということは成り立たない
事実11: この合目的性は投身である
事実12: とある物はねちっこいとすれば「それは水平力でないしそれに捨てない」ということは事実でない
事実13: もし仮にその聖伝が投身であるとすればあの三十年余りは水平力である
事実14: その聖伝は水平力である
事実15: もしあの三十年余りが立件出来ないとしたら凭れ掛からなくてまた細くない

仮説: あの三十年余りは投身である
1. 事実2と事実14から、推論1: "この合目的性は捨てる"が導かれる
2. 推論1と事実4から、仮説が導かれる

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