there is something such that if that it is not locker-room is true the fact that it is a kind of a shaft that is a Apium is false.
sent1: If there exists something such that it is a computer the consort is not patristic but it is recessionary.
$hypothesis$ = there is something such that if that it is not locker-room is true the fact that it is a kind of a shaft that is a Apium is false. ; $context$ = sent1: If there exists something such that it is a computer the consort is not patristic but it is recessionary. ; $proof$ = 
__UNKNOWN__