「その日本古典文学大系はに因って居るということはないがしかし上向く」ということは誤っている
fact1: その日本古典文学大系は有り触れるかまたは行い易いかあるいは両方だ fact2: その日本古典文学大系は上向くしおまけに憤激する fact3: もしもその日本古典文学大系は有り触れるかあるいはそれは行い易いか両方ならばそれはに因って居ない
fact3 & fact1 -> int1: その日本古典文学大系はに因って居ない; fact2 -> int2: その日本古典文学大系は上向く; int1 & int2 -> hypothesis;
fact3 & fact1 -> int1: ¬{B}{a}; fact2 -> int2: {A}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: その日本古典文学大系は有り触れるかまたは行い易いかあるいは両方だ fact2: その日本古典文学大系は上向くしおまけに憤激する fact3: もしもその日本古典文学大系は有り触れるかあるいはそれは行い易いか両方ならばそれはに因って居ない ; $hypothesis$ = 「その日本古典文学大系はに因って居るということはないがしかし上向く」ということは誤っている ; $proof$ = 
fact3 & fact1 -> int1: その日本古典文学大系はに因って居ない; fact2 -> int2: その日本古典文学大系は上向く; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その日本古典文学大系は有り触れるかまたは行い易いかあるいは両方だ
事実2: その日本古典文学大系は上向くしおまけに憤激する
事実3: もしもその日本古典文学大系は有り触れるかあるいはそれは行い易いか両方ならばそれはに因って居ない

仮説: 「その日本古典文学大系はに因って居るということはないがしかし上向く」ということは誤っている
1. 事実3と事実1から、推論1: "その日本古典文学大系はに因って居ない"が導かれる
2. 事実2から、推論2: "その日本古典文学大系は上向く"が導かれる
3. 推論1と推論2から、仮説が否定される

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