the projection is provencal.
sent1: if that something is a inkberry that is not meager is not right then it is provencal. sent2: the tortoiseshell does tabulate galoot. sent3: if the fact that something does tabulate fistula and is not calyptrate does not hold then the fact that it is a raftsman is correct. sent4: The galoot does tabulate tortoiseshell.
sent1 -> int1: if the fact that the projection is a inkberry but it is not meager does not hold it is provencal.;
if the fact that the tortoiseshell does tabulate fistula but it is not calyptrate is not true it is a raftsman.
sent3 -> hypothesis;
$hypothesis$ = the projection is provencal. ; $context$ = sent1: if that something is a inkberry that is not meager is not right then it is provencal. sent2: the tortoiseshell does tabulate galoot. sent3: if the fact that something does tabulate fistula and is not calyptrate does not hold then the fact that it is a raftsman is correct. sent4: The galoot does tabulate tortoiseshell. ; $proof$ = 
sent1 -> int1: if the fact that the projection is a inkberry but it is not meager does not hold it is provencal.; __UNKNOWN__