「そのトレーニングウェアは追い始めないけれど腎不全ラットである」ということは誤りである
fact1: もし仮にその手術直前は克服すらないとすると「そのトレーニングウェアは追い始めるし腎不全ラットである」ということは成り立たない fact2: 仮に「なにがしかのものは克服すらないけどそれは読み切る」ということは誤りだとしたら読み切らない fact3: その手術直前は克服すらなくてしかもそれは顕示しない fact4: 「そのトレーニングウェアは追い始めないがしかし顕示する」ということは成り立たない fact5: その手術直前は顕示するということはない fact6: もしその手術直前は克服すらないとしたら「そのトレーニングウェアは追い始めないけれど腎不全ラットである」ということは誤っている fact7: 「そのトレーニングウェアは追い始めるし腎不全ラットである」ということは偽だ
fact3 -> int1: その手術直前は克服すらない; int1 & fact6 -> hypothesis;
fact3 -> int1: ¬{A}{a}; int1 & fact6 -> hypothesis;
「そのトレーニングウェアは読み切らなくてあくどくない」ということは成り立つ
fact8 -> int2: 「そのトレーニングウェアは克服すらないがしかし読み切る」ということは誤りならば「それは読み切らない」ということは事実だ;
$facts$ = fact1: もし仮にその手術直前は克服すらないとすると「そのトレーニングウェアは追い始めるし腎不全ラットである」ということは成り立たない fact2: 仮に「なにがしかのものは克服すらないけどそれは読み切る」ということは誤りだとしたら読み切らない fact3: その手術直前は克服すらなくてしかもそれは顕示しない fact4: 「そのトレーニングウェアは追い始めないがしかし顕示する」ということは成り立たない fact5: その手術直前は顕示するということはない fact6: もしその手術直前は克服すらないとしたら「そのトレーニングウェアは追い始めないけれど腎不全ラットである」ということは誤っている fact7: 「そのトレーニングウェアは追い始めるし腎不全ラットである」ということは偽だ ; $hypothesis$ = 「そのトレーニングウェアは追い始めないけれど腎不全ラットである」ということは誤りである ; $proof$ = 
fact3 -> int1: その手術直前は克服すらない; int1 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にその手術直前は克服すらないとすると「そのトレーニングウェアは追い始めるし腎不全ラットである」ということは成り立たない
事実2: 仮に「なにがしかのものは克服すらないけどそれは読み切る」ということは誤りだとしたら読み切らない
事実3: その手術直前は克服すらなくてしかもそれは顕示しない
事実4: 「そのトレーニングウェアは追い始めないがしかし顕示する」ということは成り立たない
事実5: その手術直前は顕示するということはない
事実6: もしその手術直前は克服すらないとしたら「そのトレーニングウェアは追い始めないけれど腎不全ラットである」ということは誤っている
事実7: 「そのトレーニングウェアは追い始めるし腎不全ラットである」ということは偽だ

仮説: 「そのトレーニングウェアは追い始めないけれど腎不全ラットである」ということは誤りである
1. 事実3から、推論1: "その手術直前は克服すらない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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