the ideal is not vehicular.
sent1: the ideal is not vehicular if it does not yawp and outshouts Ammodytidae. sent2: the ideal is biological. sent3: if something does not outshout owl and is phagocytic it is vehicular. sent4: the ideal does not outshout Ammodytidae if the scorcher outshout Ammodytidae. sent5: the ideal is not vehicular if it does not yawp and does not outshout Ammodytidae. sent6: if the scorcher is gradual it does outshout owl. sent7: that the scorcher is a gradual is not incorrect. sent8: if the scorcher is Pacific thing that outshouts owl it is not biological. sent9: the instrument does not outshout Ammodytidae. sent10: the scorcher is not phagocytic. sent11: something that is not phagocytic is a kind of a Pacific. sent12: if the scorcher is not biological then it outshouts Ammodytidae.
sent11 -> int1: if the scorcher is not phagocytic then it is a Pacific.; int1 & sent10 -> int2: the scorcher is a kind of a Pacific.; sent6 & sent7 -> int3: the scorcher does outshout owl.; int2 & int3 -> int4: the scorcher is a Pacific and it does outshout owl.; int4 & sent8 -> int5: the scorcher is not biological.; int5 & sent12 -> int6: the scorcher does outshout Ammodytidae.;
the ideal is vehicular.
sent3 -> int7: the ideal is not non-vehicular if it does not outshout owl and is phagocytic.; sent9 -> int8: that there exists something such that it does not outshout Ammodytidae is correct.;
$hypothesis$ = the ideal is not vehicular. ; $context$ = sent1: the ideal is not vehicular if it does not yawp and outshouts Ammodytidae. sent2: the ideal is biological. sent3: if something does not outshout owl and is phagocytic it is vehicular. sent4: the ideal does not outshout Ammodytidae if the scorcher outshout Ammodytidae. sent5: the ideal is not vehicular if it does not yawp and does not outshout Ammodytidae. sent6: if the scorcher is gradual it does outshout owl. sent7: that the scorcher is a gradual is not incorrect. sent8: if the scorcher is Pacific thing that outshouts owl it is not biological. sent9: the instrument does not outshout Ammodytidae. sent10: the scorcher is not phagocytic. sent11: something that is not phagocytic is a kind of a Pacific. sent12: if the scorcher is not biological then it outshouts Ammodytidae. ; $proof$ = 
sent11 -> int1: if the scorcher is not phagocytic then it is a Pacific.; int1 & sent10 -> int2: the scorcher is a kind of a Pacific.; sent6 & sent7 -> int3: the scorcher does outshout owl.; int2 & int3 -> int4: the scorcher is a Pacific and it does outshout owl.; int4 & sent8 -> int5: the scorcher is not biological.; int5 & sent12 -> int6: the scorcher does outshout Ammodytidae.; __UNKNOWN__