the triode does not French.
sent1: the backswimmer is not aft if the fact that the houseboat is aft and/or it does not cleat is not true. sent2: something is both a broad and an arrival if it is not a Jurassic. sent3: something that does not inflate digraph and is not a Trogonidae does not sample biont. sent4: if the fact that the myelencephalon is not a capulin or it is not non-orbital or both is not true then the triode is a capulin. sent5: the fact that that the myelencephalon is either not a capulin or orbital or both is wrong is correct if the star-thistle is a Connarus. sent6: something is a tetrahalide. sent7: the myelencephalon does not cloud bustier. sent8: the myelencephalon is not a Connarus and it is not a grating. sent9: if the star-thistle is not non-orbital and is a capulin then the fact that the triode does not French is true. sent10: if the star-thistle is orbital it is not non-French. sent11: if the backswimmer is not aft then the star-thistle does not inflate digraph and it is not a Trogonidae. sent12: the rancher is not Jurassic if there is something such that the fact that it is a tetrahalide is not false. sent13: the fact that the rancher does not dicker and is Galwegian is incorrect if it is a broad. sent14: something is a Connarus and is a kind of a grating if it does not sample biont. sent15: the fact that the houseboat is aft and/or it is not a kind of a cleats is wrong if the jilt is not Galwegian. sent16: if that the myelencephalon is not a capulin is correct the star-thistle is not orbital but a capulin. sent17: the fact that the myelencephalon is a Connarus is not wrong if it is a capulin. sent18: if that the myelencephalon is not a French hold the triode is not a kind of a grating and French. sent19: the triode is not French if the star-thistle is not orbital but it is a kind of a capulin. sent20: something is French if it is a kind of a capulin. sent21: the blowgun is not a capulin.
void -> assump1: Let's assume that that the myelencephalon is not a capulin does not hold.; sent17 & assump1 -> int1: the myelencephalon is a Connarus.; sent8 -> int2: the myelencephalon is not a kind of a Connarus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the myelencephalon is not a capulin.; int4 & sent16 -> int5: the star-thistle is not orbital and is a kind of a capulin.; int5 & sent19 -> hypothesis;
the triode does French.
sent20 -> int6: the triode Frenches if it is a capulin.; sent14 -> int7: the star-thistle is a Connarus and it does grate if it does not sample biont.; sent3 -> int8: if the star-thistle does not inflate digraph and is not a Trogonidae then it does not sample biont.; sent2 -> int9: if the rancher is not a Jurassic then it is a broad and it is an arrival.; sent6 & sent12 -> int10: the rancher is not a kind of a Jurassic.; int9 & int10 -> int11: the rancher is a kind of a broad and it is an arrival.; int11 -> int12: the rancher is a broad.; sent13 & int12 -> int13: that the rancher does not dicker and is Galwegian is wrong.; int13 -> int14: there is something such that the fact that it does not dicker and is Galwegian is not right.;
$hypothesis$ = the triode does not French. ; $context$ = sent1: the backswimmer is not aft if the fact that the houseboat is aft and/or it does not cleat is not true. sent2: something is both a broad and an arrival if it is not a Jurassic. sent3: something that does not inflate digraph and is not a Trogonidae does not sample biont. sent4: if the fact that the myelencephalon is not a capulin or it is not non-orbital or both is not true then the triode is a capulin. sent5: the fact that that the myelencephalon is either not a capulin or orbital or both is wrong is correct if the star-thistle is a Connarus. sent6: something is a tetrahalide. sent7: the myelencephalon does not cloud bustier. sent8: the myelencephalon is not a Connarus and it is not a grating. sent9: if the star-thistle is not non-orbital and is a capulin then the fact that the triode does not French is true. sent10: if the star-thistle is orbital it is not non-French. sent11: if the backswimmer is not aft then the star-thistle does not inflate digraph and it is not a Trogonidae. sent12: the rancher is not Jurassic if there is something such that the fact that it is a tetrahalide is not false. sent13: the fact that the rancher does not dicker and is Galwegian is incorrect if it is a broad. sent14: something is a Connarus and is a kind of a grating if it does not sample biont. sent15: the fact that the houseboat is aft and/or it is not a kind of a cleats is wrong if the jilt is not Galwegian. sent16: if that the myelencephalon is not a capulin is correct the star-thistle is not orbital but a capulin. sent17: the fact that the myelencephalon is a Connarus is not wrong if it is a capulin. sent18: if that the myelencephalon is not a French hold the triode is not a kind of a grating and French. sent19: the triode is not French if the star-thistle is not orbital but it is a kind of a capulin. sent20: something is French if it is a kind of a capulin. sent21: the blowgun is not a capulin. ; $proof$ = 
void -> assump1: Let's assume that that the myelencephalon is not a capulin does not hold.; sent17 & assump1 -> int1: the myelencephalon is a Connarus.; sent8 -> int2: the myelencephalon is not a kind of a Connarus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the myelencephalon is not a capulin.; int4 & sent16 -> int5: the star-thistle is not orbital and is a kind of a capulin.; int5 & sent19 -> hypothesis; __PROVED__