the airplane is a kind of a pinto.
sent1: something is not a kind of a toboggan if it is not a catchphrase. sent2: The Scots stables sparer. sent3: if there exists something such that it is a Bahamian then the shellfish is communicative. sent4: there is something such that it is a Bahamian. sent5: there exists something such that it stables Scots. sent6: the sparer stables Scots. sent7: the shellfish does not stable centrality. sent8: the sparer does not risk Attica. sent9: there is something such that it is zymoid. sent10: something does stable dislocation and does not stable centrality if it is communicative. sent11: if the transsexual is not a kind of a toboggan that the fact that the shellfish does stable dislocation and does not stable centrality does not hold is not false. sent12: the airplane is a pinto if a zymoid thing stables Scots. sent13: if the transsexual is not a toboggan the fact that the shellfish does stable dislocation and it does stable centrality is wrong.
void -> assump1: Let's assume that that the fact that the sparer is zymoid but it does not risk Attica is incorrect is not wrong.; sent1 -> int1: if the transsexual is not a catchphrase it is not a toboggan.; sent10 -> int2: if the fact that the shellfish is not communicative is false then it stables dislocation and does not stable centrality.; sent4 & sent3 -> int3: the shellfish is communicative.; int2 & int3 -> int4: the shellfish stables dislocation and does not stable centrality.;
$hypothesis$ = the airplane is a kind of a pinto. ; $context$ = sent1: something is not a kind of a toboggan if it is not a catchphrase. sent2: The Scots stables sparer. sent3: if there exists something such that it is a Bahamian then the shellfish is communicative. sent4: there is something such that it is a Bahamian. sent5: there exists something such that it stables Scots. sent6: the sparer stables Scots. sent7: the shellfish does not stable centrality. sent8: the sparer does not risk Attica. sent9: there is something such that it is zymoid. sent10: something does stable dislocation and does not stable centrality if it is communicative. sent11: if the transsexual is not a kind of a toboggan that the fact that the shellfish does stable dislocation and does not stable centrality does not hold is not false. sent12: the airplane is a pinto if a zymoid thing stables Scots. sent13: if the transsexual is not a toboggan the fact that the shellfish does stable dislocation and it does stable centrality is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the fact that the sparer is zymoid but it does not risk Attica is incorrect is not wrong.; sent1 -> int1: if the transsexual is not a catchphrase it is not a toboggan.; sent10 -> int2: if the fact that the shellfish is not communicative is false then it stables dislocation and does not stable centrality.; sent4 & sent3 -> int3: the shellfish is communicative.; int2 & int3 -> int4: the shellfish stables dislocation and does not stable centrality.; __UNKNOWN__