the mint is not Churchillian if the fact that the Stern is both not a sandwich and a fluosilicate does not hold.
sent1: the fact that the Stern splays Athelstan and is not an ethic is false. sent2: the fact that the hatch is not a Jesuit and is not unregenerate does not hold. sent3: the Stern is not a Puccini. sent4: the Stern is not a forehand. sent5: that the gazania does not communicate participation and sprays raster is incorrect. sent6: there exists something such that it does splay Athelstan. sent7: there exists something such that that it does not spray raster and it is not a Puccini hold. sent8: if there is something such that that it does not spray raster and it is not a kind of a Puccini is wrong then the Stern does not sandwich. sent9: if the Stern is not a fluosilicate then the mint is not Churchillian. sent10: the Stern is not a kind of a sandwich if the hatch is not a fluosilicate and is a kind of a Puccini. sent11: the Stern is not Churchillian. sent12: there exists something such that it is not Churchillian and it does not spray raster. sent13: the fact that the hatch does not spray raster and is not a Puccini is wrong if there is something such that it splays Athelstan. sent14: if the hatch is not a sandwich the Stern does spray raster. sent15: the fact that the mint is not Churchillian and does not sandwich does not hold. sent16: the fact that the surrey is like but not odorless is not true. sent17: the fact that the hatch is not Churchillian and it is not a sandwich is false if there exists something such that it does spray raster. sent18: that if the hatch is not a kind of a fluosilicate the Stern is not a Puccini hold.
sent6 & sent13 -> int1: that the hatch does not spray raster and is not a Puccini does not hold.; int1 -> int2: there is something such that the fact that it does not spray raster and it is not a kind of a Puccini is false.; int2 & sent8 -> int3: the Stern does not sandwich.; void -> assump2: Let's assume that the Stern is a kind of a fluosilicate.; int3 & assump2 -> int4: the Stern does not sandwich and is a fluosilicate.; void -> assump1: Let's assume that that the Stern is not a sandwich and is a fluosilicate does not hold.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the Stern is not a fluosilicate.; sent9 & int6 -> int7: the mint is not Churchillian.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the mint is not Churchillian if the fact that the Stern is both not a sandwich and a fluosilicate does not hold. ; $context$ = sent1: the fact that the Stern splays Athelstan and is not an ethic is false. sent2: the fact that the hatch is not a Jesuit and is not unregenerate does not hold. sent3: the Stern is not a Puccini. sent4: the Stern is not a forehand. sent5: that the gazania does not communicate participation and sprays raster is incorrect. sent6: there exists something such that it does splay Athelstan. sent7: there exists something such that that it does not spray raster and it is not a Puccini hold. sent8: if there is something such that that it does not spray raster and it is not a kind of a Puccini is wrong then the Stern does not sandwich. sent9: if the Stern is not a fluosilicate then the mint is not Churchillian. sent10: the Stern is not a kind of a sandwich if the hatch is not a fluosilicate and is a kind of a Puccini. sent11: the Stern is not Churchillian. sent12: there exists something such that it is not Churchillian and it does not spray raster. sent13: the fact that the hatch does not spray raster and is not a Puccini is wrong if there is something such that it splays Athelstan. sent14: if the hatch is not a sandwich the Stern does spray raster. sent15: the fact that the mint is not Churchillian and does not sandwich does not hold. sent16: the fact that the surrey is like but not odorless is not true. sent17: the fact that the hatch is not Churchillian and it is not a sandwich is false if there exists something such that it does spray raster. sent18: that if the hatch is not a kind of a fluosilicate the Stern is not a Puccini hold. ; $proof$ = 
sent6 & sent13 -> int1: that the hatch does not spray raster and is not a Puccini does not hold.; int1 -> int2: there is something such that the fact that it does not spray raster and it is not a kind of a Puccini is false.; int2 & sent8 -> int3: the Stern does not sandwich.; void -> assump2: Let's assume that the Stern is a kind of a fluosilicate.; int3 & assump2 -> int4: the Stern does not sandwich and is a fluosilicate.; void -> assump1: Let's assume that that the Stern is not a sandwich and is a fluosilicate does not hold.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the Stern is not a fluosilicate.; sent9 & int6 -> int7: the mint is not Churchillian.; [assump1] & int7 -> hypothesis; __PROVED__