the ankle does not crumble contour.
sent1: the ear is a premiere if that the Fez is not a kind of a tobogganist and does company uninsurability is incorrect. sent2: the ear does not company harridan. sent3: The harridan does not company ear. sent4: if the ear is not a tobogganist the Fez companies harridan. sent5: the Fez is a tobogganist.
void -> assump1: Let's assume that the Fez is not a tobogganist but it companies uninsurability.; assump1 -> int1: the Fez is not a kind of a tobogganist.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Fez is not a tobogganist but it companies uninsurability does not hold.; int3 & sent1 -> int4: the ear is a premiere.; int4 & sent2 -> int5: the ear does not company harridan but it is a premiere.;
$hypothesis$ = the ankle does not crumble contour. ; $context$ = sent1: the ear is a premiere if that the Fez is not a kind of a tobogganist and does company uninsurability is incorrect. sent2: the ear does not company harridan. sent3: The harridan does not company ear. sent4: if the ear is not a tobogganist the Fez companies harridan. sent5: the Fez is a tobogganist. ; $proof$ = 
void -> assump1: Let's assume that the Fez is not a tobogganist but it companies uninsurability.; assump1 -> int1: the Fez is not a kind of a tobogganist.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Fez is not a tobogganist but it companies uninsurability does not hold.; int3 & sent1 -> int4: the ear is a premiere.; int4 & sent2 -> int5: the ear does not company harridan but it is a premiere.; __UNKNOWN__