that the stay-at-home is not a specifier but it is a Brahman does not hold if it is a deep.
sent1: something that piques Steele is hymenopterous. sent2: that the stay-at-home is a specifier and a Brahman is false. sent3: the stay-at-home nosedives if it is not on-line. sent4: the phyllode does frisk stay-at-home and/or it is hymenopterous. sent5: if the stay-at-home is deep then it is not a specifier and it is a kind of a Brahman. sent6: the stay-at-home piques Steele if the phyllode is hymenopterous. sent7: the stay-at-home is both not a specifier and a Brahman. sent8: if the stay-at-home is deep then that it is a specifier and it is a kind of a Brahman does not hold. sent9: that the stay-at-home is not a specifier but it is a kind of the Brahman if the stay-at-home does nosedive hold. sent10: the fact that something is not a specifier but a Brahman does not hold if it nosedives. sent11: something is not a specifier but it is a Brahman if it is a nosedive. sent12: if something nosedives that it is a specifier and is a kind of a Brahman is not true. sent13: if something does pique Steele and it is deep it is not on-line. sent14: the stay-at-home does pique Steele if that the phyllode frisks stay-at-home is right. sent15: that the stay-at-home is a kind of a specifier that is a kind of a Brahman is not correct if it is a kind of a nosedive.
sent4 & sent14 & sent6 -> int1: the stay-at-home piques Steele.; void -> assump1: Let's assume that the stay-at-home is a deep.; int1 & assump1 -> int2: the stay-at-home piques Steele and is a kind of a deep.; sent13 -> int3: the stay-at-home is non-on-line if it does pique Steele and it is a deep.; int2 & int3 -> int4: the fact that the stay-at-home is not on-line hold.; int4 & sent3 -> int5: the stay-at-home does nosedive.; sent10 -> int6: if the stay-at-home is a nosedive then the fact that it is not a specifier and it is a kind of a Brahman does not hold.; int5 & int6 -> int7: that the stay-at-home is not a specifier but it is a Brahman is not true.; [assump1] & int7 -> hypothesis;
the thyrse frisks stay-at-home.
sent1 -> int8: if the thyrse piques Steele it is hymenopterous.;
$hypothesis$ = that the stay-at-home is not a specifier but it is a Brahman does not hold if it is a deep. ; $context$ = sent1: something that piques Steele is hymenopterous. sent2: that the stay-at-home is a specifier and a Brahman is false. sent3: the stay-at-home nosedives if it is not on-line. sent4: the phyllode does frisk stay-at-home and/or it is hymenopterous. sent5: if the stay-at-home is deep then it is not a specifier and it is a kind of a Brahman. sent6: the stay-at-home piques Steele if the phyllode is hymenopterous. sent7: the stay-at-home is both not a specifier and a Brahman. sent8: if the stay-at-home is deep then that it is a specifier and it is a kind of a Brahman does not hold. sent9: that the stay-at-home is not a specifier but it is a kind of the Brahman if the stay-at-home does nosedive hold. sent10: the fact that something is not a specifier but a Brahman does not hold if it nosedives. sent11: something is not a specifier but it is a Brahman if it is a nosedive. sent12: if something nosedives that it is a specifier and is a kind of a Brahman is not true. sent13: if something does pique Steele and it is deep it is not on-line. sent14: the stay-at-home does pique Steele if that the phyllode frisks stay-at-home is right. sent15: that the stay-at-home is a kind of a specifier that is a kind of a Brahman is not correct if it is a kind of a nosedive. ; $proof$ = 
sent4 & sent14 & sent6 -> int1: the stay-at-home piques Steele.; void -> assump1: Let's assume that the stay-at-home is a deep.; int1 & assump1 -> int2: the stay-at-home piques Steele and is a kind of a deep.; sent13 -> int3: the stay-at-home is non-on-line if it does pique Steele and it is a deep.; int2 & int3 -> int4: the fact that the stay-at-home is not on-line hold.; int4 & sent3 -> int5: the stay-at-home does nosedive.; sent10 -> int6: if the stay-at-home is a nosedive then the fact that it is not a specifier and it is a kind of a Brahman does not hold.; int5 & int6 -> int7: that the stay-at-home is not a specifier but it is a Brahman is not true.; [assump1] & int7 -> hypothesis; __PROVED__