the heartthrob is a kind of a porthole or it is not a Croesus or both.
sent1: the heartthrob is a porthole and/or it is not a kind of a Croesus if the banksia is not a kind of a Andorran. sent2: the cacique is not a urial. sent3: the cacique is a scribe. sent4: if there exists something such that it either is not a urial or is not mesomorphic or both the heartthrob is a scribe. sent5: something that is not a sheika is a missal that is not nonmetallic. sent6: if the banksia does not repine birdfeeder the camouflage is noninheritable and non-Andorran. sent7: the banksia is noninheritable if it is Andorran. sent8: something is not a kind of a urial and/or it is not mesomorphic if it is not a missal. sent9: if that something is a kind of a Croesus and it repines birdfeeder is not right it does not repines birdfeeder. sent10: that the banksia is a porthole and does repine birdfeeder is not correct if something does not repine birdfeeder. sent11: the heartthrob is a porthole or it is a Croesus or both. sent12: the trainbearer is not a kind of a sheika if the bend fronts Butterfield and is a sacredness. sent13: that if something is not a kind of a Andorran then that the fact that it is a porthole and/or it is not a Croesus is not wrong is false is true. sent14: the quadruplet is not a officialese. sent15: something is not a scribe if it repines birdfeeder. sent16: if the quadruplet is not a officialese the bend does front Butterfield and is a sacredness. sent17: that the cacique is not a missal hold if the trainbearer is a missal but it is not nonmetallic. sent18: if something does scribe then it is not noninheritable. sent19: there exists something such that it is not a Croesus. sent20: the Hall does repine birdfeeder if the fact that the banksia is noninheritable is right. sent21: something does not repine birdfeeder if that it is a kind of a porthole that does repine birdfeeder is not true.
void -> assump1: Let's assume that the banksia is a Andorran.; sent7 & assump1 -> int1: the banksia is noninheritable.; int1 & sent20 -> int2: the Hall repines birdfeeder.; sent15 -> int3: if the Hall does repine birdfeeder then it is not a scribe.; int2 & int3 -> int4: the Hall is not a scribe.; sent2 -> int5: something is not a kind of a urial.;
the camouflage is not Andorran.
sent21 -> int6: if the fact that the banksia is a porthole and it does repine birdfeeder is incorrect it does not repine birdfeeder.; sent9 -> int7: the Hall does not repine birdfeeder if the fact that it is a kind of a Croesus and does repine birdfeeder is wrong.; sent8 -> int8: either the cacique is not a kind of a urial or it is not mesomorphic or both if it is not a kind of a missal.; sent5 -> int9: if the trainbearer is not a kind of a sheika then the fact that it is a missal and not nonmetallic is right.; sent16 & sent14 -> int10: the bend does front Butterfield and it is a sacredness.; sent12 & int10 -> int11: that the trainbearer is not a sheika hold.; int9 & int11 -> int12: the trainbearer is a missal but it is not nonmetallic.; sent17 & int12 -> int13: the cacique is not a missal.; int8 & int13 -> int14: the cacique is not a kind of a urial or it is not mesomorphic or both.; int14 -> int15: there exists something such that it is not a urial and/or it is not mesomorphic.; int15 & sent4 -> int16: the heartthrob is a scribe.; int16 -> int17: the fact that something does scribe is right.;
$hypothesis$ = the heartthrob is a kind of a porthole or it is not a Croesus or both. ; $context$ = sent1: the heartthrob is a porthole and/or it is not a kind of a Croesus if the banksia is not a kind of a Andorran. sent2: the cacique is not a urial. sent3: the cacique is a scribe. sent4: if there exists something such that it either is not a urial or is not mesomorphic or both the heartthrob is a scribe. sent5: something that is not a sheika is a missal that is not nonmetallic. sent6: if the banksia does not repine birdfeeder the camouflage is noninheritable and non-Andorran. sent7: the banksia is noninheritable if it is Andorran. sent8: something is not a kind of a urial and/or it is not mesomorphic if it is not a missal. sent9: if that something is a kind of a Croesus and it repines birdfeeder is not right it does not repines birdfeeder. sent10: that the banksia is a porthole and does repine birdfeeder is not correct if something does not repine birdfeeder. sent11: the heartthrob is a porthole or it is a Croesus or both. sent12: the trainbearer is not a kind of a sheika if the bend fronts Butterfield and is a sacredness. sent13: that if something is not a kind of a Andorran then that the fact that it is a porthole and/or it is not a Croesus is not wrong is false is true. sent14: the quadruplet is not a officialese. sent15: something is not a scribe if it repines birdfeeder. sent16: if the quadruplet is not a officialese the bend does front Butterfield and is a sacredness. sent17: that the cacique is not a missal hold if the trainbearer is a missal but it is not nonmetallic. sent18: if something does scribe then it is not noninheritable. sent19: there exists something such that it is not a Croesus. sent20: the Hall does repine birdfeeder if the fact that the banksia is noninheritable is right. sent21: something does not repine birdfeeder if that it is a kind of a porthole that does repine birdfeeder is not true. ; $proof$ = 
void -> assump1: Let's assume that the banksia is a Andorran.; sent7 & assump1 -> int1: the banksia is noninheritable.; int1 & sent20 -> int2: the Hall repines birdfeeder.; sent15 -> int3: if the Hall does repine birdfeeder then it is not a scribe.; int2 & int3 -> int4: the Hall is not a scribe.; sent2 -> int5: something is not a kind of a urial.; __UNKNOWN__