the store does pink flare.
sent1: something that does pink fictionalization and is not a turncock is a submissiveness. sent2: something is azo if it is a serin. sent3: if there is something such that that it does pink fictionalization and is not a kind of a turncock is wrong the store pinks flare. sent4: if the windage is a submissiveness then it is a kind of a serin. sent5: everything is non-azo.
sent1 -> int1: the windage is a submissiveness if it does pink fictionalization and is not a turncock.; void -> assump1: Let's assume that the windage does pink fictionalization and is not a turncock.; int1 & assump1 -> int2: the windage is a submissiveness.; int2 & sent4 -> int3: the windage is a serin.; sent2 -> int4: the windage is azo if it is a kind of a serin.; int3 & int4 -> int5: the windage is azo.; sent5 -> int6: the windage is not azo.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the windage pinks fictionalization but it is not a turncock is not true.; int8 -> int9: there is something such that the fact that it pinks fictionalization and it is not a kind of a turncock is not correct.; int9 & sent3 -> hypothesis;
$hypothesis$ = the store does pink flare. ; $context$ = sent1: something that does pink fictionalization and is not a turncock is a submissiveness. sent2: something is azo if it is a serin. sent3: if there is something such that that it does pink fictionalization and is not a kind of a turncock is wrong the store pinks flare. sent4: if the windage is a submissiveness then it is a kind of a serin. sent5: everything is non-azo. ; $proof$ = 
sent1 -> int1: the windage is a submissiveness if it does pink fictionalization and is not a turncock.; void -> assump1: Let's assume that the windage does pink fictionalization and is not a turncock.; int1 & assump1 -> int2: the windage is a submissiveness.; int2 & sent4 -> int3: the windage is a serin.; sent2 -> int4: the windage is azo if it is a kind of a serin.; int3 & int4 -> int5: the windage is azo.; sent5 -> int6: the windage is not azo.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the windage pinks fictionalization but it is not a turncock is not true.; int8 -> int9: there is something such that the fact that it pinks fictionalization and it is not a kind of a turncock is not correct.; int9 & sent3 -> hypothesis; __PROVED__