the gallina is a Stylophorum and is a kind of a Doric.
sent1: something that is a Stylophorum harvests accommodation. sent2: if something is not colorless and it is not a Doric then it is a kind of a Stylophorum. sent3: the gallina is a kind of a Stylophorum that harvests accommodation. sent4: the gallina is a kind of a patrilineage that is a kind of a booker. sent5: the tripalmitin harvests accommodation and is a kind of a postposition. sent6: the gallina is both a Rosa and splashy. sent7: the gallina is both side and a murder. sent8: the gallina harvests accommodation. sent9: the gallina is a kind of a uppercut. sent10: the fact that the yellowbird is a acanthopterygian and/or a GMT is not correct if it is not a Bozeman. sent11: the yellowbird is not a Bozeman. sent12: the gallina is colorless. sent13: the gallina is colorless and is a Doric. sent14: the gallina is a period. sent15: the core is a Doric. sent16: the nosh is weatherly and it is not colorful. sent17: the gallina is a kind of a year-end and it is colorless. sent18: the moneywort is both not non-cross-sentential and a Doric. sent19: the gallina is a pinochle and is a Chippendale.
sent3 -> int1: the gallina is a Stylophorum.; sent13 -> int2: the gallina is a Doric.; int1 & int2 -> hypothesis;
that that the lieutenant does not harvest accommodation is false is not incorrect.
sent1 -> int3: the lieutenant harvests accommodation if it is a Stylophorum.; sent2 -> int4: the fact that if the lieutenant is not colorless and not the Doric the lieutenant is a kind of a Stylophorum is correct.; sent10 & sent11 -> int5: that the yellowbird is a kind of a acanthopterygian or it is a kind of a GMT or both is not correct.; int5 -> int6: there exists something such that that it is a acanthopterygian or a GMT or both is not correct.;
$hypothesis$ = the gallina is a Stylophorum and is a kind of a Doric. ; $context$ = sent1: something that is a Stylophorum harvests accommodation. sent2: if something is not colorless and it is not a Doric then it is a kind of a Stylophorum. sent3: the gallina is a kind of a Stylophorum that harvests accommodation. sent4: the gallina is a kind of a patrilineage that is a kind of a booker. sent5: the tripalmitin harvests accommodation and is a kind of a postposition. sent6: the gallina is both a Rosa and splashy. sent7: the gallina is both side and a murder. sent8: the gallina harvests accommodation. sent9: the gallina is a kind of a uppercut. sent10: the fact that the yellowbird is a acanthopterygian and/or a GMT is not correct if it is not a Bozeman. sent11: the yellowbird is not a Bozeman. sent12: the gallina is colorless. sent13: the gallina is colorless and is a Doric. sent14: the gallina is a period. sent15: the core is a Doric. sent16: the nosh is weatherly and it is not colorful. sent17: the gallina is a kind of a year-end and it is colorless. sent18: the moneywort is both not non-cross-sentential and a Doric. sent19: the gallina is a pinochle and is a Chippendale. ; $proof$ = 
sent3 -> int1: the gallina is a Stylophorum.; sent13 -> int2: the gallina is a Doric.; int1 & int2 -> hypothesis; __PROVED__