the trichion does bog HS1.
sent1: there exists something such that that it does not unpick Hebraist and is not non-Congolese is not right. sent2: if that the microfossil does not unpick Hebraist and does not bog HS1 is false then the trichion does not bog HS1. sent3: the fact that the HS1 is alkylic and/or unpicks Hebraist is not true if the microfossil is not a flatfoot. sent4: the fact that the HS1 does not winnow Allegheny and does not bog ANG is wrong if it is fibrocalcific. sent5: the trichion does not cackle. sent6: the microfossil is not a flatfoot if there exists something such that that the fact that it does not shuck and is a varmint is not incorrect is not true. sent7: that the microfossil does not unpick Hebraist and it does not bog HS1 does not hold if the HS1 is a flatfoot. sent8: something is not a Congolese if the fact that it is not a kind of a caravansary and it is Congolese is wrong. sent9: there exists something such that it is not a Congolese and does bog HS1. sent10: if there exists something such that that it is not alkylic and is a kind of a flatfoot is not true the HS1 is not a defensibility. sent11: there is something such that it does not shuck and it is a varmint. sent12: there is something such that that it does not shuck and it is a varmint is wrong. sent13: there is something such that that it shucks and is a varmint is false. sent14: if something is not a kind of a Congolese it is a flatfoot and is alkylic. sent15: the psocid is not a Congolese if the fact that the HS1 is alkylic or unpicks Hebraist or both is false. sent16: there exists something such that it is a kind of datable thing that bottoms. sent17: that the psocid is not a defensibility hold if there is something such that that it is not alkylic and it is a Congolese is not correct. sent18: the trichion bogs HS1 and it is a defensibility if the psocid is not Congolese. sent19: the microfossil is not alkylic. sent20: if the trichion does not unpick Hebraist the fact that that the HS1 is a defensibility or it bogs HS1 or both does not hold hold. sent21: the trichion is a kind of a defensibility. sent22: the microfossil does not unpick Hebraist. sent23: if that something does not winnow Allegheny and does not bog ANG is wrong that it is a defensibility hold. sent24: the fact that that something is not a caravansary but Congolese is not correct if it is a defensibility hold.
sent12 & sent6 -> int1: the fact that the microfossil is not a kind of a flatfoot is true.; sent3 & int1 -> int2: the fact that the HS1 is alkylic and/or does unpick Hebraist does not hold.; sent15 & int2 -> int3: the fact that the psocid is not a kind of a Congolese is true.; sent18 & int3 -> int4: the trichion bogs HS1 and is a defensibility.; int4 -> hypothesis;
the trichion does not bog HS1.
sent14 -> int5: if the HS1 is not a kind of a Congolese then it is a flatfoot and it is alkylic.; sent8 -> int6: the fact that the HS1 is a kind of a Congolese is not correct if the fact that it is both not a caravansary and not Congolese does not hold.; sent24 -> int7: if the HS1 is a defensibility then the fact that it is both not a caravansary and a Congolese does not hold.; sent23 -> int8: if the fact that the HS1 does not winnow Allegheny and does not bog ANG does not hold then it is a defensibility.;
$hypothesis$ = the trichion does bog HS1. ; $context$ = sent1: there exists something such that that it does not unpick Hebraist and is not non-Congolese is not right. sent2: if that the microfossil does not unpick Hebraist and does not bog HS1 is false then the trichion does not bog HS1. sent3: the fact that the HS1 is alkylic and/or unpicks Hebraist is not true if the microfossil is not a flatfoot. sent4: the fact that the HS1 does not winnow Allegheny and does not bog ANG is wrong if it is fibrocalcific. sent5: the trichion does not cackle. sent6: the microfossil is not a flatfoot if there exists something such that that the fact that it does not shuck and is a varmint is not incorrect is not true. sent7: that the microfossil does not unpick Hebraist and it does not bog HS1 does not hold if the HS1 is a flatfoot. sent8: something is not a Congolese if the fact that it is not a kind of a caravansary and it is Congolese is wrong. sent9: there exists something such that it is not a Congolese and does bog HS1. sent10: if there exists something such that that it is not alkylic and is a kind of a flatfoot is not true the HS1 is not a defensibility. sent11: there is something such that it does not shuck and it is a varmint. sent12: there is something such that that it does not shuck and it is a varmint is wrong. sent13: there is something such that that it shucks and is a varmint is false. sent14: if something is not a kind of a Congolese it is a flatfoot and is alkylic. sent15: the psocid is not a Congolese if the fact that the HS1 is alkylic or unpicks Hebraist or both is false. sent16: there exists something such that it is a kind of datable thing that bottoms. sent17: that the psocid is not a defensibility hold if there is something such that that it is not alkylic and it is a Congolese is not correct. sent18: the trichion bogs HS1 and it is a defensibility if the psocid is not Congolese. sent19: the microfossil is not alkylic. sent20: if the trichion does not unpick Hebraist the fact that that the HS1 is a defensibility or it bogs HS1 or both does not hold hold. sent21: the trichion is a kind of a defensibility. sent22: the microfossil does not unpick Hebraist. sent23: if that something does not winnow Allegheny and does not bog ANG is wrong that it is a defensibility hold. sent24: the fact that that something is not a caravansary but Congolese is not correct if it is a defensibility hold. ; $proof$ = 
sent12 & sent6 -> int1: the fact that the microfossil is not a kind of a flatfoot is true.; sent3 & int1 -> int2: the fact that the HS1 is alkylic and/or does unpick Hebraist does not hold.; sent15 & int2 -> int3: the fact that the psocid is not a kind of a Congolese is true.; sent18 & int3 -> int4: the trichion bogs HS1 and is a defensibility.; int4 -> hypothesis; __PROVED__