この序論はシェであるしおまけに御救い下さる
fact1: もしも「この序論は関わるか活動し難いかあるいはどちらもだ」ということは間違っているとするとそれはシェである fact2: なんらかの物は寄せ付けないならば「シェであるしそれに御救い下さる」ということは誤りだ fact3: もしもなんらかの物が根負けするとすれば熱苦しくないかあるいは用い易くないかもしくは両方だ fact4: この序論は御救い下さるししかも寄せ付ける fact5: この鎮護神は御救い下さる fact6: この序論は活動し難いし更に下穴だ fact7: もし「この序論は関わるかあるいは活動し難くないかもしくはどちらもである」ということは誤りだとすればシェである fact8: 仮にその復讐依頼は熱苦しいということはないかあるいは用い易くないか両方ともであるなら熱苦しくない fact9: なにかはシェだ fact10: 「この序論は関わるかもしくは活動し難いということはない」ということは確かでない fact11: この序論は寄せ付ける fact12: 「もし仮に「シェである」ものがあるとすればその緩和はフォローする」ということは確かだ fact13: この序論は活動し難い
fact7 & fact10 -> int1: この序論はシェだ; fact4 -> int2: この序論は御救い下さる; int1 & int2 -> hypothesis;
その緩和はフォローするしかつ御救い下さる
fact14 & fact15 -> int3: その緩和はフォローする;
$facts$ = fact1: もしも「この序論は関わるか活動し難いかあるいはどちらもだ」ということは間違っているとするとそれはシェである fact2: なんらかの物は寄せ付けないならば「シェであるしそれに御救い下さる」ということは誤りだ fact3: もしもなんらかの物が根負けするとすれば熱苦しくないかあるいは用い易くないかもしくは両方だ fact4: この序論は御救い下さるししかも寄せ付ける fact5: この鎮護神は御救い下さる fact6: この序論は活動し難いし更に下穴だ fact7: もし「この序論は関わるかあるいは活動し難くないかもしくはどちらもである」ということは誤りだとすればシェである fact8: 仮にその復讐依頼は熱苦しいということはないかあるいは用い易くないか両方ともであるなら熱苦しくない fact9: なにかはシェだ fact10: 「この序論は関わるかもしくは活動し難いということはない」ということは確かでない fact11: この序論は寄せ付ける fact12: 「もし仮に「シェである」ものがあるとすればその緩和はフォローする」ということは確かだ fact13: この序論は活動し難い ; $hypothesis$ = この序論はシェであるしおまけに御救い下さる ; $proof$ = 
fact7 & fact10 -> int1: この序論はシェだ; fact4 -> int2: この序論は御救い下さる; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「この序論は関わるか活動し難いかあるいはどちらもだ」ということは間違っているとするとそれはシェである
事実2: なんらかの物は寄せ付けないならば「シェであるしそれに御救い下さる」ということは誤りだ
事実3: もしもなんらかの物が根負けするとすれば熱苦しくないかあるいは用い易くないかもしくは両方だ
事実4: この序論は御救い下さるししかも寄せ付ける
事実5: この鎮護神は御救い下さる
事実6: この序論は活動し難いし更に下穴だ
事実7: もし「この序論は関わるかあるいは活動し難くないかもしくはどちらもである」ということは誤りだとすればシェである
事実8: 仮にその復讐依頼は熱苦しいということはないかあるいは用い易くないか両方ともであるなら熱苦しくない
事実9: なにかはシェだ
事実10: 「この序論は関わるかもしくは活動し難いということはない」ということは確かでない
事実11: この序論は寄せ付ける
事実12: 「もし仮に「シェである」ものがあるとすればその緩和はフォローする」ということは確かだ
事実13: この序論は活動し難い

仮説: この序論はシェであるしおまけに御救い下さる
1. 事実7と事実10から、推論1: "この序論はシェだ"が導かれる
2. 事実4から、推論2: "この序論は御救い下さる"が導かれる
3. 推論1と推論2から、仮説が導かれる

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