the principality is a kind of a radiocarbon if the plaque is a kind of a Gerreidae.
sent1: if something is a milestone that it either is not a Gerreidae or is a radiocarbon or both does not hold. sent2: if that the plaque is a Gerreidae is not incorrect the principality is a foreshank. sent3: the fact that the principality does wean Typhlopidae is right. sent4: the fact that the plaque is a breeziness is not false. sent5: something is a Gerreidae if it is a foreshank. sent6: if something is a kind of a radiocarbon that it is a kind of a Gerreidae is true. sent7: that the principality is a Gerreidae if the plaque is a foreshank hold. sent8: the treasure is a radiocarbon. sent9: the plaque is a radiocarbon. sent10: the plaque is a radiocarbon if the principality is a Gerreidae. sent11: the geezer is a foreshank if the plaque is not a foreshank. sent12: the plaque is a kind of a radiocarbon if it is a Gerreidae. sent13: if the plaque is a radiocarbon the principality is a kind of a Gerreidae. sent14: the plaque is a foreshank if the principality is a radiocarbon. sent15: if something is a subnormal then it does spectate brood.
void -> assump1: Let's assume that the plaque is a kind of a Gerreidae.; sent2 & assump1 -> int1: the principality is a kind of a foreshank.;
the geezer is a kind of a foreshank.
sent1 -> int2: that either the principality is not a kind of a Gerreidae or it is a kind of a radiocarbon or both is wrong if the fact that it is a kind of a milestone is not wrong.;
$hypothesis$ = the principality is a kind of a radiocarbon if the plaque is a kind of a Gerreidae. ; $context$ = sent1: if something is a milestone that it either is not a Gerreidae or is a radiocarbon or both does not hold. sent2: if that the plaque is a Gerreidae is not incorrect the principality is a foreshank. sent3: the fact that the principality does wean Typhlopidae is right. sent4: the fact that the plaque is a breeziness is not false. sent5: something is a Gerreidae if it is a foreshank. sent6: if something is a kind of a radiocarbon that it is a kind of a Gerreidae is true. sent7: that the principality is a Gerreidae if the plaque is a foreshank hold. sent8: the treasure is a radiocarbon. sent9: the plaque is a radiocarbon. sent10: the plaque is a radiocarbon if the principality is a Gerreidae. sent11: the geezer is a foreshank if the plaque is not a foreshank. sent12: the plaque is a kind of a radiocarbon if it is a Gerreidae. sent13: if the plaque is a radiocarbon the principality is a kind of a Gerreidae. sent14: the plaque is a foreshank if the principality is a radiocarbon. sent15: if something is a subnormal then it does spectate brood. ; $proof$ = 
void -> assump1: Let's assume that the plaque is a kind of a Gerreidae.; sent2 & assump1 -> int1: the principality is a kind of a foreshank.; __UNKNOWN__