the tachograph is a Bercy and it is a kind of a highland.
sent1: the fact that the nutter does skip drilled and is not indistinguishable does not hold. sent2: if there is something such that the fact that it does skip arborolatry and it is acarpelous is incorrect then the Marylander appropriates interpretation. sent3: the tachograph is a Bercy. sent4: the nutter is a ununhexium and it does appropriate manikin if the Marylander is not indistinguishable. sent5: the tachograph appropriates interpretation if it is acarpelous and it is a kind of a ununhexium. sent6: if the Berliner is not a kind of a ununhexium the tachograph is not acarpelous and is a ununhexium. sent7: if the Berliner is not indistinguishable then that the nutter skips drilled but it is indistinguishable is incorrect. sent8: the fact that that the nutter does not skip drilled and is not indistinguishable hold is false if the Berliner is not indistinguishable. sent9: if the tachograph does appropriate interpretation then it is a highland. sent10: the Berliner is not indistinguishable if it is a ununhexium and it does appropriate manikin. sent11: if the Marylander appropriates interpretation it is not indistinguishable and it skips drilled. sent12: the tachograph is not acarpelous. sent13: the Berliner does appropriate manikin. sent14: that the nutter does not skip drilled but it is indistinguishable is not true if the Berliner is not indistinguishable. sent15: if the Berliner is not a ununhexium then the tachograph is not acarpelous. sent16: if the Berliner does not appropriate manikin but it does skip drilled the sailboat appropriate manikin. sent17: the nutter is a Bercy. sent18: the fact that the nutter does not skip drilled but it is indistinguishable is not right. sent19: that the Scotch skips arborolatry and is acarpelous does not hold. sent20: if the tachograph is not acarpelous but it is a ununhexium it does appropriate interpretation. sent21: the Berliner is not a highland if there exists something such that it is a kind of a ununhexium. sent22: The manikin does appropriate Berliner.
void -> assump1: Let's assume that the Berliner is a ununhexium.; assump1 & sent13 -> int1: the Berliner is a kind of a ununhexium and it appropriates manikin.; int1 & sent10 -> int2: the Berliner is not indistinguishable.; int2 & sent8 -> int3: that the nutter does not skip drilled and it is distinguishable is not right.;
that the tachograph is a Bercy and it is a highland is not true.
sent19 -> int4: there is something such that that it does skip arborolatry and it is acarpelous is wrong.; int4 & sent2 -> int5: the Marylander appropriates interpretation.; sent11 & int5 -> int6: the Marylander is non-indistinguishable thing that does skip drilled.; int6 -> int7: the Marylander is not indistinguishable.; sent4 & int7 -> int8: the nutter is a kind of a ununhexium and it does appropriate manikin.; int8 -> int9: the nutter is a kind of a ununhexium.; int9 -> int10: there exists something such that it is a ununhexium.; int10 & sent21 -> int11: the Berliner is not a highland.; int11 -> int12: there exists something such that that it is not a kind of a highland is not false.;
$hypothesis$ = the tachograph is a Bercy and it is a kind of a highland. ; $context$ = sent1: the fact that the nutter does skip drilled and is not indistinguishable does not hold. sent2: if there is something such that the fact that it does skip arborolatry and it is acarpelous is incorrect then the Marylander appropriates interpretation. sent3: the tachograph is a Bercy. sent4: the nutter is a ununhexium and it does appropriate manikin if the Marylander is not indistinguishable. sent5: the tachograph appropriates interpretation if it is acarpelous and it is a kind of a ununhexium. sent6: if the Berliner is not a kind of a ununhexium the tachograph is not acarpelous and is a ununhexium. sent7: if the Berliner is not indistinguishable then that the nutter skips drilled but it is indistinguishable is incorrect. sent8: the fact that that the nutter does not skip drilled and is not indistinguishable hold is false if the Berliner is not indistinguishable. sent9: if the tachograph does appropriate interpretation then it is a highland. sent10: the Berliner is not indistinguishable if it is a ununhexium and it does appropriate manikin. sent11: if the Marylander appropriates interpretation it is not indistinguishable and it skips drilled. sent12: the tachograph is not acarpelous. sent13: the Berliner does appropriate manikin. sent14: that the nutter does not skip drilled but it is indistinguishable is not true if the Berliner is not indistinguishable. sent15: if the Berliner is not a ununhexium then the tachograph is not acarpelous. sent16: if the Berliner does not appropriate manikin but it does skip drilled the sailboat appropriate manikin. sent17: the nutter is a Bercy. sent18: the fact that the nutter does not skip drilled but it is indistinguishable is not right. sent19: that the Scotch skips arborolatry and is acarpelous does not hold. sent20: if the tachograph is not acarpelous but it is a ununhexium it does appropriate interpretation. sent21: the Berliner is not a highland if there exists something such that it is a kind of a ununhexium. sent22: The manikin does appropriate Berliner. ; $proof$ = 
void -> assump1: Let's assume that the Berliner is a ununhexium.; assump1 & sent13 -> int1: the Berliner is a kind of a ununhexium and it appropriates manikin.; int1 & sent10 -> int2: the Berliner is not indistinguishable.; int2 & sent8 -> int3: that the nutter does not skip drilled and it is distinguishable is not right.; __UNKNOWN__