the rimu is not a kind of a Ramachandra.
sent1: the fact that the luck is non-tarsal thing that does not japan rimu is not true if the plot does not japan rimu. sent2: the bricklayer is a tarsal if the fact that the plot is not a tarsal but it is a Ramachandra is incorrect. sent3: if the plot is calcitic but it is not a Photoblepharon then it does not japan rimu. sent4: That the ponce does sensitize bricklayer is right. sent5: if the fact that the plot is calcitic but not a Photoblepharon is not correct the rimu is not a kind of a Ramachandra. sent6: that the bricklayer does sensitize ponce is right.
void -> assump1: Let's assume that the plot is both calcitic and not a Photoblepharon.; sent3 & assump1 -> int1: the plot does not japan rimu.; int1 & sent1 -> int2: that the luck is not tarsal and it does not japan rimu does not hold.; sent6 -> int3: there exists something such that it sensitizes ponce.;
the bricklayer is a tarsal.
$hypothesis$ = the rimu is not a kind of a Ramachandra. ; $context$ = sent1: the fact that the luck is non-tarsal thing that does not japan rimu is not true if the plot does not japan rimu. sent2: the bricklayer is a tarsal if the fact that the plot is not a tarsal but it is a Ramachandra is incorrect. sent3: if the plot is calcitic but it is not a Photoblepharon then it does not japan rimu. sent4: That the ponce does sensitize bricklayer is right. sent5: if the fact that the plot is calcitic but not a Photoblepharon is not correct the rimu is not a kind of a Ramachandra. sent6: that the bricklayer does sensitize ponce is right. ; $proof$ = 
void -> assump1: Let's assume that the plot is both calcitic and not a Photoblepharon.; sent3 & assump1 -> int1: the plot does not japan rimu.; int1 & sent1 -> int2: that the luck is not tarsal and it does not japan rimu does not hold.; sent6 -> int3: there exists something such that it sensitizes ponce.; __UNKNOWN__