the whiteout is not pyroelectric.
sent1: something is pyroelectric if it is a kind of a Geophilus. sent2: that the pyrope is pyroelectric is right. sent3: the Khanty is pyroelectric if there exists something such that the fact that it is a census that is not a Geophilus does not hold. sent4: the whiteout is a Geophilus if it is a census. sent5: something is not a kind of a Geophilus if that it is inadmissible and it is not serviceable does not hold. sent6: everything is obstetrics and it is crural. sent7: if that the hemerobiid is pyroelectric and is inadmissible does not hold then it is not pyroelectric. sent8: the whiteout is serviceable if there exists something such that the fact that it is both not a caseworker and not sinistral is incorrect. sent9: the whiteout is a census. sent10: if the fact that the whiteout is not a caseworker or not serviceable or both is wrong then it is not pyroelectric. sent11: that something is inadmissible but it is not serviceable does not hold if it is a caseworker. sent12: the whiteout is a beneficiary. sent13: the fact that something censuses but it is not a Geophilus is not right if it is inadmissible. sent14: if something is serviceable it is inadmissible.
sent4 & sent9 -> int1: the whiteout is a Geophilus.; sent1 -> int2: the fact that the whiteout is pyroelectric is correct if it is a kind of a Geophilus.; int1 & int2 -> hypothesis;
the hemerobiid is a census.
$hypothesis$ = the whiteout is not pyroelectric. ; $context$ = sent1: something is pyroelectric if it is a kind of a Geophilus. sent2: that the pyrope is pyroelectric is right. sent3: the Khanty is pyroelectric if there exists something such that the fact that it is a census that is not a Geophilus does not hold. sent4: the whiteout is a Geophilus if it is a census. sent5: something is not a kind of a Geophilus if that it is inadmissible and it is not serviceable does not hold. sent6: everything is obstetrics and it is crural. sent7: if that the hemerobiid is pyroelectric and is inadmissible does not hold then it is not pyroelectric. sent8: the whiteout is serviceable if there exists something such that the fact that it is both not a caseworker and not sinistral is incorrect. sent9: the whiteout is a census. sent10: if the fact that the whiteout is not a caseworker or not serviceable or both is wrong then it is not pyroelectric. sent11: that something is inadmissible but it is not serviceable does not hold if it is a caseworker. sent12: the whiteout is a beneficiary. sent13: the fact that something censuses but it is not a Geophilus is not right if it is inadmissible. sent14: if something is serviceable it is inadmissible. ; $proof$ = 
sent4 & sent9 -> int1: the whiteout is a Geophilus.; sent1 -> int2: the fact that the whiteout is pyroelectric is correct if it is a kind of a Geophilus.; int1 & int2 -> hypothesis; __DISPROVED__