the blaster does contort aviation.
sent1: the varnish does not fit Crateva and contorts aviation if that the prehensor is not a kind of a Anderson is true. sent2: that something is a Anderson is not wrong if it does not proliferate. sent3: the fact that that the flavin is not a Enlightenment and it is not fraternal does not hold is not false. sent4: the etanercept resolves but it does not proliferate if the periosteum is comprehensible. sent5: something that does not bedizen snit is both not an emetic and not ceric. sent6: if the varnish fits Crateva then it does not fit graham. sent7: the varnish does not fit graham. sent8: if something that is not an emetic is not ceric then the fact that it is a pitter-patter is true. sent9: if the periosteum is a kind of a pitter-patter then it is comprehensible. sent10: if something that is comprehensible is a pitter-patter the varnish does not proliferate. sent11: something does contort aviation if the fact that it does not fit Crateva and does not resolve does not hold. sent12: the varnish is not a Circassian and it does not fit graham if it fits Crateva. sent13: something is not a kind of a Anderson if it is not a kind of a Circassian and it does not fit graham. sent14: the blaster does not contort aviation if the varnish does not fit Crateva and does contort aviation. sent15: if the varnish does not fit Crateva that the blaster does not fit Crateva and it does not resolve is incorrect. sent16: something is comprehensible and it is a pitter-patter.
void -> assump1: Let's assume that the varnish fits Crateva.; sent12 & assump1 -> int1: the varnish is not a Circassian and does not fit graham.; sent13 -> int2: if the fact that the varnish is not a Circassian and it does not fit graham is not false it is not a Anderson.; int1 & int2 -> int3: the varnish is not a Anderson.; sent2 -> int4: if the varnish does not proliferate it is a kind of a Anderson.; sent16 & sent10 -> int5: that the varnish does not proliferate is right.; int4 & int5 -> int6: the varnish is a Anderson.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the varnish does not fit Crateva.; int8 & sent15 -> int9: that the blaster does not fit Crateva and it does not resolve is false.; sent11 -> int10: if the fact that the blaster does not fit Crateva and does not resolve is wrong then it does contort aviation.; int9 & int10 -> hypothesis;
the blaster does not contort aviation.
sent8 -> int11: the periosteum is a pitter-patter if it is not an emetic and is not ceric.; sent5 -> int12: if the periosteum does not bedizen snit then it is not a kind of an emetic and is not ceric.;
$hypothesis$ = the blaster does contort aviation. ; $context$ = sent1: the varnish does not fit Crateva and contorts aviation if that the prehensor is not a kind of a Anderson is true. sent2: that something is a Anderson is not wrong if it does not proliferate. sent3: the fact that that the flavin is not a Enlightenment and it is not fraternal does not hold is not false. sent4: the etanercept resolves but it does not proliferate if the periosteum is comprehensible. sent5: something that does not bedizen snit is both not an emetic and not ceric. sent6: if the varnish fits Crateva then it does not fit graham. sent7: the varnish does not fit graham. sent8: if something that is not an emetic is not ceric then the fact that it is a pitter-patter is true. sent9: if the periosteum is a kind of a pitter-patter then it is comprehensible. sent10: if something that is comprehensible is a pitter-patter the varnish does not proliferate. sent11: something does contort aviation if the fact that it does not fit Crateva and does not resolve does not hold. sent12: the varnish is not a Circassian and it does not fit graham if it fits Crateva. sent13: something is not a kind of a Anderson if it is not a kind of a Circassian and it does not fit graham. sent14: the blaster does not contort aviation if the varnish does not fit Crateva and does contort aviation. sent15: if the varnish does not fit Crateva that the blaster does not fit Crateva and it does not resolve is incorrect. sent16: something is comprehensible and it is a pitter-patter. ; $proof$ = 
void -> assump1: Let's assume that the varnish fits Crateva.; sent12 & assump1 -> int1: the varnish is not a Circassian and does not fit graham.; sent13 -> int2: if the fact that the varnish is not a Circassian and it does not fit graham is not false it is not a Anderson.; int1 & int2 -> int3: the varnish is not a Anderson.; sent2 -> int4: if the varnish does not proliferate it is a kind of a Anderson.; sent16 & sent10 -> int5: that the varnish does not proliferate is right.; int4 & int5 -> int6: the varnish is a Anderson.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the varnish does not fit Crateva.; int8 & sent15 -> int9: that the blaster does not fit Crateva and it does not resolve is false.; sent11 -> int10: if the fact that the blaster does not fit Crateva and does not resolve is wrong then it does contort aviation.; int9 & int10 -> hypothesis; __PROVED__