the bestiality is a kind of a lorchel.
sent1: if something does not think effluvium that it is not a deep and it is not a dealfish is false. sent2: something frightens Picasso if it is liliaceous. sent3: the esplanade is not a bug. sent4: if something that is not a putter does not think heaves it does not frighten Picasso. sent5: if a coccobacillus is a Carmelite it is not a kind of a lorchel. sent6: if something is a Carmelite then it is liliaceous. sent7: the overachiever is a kind of a Carmelite if the esplanade is a coccobacillus. sent8: that something is not a bug and is not a kind of an acre is not right if it is not a lorchel. sent9: the overachiever is not a putter and does not think heaves. sent10: if the bestiality is not a putter and it is not a kind of an acre it is non-Carmelite. sent11: if the fact that the bestiality is both not a bug and not an acre is false the esplanade is a coccobacillus. sent12: the bestiality does not think heaves if it is not a putter and it is not a kind of a lorchel. sent13: the overachiever is a bug if it is Carmelite.
sent8 -> int1: if the bestiality is not a lorchel that it is not a kind of a bug and is not a kind of an acre is not right.; void -> assump1: Let's assume that that the bestiality is not a kind of a lorchel is right.; int1 & assump1 -> int2: that the bestiality is not a bug and is not an acre is incorrect.; int2 & sent11 -> int3: the esplanade is a coccobacillus.; int3 & sent7 -> int4: the overachiever is a Carmelite.; sent6 -> int5: the fact that the overachiever is liliaceous is not wrong if it is a kind of a Carmelite.; int4 & int5 -> int6: the overachiever is liliaceous.; sent2 -> int7: if the overachiever is liliaceous then it does frighten Picasso.; int6 & int7 -> int8: the overachiever frightens Picasso.; sent4 -> int9: the overachiever does not frighten Picasso if it does not putter and it does not think heaves.; int9 & sent9 -> int10: the fact that the overachiever does not frighten Picasso is not wrong.; int8 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
that the bestiality is not a kind of a lorchel is true.
sent5 -> int12: the bestiality is not a lorchel if it is a coccobacillus and is a Carmelite.;
$hypothesis$ = the bestiality is a kind of a lorchel. ; $context$ = sent1: if something does not think effluvium that it is not a deep and it is not a dealfish is false. sent2: something frightens Picasso if it is liliaceous. sent3: the esplanade is not a bug. sent4: if something that is not a putter does not think heaves it does not frighten Picasso. sent5: if a coccobacillus is a Carmelite it is not a kind of a lorchel. sent6: if something is a Carmelite then it is liliaceous. sent7: the overachiever is a kind of a Carmelite if the esplanade is a coccobacillus. sent8: that something is not a bug and is not a kind of an acre is not right if it is not a lorchel. sent9: the overachiever is not a putter and does not think heaves. sent10: if the bestiality is not a putter and it is not a kind of an acre it is non-Carmelite. sent11: if the fact that the bestiality is both not a bug and not an acre is false the esplanade is a coccobacillus. sent12: the bestiality does not think heaves if it is not a putter and it is not a kind of a lorchel. sent13: the overachiever is a bug if it is Carmelite. ; $proof$ = 
sent8 -> int1: if the bestiality is not a lorchel that it is not a kind of a bug and is not a kind of an acre is not right.; void -> assump1: Let's assume that that the bestiality is not a kind of a lorchel is right.; int1 & assump1 -> int2: that the bestiality is not a bug and is not an acre is incorrect.; int2 & sent11 -> int3: the esplanade is a coccobacillus.; int3 & sent7 -> int4: the overachiever is a Carmelite.; sent6 -> int5: the fact that the overachiever is liliaceous is not wrong if it is a kind of a Carmelite.; int4 & int5 -> int6: the overachiever is liliaceous.; sent2 -> int7: if the overachiever is liliaceous then it does frighten Picasso.; int6 & int7 -> int8: the overachiever frightens Picasso.; sent4 -> int9: the overachiever does not frighten Picasso if it does not putter and it does not think heaves.; int9 & sent9 -> int10: the fact that the overachiever does not frighten Picasso is not wrong.; int8 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __PROVED__