the zip rummages candied.
sent1: if something is frontal then the fact that it is a kind of a one-sixty-fourth that does not rummage candied is false. sent2: something is not a neocolonialism but it is adient if it is not a frontal. sent3: if something is not a neocolonialism but it is adient it is not a kind of a Altaic. sent4: the whole is not frontal if the zip is not intralinguistic and does not rummage coverlet. sent5: if the fact that something is a one-sixty-fourth that does not rummage candied is not true then it is not a one-sixty-fourth. sent6: something is a kind of non-intralinguistic thing that does not rummage coverlet if it does not rummage candied. sent7: that the zip is not a neocolonialism hold.
sent6 -> int1: if the zip does not rummage candied then it is not intralinguistic and does not rummage coverlet.; void -> assump1: Let's assume that the zip does not rummage candied.; int1 & assump1 -> int2: the zip is a kind of non-intralinguistic thing that does not rummage coverlet.; int2 & sent4 -> int3: the whole is not frontal.; sent2 -> int4: if the whole is not a kind of a frontal then the fact that it is not a neocolonialism and is adient hold.; int3 & int4 -> int5: the whole is not a kind of a neocolonialism but it is adient.; sent3 -> int6: if the whole is not a neocolonialism but it is adient then it is not Altaic.; int5 & int6 -> int7: the whole is not a Altaic.;
the primate is not a kind of a one-sixty-fourth.
sent5 -> int8: if the fact that the primate is a one-sixty-fourth but it does not rummage candied is wrong it is not a one-sixty-fourth.; sent1 -> int9: if the primate is a frontal that it is a kind of a one-sixty-fourth and does not rummage candied is incorrect.;
$hypothesis$ = the zip rummages candied. ; $context$ = sent1: if something is frontal then the fact that it is a kind of a one-sixty-fourth that does not rummage candied is false. sent2: something is not a neocolonialism but it is adient if it is not a frontal. sent3: if something is not a neocolonialism but it is adient it is not a kind of a Altaic. sent4: the whole is not frontal if the zip is not intralinguistic and does not rummage coverlet. sent5: if the fact that something is a one-sixty-fourth that does not rummage candied is not true then it is not a one-sixty-fourth. sent6: something is a kind of non-intralinguistic thing that does not rummage coverlet if it does not rummage candied. sent7: that the zip is not a neocolonialism hold. ; $proof$ = 
sent6 -> int1: if the zip does not rummage candied then it is not intralinguistic and does not rummage coverlet.; void -> assump1: Let's assume that the zip does not rummage candied.; int1 & assump1 -> int2: the zip is a kind of non-intralinguistic thing that does not rummage coverlet.; int2 & sent4 -> int3: the whole is not frontal.; sent2 -> int4: if the whole is not a kind of a frontal then the fact that it is not a neocolonialism and is adient hold.; int3 & int4 -> int5: the whole is not a kind of a neocolonialism but it is adient.; sent3 -> int6: if the whole is not a neocolonialism but it is adient then it is not Altaic.; int5 & int6 -> int7: the whole is not a Altaic.; __UNKNOWN__