その一科は継続し難いということはない
fact1: この余所行きはディスカウントストアでなくてそれはガゼルでない fact2: そのアップロードは継続し難くない fact3: この余所行きはガゼルでないしまたそれは継続し難くない fact4: もしもこの本断片がガゼルだし僭越であるならその守護霊様はガゼルでない fact5: とある物はアプローチし易くない fact6: もしなんらかのものがディスカウントストアでなくてかつそれがガゼルでないとするとその一科は継続し難い fact7: もしもその守護霊様がガゼルでないとするとその一科は継続し難くないがディスカウントストアだ
fact1 -> int1: 「ディスカウントストアでなくてガゼルでない」物はある; int1 & fact6 -> hypothesis;
fact1 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact6 -> hypothesis;
その一科は継続し難いということはない
$facts$ = fact1: この余所行きはディスカウントストアでなくてそれはガゼルでない fact2: そのアップロードは継続し難くない fact3: この余所行きはガゼルでないしまたそれは継続し難くない fact4: もしもこの本断片がガゼルだし僭越であるならその守護霊様はガゼルでない fact5: とある物はアプローチし易くない fact6: もしなんらかのものがディスカウントストアでなくてかつそれがガゼルでないとするとその一科は継続し難い fact7: もしもその守護霊様がガゼルでないとするとその一科は継続し難くないがディスカウントストアだ ; $hypothesis$ = その一科は継続し難いということはない ; $proof$ = 
fact1 -> int1: 「ディスカウントストアでなくてガゼルでない」物はある; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: この余所行きはディスカウントストアでなくてそれはガゼルでない
事実2: そのアップロードは継続し難くない
事実3: この余所行きはガゼルでないしまたそれは継続し難くない
事実4: もしもこの本断片がガゼルだし僭越であるならその守護霊様はガゼルでない
事実5: とある物はアプローチし易くない
事実6: もしなんらかのものがディスカウントストアでなくてかつそれがガゼルでないとするとその一科は継続し難い
事実7: もしもその守護霊様がガゼルでないとするとその一科は継続し難くないがディスカウントストアだ

仮説: その一科は継続し難いということはない
1. 事実1から、推論1: "「ディスカウントストアでなくてガゼルでない」物はある"が導かれる
2. 推論1と事実6から、仮説が否定される

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