the grand is not a headlight.
sent1: if the fact that something is a streptococcus and not a paramecium is incorrect the fact that it dilapidates teliospore hold. sent2: the daredevil is a kind of tympanic thing that is a kind of a English if the fact that it excludes is not true. sent3: if that the daredevil does not dilapidate teliospore does not hold it is not tympanic. sent4: that the daredevil is a kind of a streptococcus but it is not a kind of a paramecium is not correct if the brakes is a streptococcus. sent5: the grand is a headlight if it is a kind of non-atypical thing that does not smock Ictonyx. sent6: if the differential is a varnisher the brakes is a streptococcus. sent7: the daredevil does not exclude. sent8: if there is something such that that it is a kind of non-atypical thing that does not smock Ictonyx does not hold then the differential is a kind of a varnisher.
void -> assump1: Let's assume that the fact that the grand is not atypical and it does not smock Ictonyx is not right.; assump1 -> int1: there exists something such that the fact that it is not atypical and it does not smock Ictonyx is not right.; int1 & sent8 -> int2: the differential is a varnisher.; int2 & sent6 -> int3: the brakes is a kind of a streptococcus.; int3 & sent4 -> int4: that the daredevil is a streptococcus but it is not a kind of a paramecium is incorrect.; sent1 -> int5: if the fact that the daredevil is a streptococcus and not a paramecium is wrong then it does dilapidate teliospore.; int4 & int5 -> int6: that the daredevil dilapidates teliospore hold.; int6 & sent3 -> int7: the daredevil is not tympanic.; sent2 & sent7 -> int8: the daredevil is tympanic and is a kind of a English.; int8 -> int9: the daredevil is tympanic.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the grand is not atypical and it does not smock Ictonyx.; int11 & sent5 -> hypothesis;
$hypothesis$ = the grand is not a headlight. ; $context$ = sent1: if the fact that something is a streptococcus and not a paramecium is incorrect the fact that it dilapidates teliospore hold. sent2: the daredevil is a kind of tympanic thing that is a kind of a English if the fact that it excludes is not true. sent3: if that the daredevil does not dilapidate teliospore does not hold it is not tympanic. sent4: that the daredevil is a kind of a streptococcus but it is not a kind of a paramecium is not correct if the brakes is a streptococcus. sent5: the grand is a headlight if it is a kind of non-atypical thing that does not smock Ictonyx. sent6: if the differential is a varnisher the brakes is a streptococcus. sent7: the daredevil does not exclude. sent8: if there is something such that that it is a kind of non-atypical thing that does not smock Ictonyx does not hold then the differential is a kind of a varnisher. ; $proof$ = 
void -> assump1: Let's assume that the fact that the grand is not atypical and it does not smock Ictonyx is not right.; assump1 -> int1: there exists something such that the fact that it is not atypical and it does not smock Ictonyx is not right.; int1 & sent8 -> int2: the differential is a varnisher.; int2 & sent6 -> int3: the brakes is a kind of a streptococcus.; int3 & sent4 -> int4: that the daredevil is a streptococcus but it is not a kind of a paramecium is incorrect.; sent1 -> int5: if the fact that the daredevil is a streptococcus and not a paramecium is wrong then it does dilapidate teliospore.; int4 & int5 -> int6: that the daredevil dilapidates teliospore hold.; int6 & sent3 -> int7: the daredevil is not tympanic.; sent2 & sent7 -> int8: the daredevil is tympanic and is a kind of a English.; int8 -> int9: the daredevil is tympanic.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the grand is not atypical and it does not smock Ictonyx.; int11 & sent5 -> hypothesis; __DISPROVED__