the lash does not factor.
sent1: the pia is a kind of a scallop and it is postictal. sent2: the lash is eugenic thing that is Vedic. sent3: everything nests awl. sent4: the lash is a kind of a parer. sent5: everything neglects self-heal and it is figurative. sent6: the lash nests awl and is strategic. sent7: the lash is curricular thing that does nest awl. sent8: the awl does nest awl. sent9: the lash does nest awl. sent10: that everything is a factor and it nests awl hold. sent11: the lash is postictal if the pia is postictal. sent12: the lateen nests awl. sent13: if a cooling is a Fontanne it is not a kind of a fragment. sent14: the weeder is a Testudinidae and it is a factor. sent15: everything is both a cooling and a Fontanne. sent16: the procrastinator does nest epidural and it does neglect grouped.
sent10 -> int1: the lash is a factor and it nests awl.; int1 -> hypothesis;
the lash is postictal a ballottement.
sent1 -> int2: the pia is postictal.; sent11 & int2 -> int3: the fact that the lash is postictal is true.;
$hypothesis$ = the lash does not factor. ; $context$ = sent1: the pia is a kind of a scallop and it is postictal. sent2: the lash is eugenic thing that is Vedic. sent3: everything nests awl. sent4: the lash is a kind of a parer. sent5: everything neglects self-heal and it is figurative. sent6: the lash nests awl and is strategic. sent7: the lash is curricular thing that does nest awl. sent8: the awl does nest awl. sent9: the lash does nest awl. sent10: that everything is a factor and it nests awl hold. sent11: the lash is postictal if the pia is postictal. sent12: the lateen nests awl. sent13: if a cooling is a Fontanne it is not a kind of a fragment. sent14: the weeder is a Testudinidae and it is a factor. sent15: everything is both a cooling and a Fontanne. sent16: the procrastinator does nest epidural and it does neglect grouped. ; $proof$ = 
sent10 -> int1: the lash is a factor and it nests awl.; int1 -> hypothesis; __DISPROVED__