その小指は上り続けない
fact1: もしも「なにがしかの物は反省である一方で怪しくない」ということは成り立たないとすれば上り続けない fact2: この学校文法が混乱し始めないが気安いとすると「反省である」ということは本当だ fact3: もし仮に「「その小指は反省であるが怪しくない」ということは成り立つ」ということは嘘であるならば気安くない fact4: もし仮に何らかのものは西側だということはないなら「それは怪しくないしそれは反省だ」ということは確かでない fact5: もし仮にあるものは混乱し始めればそれは気安くない fact6: この学校文法は混乱し始めないけれどそれは気安い fact7: もし仮にその小指は気安いならば「「この学校文法は気安いけど上り続けない」ということは偽である」ということは正しい fact8: もしも「この学校文法は怪しいけど上り続けない」ということは成り立たないなら「気安くない」ということは間違いでない fact9: 「なんらかの物は吸収し易い一方で小作地であるということはない」ということは嘘なら西側でない fact10: この学校文法は上り続けないけどそれは突き回す fact11: この学校文法は上り続けるということはない fact12: 仮にこの学校文法は反省であるとすれば「「その小指は反省であるが怪しくない」ということは間違いだ」ということは成り立つ
fact2 & fact6 -> int1: この学校文法は反省だ; int1 & fact12 -> int2: 「その小指は反省だけれど怪しくない」ということは間違いである; fact1 -> int3: もし「その小指は反省であるが怪しくない」ということは偽ならば上り続けない; int2 & int3 -> hypothesis;
fact2 & fact6 -> int1: {B}{a}; int1 & fact12 -> int2: ¬({B}{b} & ¬{A}{b}); fact1 -> int3: ¬({B}{b} & ¬{A}{b}) -> ¬{C}{b}; int2 & int3 -> hypothesis;
「その小指は上り続ける」ということは真実である
fact14 -> int4: 「その小指は西側でない」ということは事実であるとしたら「それは怪しくないしおまけにそれは反省だ」ということは成り立たない; fact13 -> int5: もし「その小指は吸収し易い一方で小作地でない」ということは間違っているとすれば西側であるということはない;
$facts$ = fact1: もしも「なにがしかの物は反省である一方で怪しくない」ということは成り立たないとすれば上り続けない fact2: この学校文法が混乱し始めないが気安いとすると「反省である」ということは本当だ fact3: もし仮に「「その小指は反省であるが怪しくない」ということは成り立つ」ということは嘘であるならば気安くない fact4: もし仮に何らかのものは西側だということはないなら「それは怪しくないしそれは反省だ」ということは確かでない fact5: もし仮にあるものは混乱し始めればそれは気安くない fact6: この学校文法は混乱し始めないけれどそれは気安い fact7: もし仮にその小指は気安いならば「「この学校文法は気安いけど上り続けない」ということは偽である」ということは正しい fact8: もしも「この学校文法は怪しいけど上り続けない」ということは成り立たないなら「気安くない」ということは間違いでない fact9: 「なんらかの物は吸収し易い一方で小作地であるということはない」ということは嘘なら西側でない fact10: この学校文法は上り続けないけどそれは突き回す fact11: この学校文法は上り続けるということはない fact12: 仮にこの学校文法は反省であるとすれば「「その小指は反省であるが怪しくない」ということは間違いだ」ということは成り立つ ; $hypothesis$ = その小指は上り続けない ; $proof$ = 
fact2 & fact6 -> int1: この学校文法は反省だ; int1 & fact12 -> int2: 「その小指は反省だけれど怪しくない」ということは間違いである; fact1 -> int3: もし「その小指は反省であるが怪しくない」ということは偽ならば上り続けない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしも「なにがしかの物は反省である一方で怪しくない」ということは成り立たないとすれば上り続けない
事実2: この学校文法が混乱し始めないが気安いとすると「反省である」ということは本当だ
事実3: もし仮に「「その小指は反省であるが怪しくない」ということは成り立つ」ということは嘘であるならば気安くない
事実4: もし仮に何らかのものは西側だということはないなら「それは怪しくないしそれは反省だ」ということは確かでない
事実5: もし仮にあるものは混乱し始めればそれは気安くない
事実6: この学校文法は混乱し始めないけれどそれは気安い
事実7: もし仮にその小指は気安いならば「「この学校文法は気安いけど上り続けない」ということは偽である」ということは正しい
事実8: もしも「この学校文法は怪しいけど上り続けない」ということは成り立たないなら「気安くない」ということは間違いでない
事実9: 「なんらかの物は吸収し易い一方で小作地であるということはない」ということは嘘なら西側でない
事実10: この学校文法は上り続けないけどそれは突き回す
事実11: この学校文法は上り続けるということはない
事実12: 仮にこの学校文法は反省であるとすれば「「その小指は反省であるが怪しくない」ということは間違いだ」ということは成り立つ

仮説: その小指は上り続けない
1. 事実2と事実6から、推論1: "この学校文法は反省だ"が導かれる
2. 推論1と事実12から、推論2: "「その小指は反省だけれど怪しくない」ということは間違いである"が導かれる
3. 事実1から、推論3: "もし「その小指は反省であるが怪しくない」ということは偽ならば上り続けない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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