the plaster is a zirconium and it is bipolar.
sent1: the plaster is a zirconium that is a Wajda. sent2: if the equine is a kind of a begum it does impair greenfly. sent3: everything is a begum. sent4: if the chalcidfly does impair disambiguator the job is impartial. sent5: the fact that if there exists something such that it is impartial and it does not impair greenfly the doll is not biotic is true. sent6: if the chalcidfly impairs plaster then the job is impartial. sent7: the plaster is prejudiced thing that is biotic. sent8: the plaster is bipolar if it is a kind of non-impartial thing that is biotic. sent9: if the equine is a Angora and it impairs greenfly the job does not impairs greenfly. sent10: everything impairs plaster and/or it does impair disambiguator. sent11: the spokeswoman is a kind of a Wajda if something is not biotic. sent12: if the equine does not holystone and/or it is punctual it does not bask chalcidfly. sent13: the equine either is not a holystone or is punctual or both. sent14: the equine is a kind of a Angora and it is a kind of a overskirt if it does not bask chalcidfly.
sent1 -> int1: the plaster is a zirconium.; sent8 & sent7 -> int2: the plaster is bipolar.; int1 & int2 -> hypothesis;
the fact that the plaster is a zirconium and it is bipolar is not true.
sent10 -> int3: the chalcidfly impairs plaster and/or does impair disambiguator.; int3 & sent6 & sent4 -> int4: the fact that the job is impartial is true.; sent12 & sent13 -> int5: the equine does not bask chalcidfly.; sent14 & int5 -> int6: the equine is a kind of a Angora that is a overskirt.; int6 -> int7: the equine is a kind of a Angora.; sent3 -> int8: the equine is a begum.; sent2 & int8 -> int9: the equine does impair greenfly.; int7 & int9 -> int10: the equine is a Angora and does impair greenfly.; sent9 & int10 -> int11: the job does not impair greenfly.; int4 & int11 -> int12: the job is impartial but it does not impair greenfly.; int12 -> int13: there is something such that it is impartial and it does not impair greenfly.; int13 & sent5 -> int14: the doll is not biotic.; int14 -> int15: there exists something such that it is not biotic.; int15 & sent11 -> int16: the fact that the spokeswoman is a Wajda is not false.; int16 -> int17: something is a Wajda.;
$hypothesis$ = the plaster is a zirconium and it is bipolar. ; $context$ = sent1: the plaster is a zirconium that is a Wajda. sent2: if the equine is a kind of a begum it does impair greenfly. sent3: everything is a begum. sent4: if the chalcidfly does impair disambiguator the job is impartial. sent5: the fact that if there exists something such that it is impartial and it does not impair greenfly the doll is not biotic is true. sent6: if the chalcidfly impairs plaster then the job is impartial. sent7: the plaster is prejudiced thing that is biotic. sent8: the plaster is bipolar if it is a kind of non-impartial thing that is biotic. sent9: if the equine is a Angora and it impairs greenfly the job does not impairs greenfly. sent10: everything impairs plaster and/or it does impair disambiguator. sent11: the spokeswoman is a kind of a Wajda if something is not biotic. sent12: if the equine does not holystone and/or it is punctual it does not bask chalcidfly. sent13: the equine either is not a holystone or is punctual or both. sent14: the equine is a kind of a Angora and it is a kind of a overskirt if it does not bask chalcidfly. ; $proof$ = 
sent1 -> int1: the plaster is a zirconium.; sent8 & sent7 -> int2: the plaster is bipolar.; int1 & int2 -> hypothesis; __PROVED__