the solitary is a nativist.
sent1: The epithalamium garners bend. sent2: either the Percheron does not garner janissary or it does garner epithalamium or both. sent3: the wall is an attentiveness and it does kibitz if the fact that the accessory does not pitch arithmancy is not false. sent4: if there is something such that the fact that it is Lusitanian and it is not mutagenic is not right then the bend is not an attentiveness. sent5: the bend is an attentiveness if it does garner epithalamium. sent6: if that the wall does not kibitz but it does pitch arithmancy does not hold the solitary is a nativist. sent7: if something garners Arctonyx then that it is not non-Lusitanian and it is not non-mutagenic is incorrect. sent8: if something does garner Arctonyx then that it is Lusitanian and it is not mutagenic is false. sent9: there is something such that that it is Lusitanian thing that is not a kind of an attentiveness is false. sent10: if the sheika does not garner Arctonyx then that the wall does not kibitz and does pitch arithmancy is false. sent11: the fact that the sheika is Lusitanian and mutagenic is wrong. sent12: the bend garners epithalamium.
sent8 -> int1: if the sheika garners Arctonyx the fact that it is Lusitanian and is not mutagenic is wrong.; void -> assump1: Let's assume that the sheika does garner Arctonyx.; int1 & assump1 -> int2: the fact that the sheika is Lusitanian and is not mutagenic does not hold.; int2 -> int3: there exists something such that that it is Lusitanian and is not mutagenic is not true.; int3 & sent4 -> int4: the bend is not an attentiveness.; sent5 & sent12 -> int5: the bend is an attentiveness.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sheika does not garner Arctonyx.; int7 & sent10 -> int8: that the wall does not kibitz but it does pitch arithmancy is not true.; int8 & sent6 -> hypothesis;
the solitary is not a nativist.
sent2 -> int9: there is something such that it does not garner janissary and/or garners epithalamium.;
$hypothesis$ = the solitary is a nativist. ; $context$ = sent1: The epithalamium garners bend. sent2: either the Percheron does not garner janissary or it does garner epithalamium or both. sent3: the wall is an attentiveness and it does kibitz if the fact that the accessory does not pitch arithmancy is not false. sent4: if there is something such that the fact that it is Lusitanian and it is not mutagenic is not right then the bend is not an attentiveness. sent5: the bend is an attentiveness if it does garner epithalamium. sent6: if that the wall does not kibitz but it does pitch arithmancy does not hold the solitary is a nativist. sent7: if something garners Arctonyx then that it is not non-Lusitanian and it is not non-mutagenic is incorrect. sent8: if something does garner Arctonyx then that it is Lusitanian and it is not mutagenic is false. sent9: there is something such that that it is Lusitanian thing that is not a kind of an attentiveness is false. sent10: if the sheika does not garner Arctonyx then that the wall does not kibitz and does pitch arithmancy is false. sent11: the fact that the sheika is Lusitanian and mutagenic is wrong. sent12: the bend garners epithalamium. ; $proof$ = 
sent8 -> int1: if the sheika garners Arctonyx the fact that it is Lusitanian and is not mutagenic is wrong.; void -> assump1: Let's assume that the sheika does garner Arctonyx.; int1 & assump1 -> int2: the fact that the sheika is Lusitanian and is not mutagenic does not hold.; int2 -> int3: there exists something such that that it is Lusitanian and is not mutagenic is not true.; int3 & sent4 -> int4: the bend is not an attentiveness.; sent5 & sent12 -> int5: the bend is an attentiveness.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sheika does not garner Arctonyx.; int7 & sent10 -> int8: that the wall does not kibitz but it does pitch arithmancy is not true.; int8 & sent6 -> hypothesis; __PROVED__