そのスピリチュアルペインは変わり易い
fact1: この初発は変わり易い fact2: 仮に「なんらかのものは革命思想でないか早しかまたは両方である」ということは間違いならばそれは変わり易いということはない fact3: もしなにがしかのものは月賦であるとすると「革命思想でないかあるいは早しかあるいは両方ともである」ということは間違いである fact4: 「なんらかの物は充実するかあるいは由来するかもしくは両方だ」ということは間違っているなら変わり易くない fact5: もしもとある物は早しということはないとしたら「充実するかまたは由来するかまたは両方ともである」ということは成り立つということはない fact6: そのスピリチュアルペインが由来するとすればそれは変わり易い fact7: もしなにがしかのものがキープするとするとそれは月賦である fact8: そのスピリチュアルペインは素晴らしい fact9: 「そのスピリチュアルペインが充実するならあの三敗は充実する」ということは真実だ fact10: もし仮にあるものが変わり易くないならば充実するかあるいは由来するかあるいは両方ともだ fact11: 「そのスピリチュアルペインは取り繕う」ということは事実ならば変わり易い fact12: そのスピリチュアルペインは帰宅時であるならば重りである fact13: そのスピリチュアルペインは充実しない一方で由来する
fact13 -> int1: そのスピリチュアルペインは由来する; int1 & fact6 -> hypothesis;
fact13 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
そのスピリチュアルペインは変わり易いということはない
fact15 -> int2: もし仮に「そのスピリチュアルペインは充実するかまたはそれは由来するかあるいは両方である」ということは偽だとしたらそれは変わり易くない; fact14 -> int3: もしそのスピリチュアルペインは早しないとすれば「それは充実するかあるいは由来するかもしくは両方である」ということは誤っている;
$facts$ = fact1: この初発は変わり易い fact2: 仮に「なんらかのものは革命思想でないか早しかまたは両方である」ということは間違いならばそれは変わり易いということはない fact3: もしなにがしかのものは月賦であるとすると「革命思想でないかあるいは早しかあるいは両方ともである」ということは間違いである fact4: 「なんらかの物は充実するかあるいは由来するかもしくは両方だ」ということは間違っているなら変わり易くない fact5: もしもとある物は早しということはないとしたら「充実するかまたは由来するかまたは両方ともである」ということは成り立つということはない fact6: そのスピリチュアルペインが由来するとすればそれは変わり易い fact7: もしなにがしかのものがキープするとするとそれは月賦である fact8: そのスピリチュアルペインは素晴らしい fact9: 「そのスピリチュアルペインが充実するならあの三敗は充実する」ということは真実だ fact10: もし仮にあるものが変わり易くないならば充実するかあるいは由来するかあるいは両方ともだ fact11: 「そのスピリチュアルペインは取り繕う」ということは事実ならば変わり易い fact12: そのスピリチュアルペインは帰宅時であるならば重りである fact13: そのスピリチュアルペインは充実しない一方で由来する ; $hypothesis$ = そのスピリチュアルペインは変わり易い ; $proof$ = 
fact13 -> int1: そのスピリチュアルペインは由来する; int1 & fact6 -> hypothesis; __PROVED__
事実1: この初発は変わり易い
事実2: 仮に「なんらかのものは革命思想でないか早しかまたは両方である」ということは間違いならばそれは変わり易いということはない
事実3: もしなにがしかのものは月賦であるとすると「革命思想でないかあるいは早しかあるいは両方ともである」ということは間違いである
事実4: 「なんらかの物は充実するかあるいは由来するかもしくは両方だ」ということは間違っているなら変わり易くない
事実5: もしもとある物は早しということはないとしたら「充実するかまたは由来するかまたは両方ともである」ということは成り立つということはない
事実6: そのスピリチュアルペインが由来するとすればそれは変わり易い
事実7: もしなにがしかのものがキープするとするとそれは月賦である
事実8: そのスピリチュアルペインは素晴らしい
事実9: 「そのスピリチュアルペインが充実するならあの三敗は充実する」ということは真実だ
事実10: もし仮にあるものが変わり易くないならば充実するかあるいは由来するかあるいは両方ともだ
事実11: 「そのスピリチュアルペインは取り繕う」ということは事実ならば変わり易い
事実12: そのスピリチュアルペインは帰宅時であるならば重りである
事実13: そのスピリチュアルペインは充実しない一方で由来する

仮説: そのスピリチュアルペインは変わり易い
1. 事実13から、推論1: "そのスピリチュアルペインは由来する"が導かれる
2. 推論1と事実6から、仮説が導かれる

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