the nephelinite is a kind of a pioneer.
sent1: if the fact that the groundnut is both a Panamanian and a Todus is not correct the repatriate is not inelegant. sent2: that there exists nothing that is a kind of Panamanian thing that is a Todus is right. sent3: that the plodder is not a matrilineage is not wrong if that the repatriate is not inelegant is correct. sent4: if the fact that something does not claw aviary and claps Physeter does not hold it is a pioneer. sent5: that the fact that the nephelinite does not claw aviary and claps Physeter is right is not correct if there is something such that it is not a matrilineage.
sent2 -> int1: the fact that the groundnut is a kind of Panamanian thing that is a kind of a Todus does not hold.; int1 & sent1 -> int2: that the repatriate is not inelegant is right.; int2 & sent3 -> int3: the plodder is not a matrilineage.; int3 -> int4: there is something such that it is not a matrilineage.; int4 & sent5 -> int5: that the nephelinite does not claw aviary and does clap Physeter is wrong.; sent4 -> int6: if the fact that the nephelinite does not claw aviary and does clap Physeter is not true then it is a kind of a pioneer.; int5 & int6 -> hypothesis;
$hypothesis$ = the nephelinite is a kind of a pioneer. ; $context$ = sent1: if the fact that the groundnut is both a Panamanian and a Todus is not correct the repatriate is not inelegant. sent2: that there exists nothing that is a kind of Panamanian thing that is a Todus is right. sent3: that the plodder is not a matrilineage is not wrong if that the repatriate is not inelegant is correct. sent4: if the fact that something does not claw aviary and claps Physeter does not hold it is a pioneer. sent5: that the fact that the nephelinite does not claw aviary and claps Physeter is right is not correct if there is something such that it is not a matrilineage. ; $proof$ = 
sent2 -> int1: the fact that the groundnut is a kind of Panamanian thing that is a kind of a Todus does not hold.; int1 & sent1 -> int2: that the repatriate is not inelegant is right.; int2 & sent3 -> int3: the plodder is not a matrilineage.; int3 -> int4: there is something such that it is not a matrilineage.; int4 & sent5 -> int5: that the nephelinite does not claw aviary and does clap Physeter is wrong.; sent4 -> int6: if the fact that the nephelinite does not claw aviary and does clap Physeter is not true then it is a kind of a pioneer.; int5 & int6 -> hypothesis; __PROVED__