その予約は入れ難いということはない
fact1: 仮にその予約が救済出来ないとするとその霊的エネルギーは食い付く fact2: 仮にその霊的エネルギーが苦しくないし入れ難くないならその予約は入れ難くない fact3: もしその霊的エネルギーが苦しいとすると食い付かないかまたは救済出来ないかまたは両方ともである fact4: もしもその予約が入れ難いとしたら苦しくないかあるいは食い付かないか両方ともだ fact5: なにがしかのものが劈くけどそれが苦しくないとすると入れ難くない fact6: もしも「なにかは救済出来ないけど苦しい」ということは間違いなら救済出来る fact7: その霊的エネルギーは食い付くということはないとすると「その予約は入れ難い」ということは事実だ fact8: 仮にその霊的エネルギーが救済出来ないとすればその予約は入れ難い fact9: その霊的エネルギーは苦しい
fact3 & fact9 -> int1: その霊的エネルギーは食い付かないかまたは救済出来ないかもしくはどちらもである; int1 & fact7 & fact8 -> hypothesis;
この芥子は救済出来る
fact10 -> int2: 「この芥子は救済出来ないけどそれは苦しい」ということは成り立たないならば救済出来る;
$facts$ = fact1: 仮にその予約が救済出来ないとするとその霊的エネルギーは食い付く fact2: 仮にその霊的エネルギーが苦しくないし入れ難くないならその予約は入れ難くない fact3: もしその霊的エネルギーが苦しいとすると食い付かないかまたは救済出来ないかまたは両方ともである fact4: もしもその予約が入れ難いとしたら苦しくないかあるいは食い付かないか両方ともだ fact5: なにがしかのものが劈くけどそれが苦しくないとすると入れ難くない fact6: もしも「なにかは救済出来ないけど苦しい」ということは間違いなら救済出来る fact7: その霊的エネルギーは食い付くということはないとすると「その予約は入れ難い」ということは事実だ fact8: 仮にその霊的エネルギーが救済出来ないとすればその予約は入れ難い fact9: その霊的エネルギーは苦しい ; $hypothesis$ = その予約は入れ難いということはない ; $proof$ = 
fact3 & fact9 -> int1: その霊的エネルギーは食い付かないかまたは救済出来ないかもしくはどちらもである; int1 & fact7 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にその予約が救済出来ないとするとその霊的エネルギーは食い付く
事実2: 仮にその霊的エネルギーが苦しくないし入れ難くないならその予約は入れ難くない
事実3: もしその霊的エネルギーが苦しいとすると食い付かないかまたは救済出来ないかまたは両方ともである
事実4: もしもその予約が入れ難いとしたら苦しくないかあるいは食い付かないか両方ともだ
事実5: なにがしかのものが劈くけどそれが苦しくないとすると入れ難くない
事実6: もしも「なにかは救済出来ないけど苦しい」ということは間違いなら救済出来る
事実7: その霊的エネルギーは食い付くということはないとすると「その予約は入れ難い」ということは事実だ
事実8: 仮にその霊的エネルギーが救済出来ないとすればその予約は入れ難い
事実9: その霊的エネルギーは苦しい

仮説: その予約は入れ難いということはない
1. 事実3と事実9から、推論1: "その霊的エネルギーは食い付かないかまたは救済出来ないかもしくはどちらもである"が導かれる
2. 推論1と事実7と事実8から、仮説が否定される

よって、仮説が否定されました。