あの四十代後半は高等女学校でないししかもそれは御仕事しない
fact1: あの四十代後半は上がり切る fact2: 何らかのものが上がり切るとしたら高等女学校でない fact3: なにがしかの物は上がり切らないとすれば「高等女学校でないしさらに御仕事しない」ということは嘘だ fact4: もし「あの四十代後半は重ね合わないけれど御仕事する」ということは成り立たないとしたら「それは御仕事しない」ということは事実と異ならない fact5: 「あの四十代後半は重ね合わないけど御仕事する」ということは偽である
fact2 -> int1: もしあの四十代後半が上がり切るとするとそれは高等女学校だということはない; int1 & fact1 -> int2: あの四十代後半は高等女学校でない; fact5 & fact4 -> int3: あの四十代後半は御仕事しない; int2 & int3 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact1 -> int2: ¬{C}{aa}; fact5 & fact4 -> int3: ¬{B}{aa}; int2 & int3 -> hypothesis;
「あの四十代後半は高等女学校でなくてまた御仕事しない」ということは誤りだ
fact6 -> int4: もしあの四十代後半は上がり切らないなら「高等女学校でなくてまた御仕事しない」ということは間違いである;
$facts$ = fact1: あの四十代後半は上がり切る fact2: 何らかのものが上がり切るとしたら高等女学校でない fact3: なにがしかの物は上がり切らないとすれば「高等女学校でないしさらに御仕事しない」ということは嘘だ fact4: もし「あの四十代後半は重ね合わないけれど御仕事する」ということは成り立たないとしたら「それは御仕事しない」ということは事実と異ならない fact5: 「あの四十代後半は重ね合わないけど御仕事する」ということは偽である ; $hypothesis$ = あの四十代後半は高等女学校でないししかもそれは御仕事しない ; $proof$ = 
fact2 -> int1: もしあの四十代後半が上がり切るとするとそれは高等女学校だということはない; int1 & fact1 -> int2: あの四十代後半は高等女学校でない; fact5 & fact4 -> int3: あの四十代後半は御仕事しない; int2 & int3 -> hypothesis; __PROVED__
事実1: あの四十代後半は上がり切る
事実2: 何らかのものが上がり切るとしたら高等女学校でない
事実3: なにがしかの物は上がり切らないとすれば「高等女学校でないしさらに御仕事しない」ということは嘘だ
事実4: もし「あの四十代後半は重ね合わないけれど御仕事する」ということは成り立たないとしたら「それは御仕事しない」ということは事実と異ならない
事実5: 「あの四十代後半は重ね合わないけど御仕事する」ということは偽である

仮説: あの四十代後半は高等女学校でないししかもそれは御仕事しない
1. 事実2から、推論1: "もしあの四十代後半が上がり切るとするとそれは高等女学校だということはない"が導かれる
2. 推論1と事実1から、推論2: "あの四十代後半は高等女学校でない"が導かれる
3. 事実5と事実4から、推論3: "あの四十代後半は御仕事しない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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