that the wheatflake does not tease tiling and is a kind of a hinge is not true.
sent1: that the dauber is not obtrusive but it hinges is incorrect. sent2: the wheatflake does not fulminate but it is a hinge. sent3: that the dauber surmises silks and it is an incidental is not true. sent4: if that the dauber does not surmise silks and is an incidental is not true then it is not a Agene. sent5: if the fact that the dauber is not obtrusive but it is a Agene is wrong it is not a hinge. sent6: the dauber is not a kind of an incidental and does tease tiling if the wheatflake is not a Agene. sent7: the dauber is not an incidental if it does not tease tiling and it is obtrusive. sent8: the dauber is not a pew. sent9: the dauber is not a spikemoss. sent10: the five-spot does not tease tiling. sent11: the wheatflake is a kind of a Agene. sent12: if the fact that the princess is not a Kelly but it is obtrusive does not hold then it is not a Lygodium. sent13: if the dauber is not a kind of a hinge then the wheatflake does not surmise silks. sent14: the fact that the wheatflake does not surmise silks and is a hinge is correct. sent15: if the dauber does not tease tiling the wheatflake is not a Agene. sent16: if the dauber is not a kind of a hinge the wheatflake does not surmise silks but it is obtrusive. sent17: that the dauber does not tease sapphire and is obtrusive is not correct. sent18: that the dauber is not obtrusive is correct if it does not surmise silks and it is incidental. sent19: the wheatflake does not tease tiling and hinges if the dauber is not a Agene. sent20: the dauber is obtrusive. sent21: the elder is a Agene. sent22: the flyspeck is not an incidental. sent23: the pneumatophore is not obtrusive.
void -> assump1: Let's assume that the dauber does not surmise silks and is not non-incidental.; sent18 & assump1 -> int1: the dauber is not obtrusive.; int1 & sent20 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the dauber does not surmise silks and is incidental is not wrong does not hold.; int3 & sent4 -> int4: the dauber is not a kind of a Agene.; int4 & sent19 -> hypothesis;
$hypothesis$ = that the wheatflake does not tease tiling and is a kind of a hinge is not true. ; $context$ = sent1: that the dauber is not obtrusive but it hinges is incorrect. sent2: the wheatflake does not fulminate but it is a hinge. sent3: that the dauber surmises silks and it is an incidental is not true. sent4: if that the dauber does not surmise silks and is an incidental is not true then it is not a Agene. sent5: if the fact that the dauber is not obtrusive but it is a Agene is wrong it is not a hinge. sent6: the dauber is not a kind of an incidental and does tease tiling if the wheatflake is not a Agene. sent7: the dauber is not an incidental if it does not tease tiling and it is obtrusive. sent8: the dauber is not a pew. sent9: the dauber is not a spikemoss. sent10: the five-spot does not tease tiling. sent11: the wheatflake is a kind of a Agene. sent12: if the fact that the princess is not a Kelly but it is obtrusive does not hold then it is not a Lygodium. sent13: if the dauber is not a kind of a hinge then the wheatflake does not surmise silks. sent14: the fact that the wheatflake does not surmise silks and is a hinge is correct. sent15: if the dauber does not tease tiling the wheatflake is not a Agene. sent16: if the dauber is not a kind of a hinge the wheatflake does not surmise silks but it is obtrusive. sent17: that the dauber does not tease sapphire and is obtrusive is not correct. sent18: that the dauber is not obtrusive is correct if it does not surmise silks and it is incidental. sent19: the wheatflake does not tease tiling and hinges if the dauber is not a Agene. sent20: the dauber is obtrusive. sent21: the elder is a Agene. sent22: the flyspeck is not an incidental. sent23: the pneumatophore is not obtrusive. ; $proof$ = 
void -> assump1: Let's assume that the dauber does not surmise silks and is not non-incidental.; sent18 & assump1 -> int1: the dauber is not obtrusive.; int1 & sent20 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the dauber does not surmise silks and is incidental is not wrong does not hold.; int3 & sent4 -> int4: the dauber is not a kind of a Agene.; int4 & sent19 -> hypothesis; __DISPROVED__