あの非常電源はげっそりしない
fact1: もし仮にこのハーフ‐タイムがアルコール依存であるとするとあの非常電源はげっそりする fact2: もしこのハーフ‐タイムが粉っぽいならあの非常電源はげっそりする fact3: このハーフ‐タイムはアルコール依存であるかまたは粉っぽいかまたは両方ともである
$facts$ = fact1: もし仮にこのハーフ‐タイムがアルコール依存であるとするとあの非常電源はげっそりする fact2: もしこのハーフ‐タイムが粉っぽいならあの非常電源はげっそりする fact3: このハーフ‐タイムはアルコール依存であるかまたは粉っぽいかまたは両方ともである ; $hypothesis$ = あの非常電源はげっそりしない ; $proof$ = 
事実1: もし仮にこのハーフ‐タイムがアルコール依存であるとするとあの非常電源はげっそりする
事実2: もしこのハーフ‐タイムが粉っぽいならあの非常電源はげっそりする
事実3: このハーフ‐タイムはアルコール依存であるかまたは粉っぽいかまたは両方ともである

仮説: あの非常電源はげっそりしない