the sifter is not a kind of a Yugoslav.
sent1: the sifter is a kind of a Yugoslav and is a kind of a get if the spiv does not appropriate charitableness. sent2: the fact that if that something does not subtilize foreground and does subtilize quiche is not correct then it is not a kind of a get is correct. sent3: if the fact that something does appropriate charitableness is correct then it is a get. sent4: if something that does not subtilize foreground subtilizes quiche then it is not a Yugoslav. sent5: if the sifter is non-anticlimactic thing that subtilizes quiche then that it does not appropriate charitableness is not wrong. sent6: that the sifter does appropriate charitableness hold if the spiv is not anticlimactic. sent7: the spiv is not anticlimactic. sent8: the sifter subtilizes quiche.
sent2 -> int1: the sifter does not get if the fact that it does not subtilize foreground and does subtilize quiche is incorrect.; void -> assump1: Let's assume that that the sifter does not subtilize foreground and subtilizes quiche is not true.; int1 & assump1 -> int2: the sifter is not a get.; sent3 -> int3: if the sifter appropriates charitableness that it is a get is right.; sent6 & sent7 -> int4: the fact that the sifter appropriates charitableness is correct.; int3 & int4 -> int5: the sifter does get.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sifter does not subtilize foreground and does subtilize quiche.; sent4 -> int8: if the sifter does not subtilize foreground but it does subtilize quiche then it is not a Yugoslav.; int7 & int8 -> hypothesis;
the sifter is a Yugoslav.
$hypothesis$ = the sifter is not a kind of a Yugoslav. ; $context$ = sent1: the sifter is a kind of a Yugoslav and is a kind of a get if the spiv does not appropriate charitableness. sent2: the fact that if that something does not subtilize foreground and does subtilize quiche is not correct then it is not a kind of a get is correct. sent3: if the fact that something does appropriate charitableness is correct then it is a get. sent4: if something that does not subtilize foreground subtilizes quiche then it is not a Yugoslav. sent5: if the sifter is non-anticlimactic thing that subtilizes quiche then that it does not appropriate charitableness is not wrong. sent6: that the sifter does appropriate charitableness hold if the spiv is not anticlimactic. sent7: the spiv is not anticlimactic. sent8: the sifter subtilizes quiche. ; $proof$ = 
sent2 -> int1: the sifter does not get if the fact that it does not subtilize foreground and does subtilize quiche is incorrect.; void -> assump1: Let's assume that that the sifter does not subtilize foreground and subtilizes quiche is not true.; int1 & assump1 -> int2: the sifter is not a get.; sent3 -> int3: if the sifter appropriates charitableness that it is a get is right.; sent6 & sent7 -> int4: the fact that the sifter appropriates charitableness is correct.; int3 & int4 -> int5: the sifter does get.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sifter does not subtilize foreground and does subtilize quiche.; sent4 -> int8: if the sifter does not subtilize foreground but it does subtilize quiche then it is not a Yugoslav.; int7 & int8 -> hypothesis; __PROVED__