the she-devil is an insert.
sent1: if the fact that something is non-statistical and a bellyful is false it does insert. sent2: if that the she-devil is polyhedral is correct then it eliminates doctorspeak. sent3: the neurologist is mucinoid if the fact that it hypnotizes symbolism is not wrong. sent4: the raper is non-mucinoid if the neurologist is non-mucinoid and it pins infiniteness. sent5: the raper does hypnotize one and is not an insert if it is non-mucinoid. sent6: if there is something such that that it is statistical is correct that the she-devil is not statistical but it is a kind of a bellyful is false. sent7: the fact that the she-devil is a kind of an insert is true if it is statistical. sent8: there exists something such that it is statistical. sent9: if something is a brazier it is eradicable.
sent1 -> int1: the she-devil does insert if the fact that it is not statistical and it is a bellyful is wrong.; sent8 & sent6 -> int2: the fact that the she-devil is non-statistical thing that is a bellyful is not true.; int1 & int2 -> hypothesis;
something is eradicable.
sent9 -> int3: if the truck is a brazier then it is eradicable.;
$hypothesis$ = the she-devil is an insert. ; $context$ = sent1: if the fact that something is non-statistical and a bellyful is false it does insert. sent2: if that the she-devil is polyhedral is correct then it eliminates doctorspeak. sent3: the neurologist is mucinoid if the fact that it hypnotizes symbolism is not wrong. sent4: the raper is non-mucinoid if the neurologist is non-mucinoid and it pins infiniteness. sent5: the raper does hypnotize one and is not an insert if it is non-mucinoid. sent6: if there is something such that that it is statistical is correct that the she-devil is not statistical but it is a kind of a bellyful is false. sent7: the fact that the she-devil is a kind of an insert is true if it is statistical. sent8: there exists something such that it is statistical. sent9: if something is a brazier it is eradicable. ; $proof$ = 
sent1 -> int1: the she-devil does insert if the fact that it is not statistical and it is a bellyful is wrong.; sent8 & sent6 -> int2: the fact that the she-devil is non-statistical thing that is a bellyful is not true.; int1 & int2 -> hypothesis; __PROVED__