the carnivore is not a Sitophylus.
sent1: that the articulator stigmatizes Icarus and is not a quill is not true. sent2: the carnivore is not a Sitophylus if that the articulator does not waive but it permits Ohio hold. sent3: the fact that something does not permit Ohio and is not a craps is incorrect if the fact that it does permit judiciary is not incorrect. sent4: that the vandal is not a Massine and it is not a kind of a quill does not hold. sent5: if something does not permit Ohio then it does not stigmatize Icarus. sent6: the vandal is a Massine and is a craps. sent7: the vandal is a craps. sent8: if the articulator is not a quill then it does permit Ohio. sent9: if something does waive it is a Sitophylus. sent10: something does not waive and permits Ohio if it is not a quill. sent11: if something is a Massine then it does waive. sent12: the fact that the articulator does not stigmatize Icarus but it is a kind of a quill is false. sent13: if something is not a quill then it permits Ohio. sent14: if the fact that the articulator does not stigmatize Icarus and it is not a kind of a quill is false then the vandal is not a Massine.
void -> assump1: Let's assume that that the articulator does not stigmatize Icarus and is not a kind of a quill is wrong.; sent14 & assump1 -> int1: the fact that the vandal is not a Massine is true.; sent6 -> int2: the fact that the vandal is a Massine is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the articulator does not stigmatize Icarus and is not a quill.; int4 -> int5: the articulator is not a quill.; sent10 -> int6: the articulator does not waive and permits Ohio if it is not a quill.; int5 & int6 -> int7: the articulator does not waive but it does permit Ohio.; int7 & sent2 -> hypothesis;
the carnivore is a Sitophylus.
sent9 -> int8: if the carnivore waives then that it is a Sitophylus is not false.; sent11 -> int9: the carnivore waives if it is a kind of a Massine.; sent3 -> int10: that the articulator does not permit Ohio and is not a craps is wrong if it does permit judiciary.;
$hypothesis$ = the carnivore is not a Sitophylus. ; $context$ = sent1: that the articulator stigmatizes Icarus and is not a quill is not true. sent2: the carnivore is not a Sitophylus if that the articulator does not waive but it permits Ohio hold. sent3: the fact that something does not permit Ohio and is not a craps is incorrect if the fact that it does permit judiciary is not incorrect. sent4: that the vandal is not a Massine and it is not a kind of a quill does not hold. sent5: if something does not permit Ohio then it does not stigmatize Icarus. sent6: the vandal is a Massine and is a craps. sent7: the vandal is a craps. sent8: if the articulator is not a quill then it does permit Ohio. sent9: if something does waive it is a Sitophylus. sent10: something does not waive and permits Ohio if it is not a quill. sent11: if something is a Massine then it does waive. sent12: the fact that the articulator does not stigmatize Icarus but it is a kind of a quill is false. sent13: if something is not a quill then it permits Ohio. sent14: if the fact that the articulator does not stigmatize Icarus and it is not a kind of a quill is false then the vandal is not a Massine. ; $proof$ = 
void -> assump1: Let's assume that that the articulator does not stigmatize Icarus and is not a kind of a quill is wrong.; sent14 & assump1 -> int1: the fact that the vandal is not a Massine is true.; sent6 -> int2: the fact that the vandal is a Massine is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the articulator does not stigmatize Icarus and is not a quill.; int4 -> int5: the articulator is not a quill.; sent10 -> int6: the articulator does not waive and permits Ohio if it is not a quill.; int5 & int6 -> int7: the articulator does not waive but it does permit Ohio.; int7 & sent2 -> hypothesis; __PROVED__