あの竹割り機は召し上げるということはないし巻き上げない
fact1: あの構内以外は召し上げない fact2: あの竹割り機は召し上げない fact3: あの竹割り機は巻き上げるということはない
$facts$ = fact1: あの構内以外は召し上げない fact2: あの竹割り機は召し上げない fact3: あの竹割り機は巻き上げるということはない ; $hypothesis$ = あの竹割り機は召し上げるということはないし巻き上げない ; $proof$ = 
事実1: あの構内以外は召し上げない
事実2: あの竹割り機は召し上げない
事実3: あの竹割り機は巻き上げるということはない

仮説: あの竹割り機は召し上げるということはないし巻き上げない