「その軒端は選択され易くてさらに御辛い」ということは事実と異なる
fact1: その軒端は彼女らしい fact2: その軒端は御辛い fact3: もしもあの状態遷移関数が自然らしいならそれは選択され易い fact4: 仮になにがしかの物は御辛くないかあるいは生き難さであるかもしくは両方ならそれは御辛くない fact5: その軒端は追い上げるし保冷する fact6: 「この無間地獄は彼女らしい」ということは事実だ fact7: 御辛くない物は彼女らしいし選択され易い fact8: もし仮にその軒端は彼女らしいとすると「それは選択され易い」ということは成り立つ
fact8 & fact1 -> int1: その軒端は選択され易い; int1 & fact2 -> hypothesis;
fact8 & fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
この二天記は彼女らしい
fact10 -> int2: この二天記が御辛くないとすれば彼女らしいし更に選択され易い; fact9 -> int3: もし仮にこの二天記が御辛くないかまたはそれは生き難さであるかまたはどちらもであるなら「それは御辛くない」ということは間違っていない;
$facts$ = fact1: その軒端は彼女らしい fact2: その軒端は御辛い fact3: もしもあの状態遷移関数が自然らしいならそれは選択され易い fact4: 仮になにがしかの物は御辛くないかあるいは生き難さであるかもしくは両方ならそれは御辛くない fact5: その軒端は追い上げるし保冷する fact6: 「この無間地獄は彼女らしい」ということは事実だ fact7: 御辛くない物は彼女らしいし選択され易い fact8: もし仮にその軒端は彼女らしいとすると「それは選択され易い」ということは成り立つ ; $hypothesis$ = 「その軒端は選択され易くてさらに御辛い」ということは事実と異なる ; $proof$ = 
fact8 & fact1 -> int1: その軒端は選択され易い; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: その軒端は彼女らしい
事実2: その軒端は御辛い
事実3: もしもあの状態遷移関数が自然らしいならそれは選択され易い
事実4: 仮になにがしかの物は御辛くないかあるいは生き難さであるかもしくは両方ならそれは御辛くない
事実5: その軒端は追い上げるし保冷する
事実6: 「この無間地獄は彼女らしい」ということは事実だ
事実7: 御辛くない物は彼女らしいし選択され易い
事実8: もし仮にその軒端は彼女らしいとすると「それは選択され易い」ということは成り立つ

仮説: 「その軒端は選択され易くてさらに御辛い」ということは事実と異なる
1. 事実8と事実1から、推論1: "その軒端は選択され易い"が導かれる
2. 推論1と事実2から、仮説が否定される

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