the fact that the fire is not a farness is true.
sent1: if something is a rediscovery and/or it is not a kind of a Beowulf then it is not a farness. sent2: if something is not a stoat that that it is a kind of a farness and is a quadratic hold does not hold. sent3: there is something such that it does not slither. sent4: if there is something such that that it is a farness and it is a quadratic is not correct then the torchlight is not a kind of a Beowulf. sent5: if something is not a Beowulf it is not autocatalytic or not a rediscovery or both. sent6: if the fire brays and/or it is not a Beowulf it does not butt Catoptrophorus. sent7: the torchlight is autocatalytic and/or is a farness if the puncture is not a rediscovery. sent8: if there is something such that the fact that it is a filtration and pranks is incorrect the puncture is not a stoat. sent9: either the fire is a celandine or it is not a rediscovery or both. sent10: if the fire is a rediscovery the fact that it is not a kind of a farness is not incorrect. sent11: if there is something such that it is not autocatalytic the fire is a rediscovery or it is not a Beowulf or both. sent12: a non-quadratic Beowulf is not a rediscovery. sent13: the fire is not a Ayurveda. sent14: if something rears Willebrand or is not an alsatian or both then it is not a agglutinin. sent15: something is not a farness if it is a rediscovery. sent16: there exists nothing that is a filtration and pranks. sent17: there exists something such that it is autocatalytic. sent18: if the fire is not autocatalytic then the alpenstock either is accipitrine or is not clinker-built or both.
sent1 -> int1: the fire is not a farness if it is either a rediscovery or not a Beowulf or both.;
the fire is a kind of a farness.
sent12 -> int2: if the puncture is a kind of a Beowulf and is not a quadratic then it is not a kind of a rediscovery.;
$hypothesis$ = the fact that the fire is not a farness is true. ; $context$ = sent1: if something is a rediscovery and/or it is not a kind of a Beowulf then it is not a farness. sent2: if something is not a stoat that that it is a kind of a farness and is a quadratic hold does not hold. sent3: there is something such that it does not slither. sent4: if there is something such that that it is a farness and it is a quadratic is not correct then the torchlight is not a kind of a Beowulf. sent5: if something is not a Beowulf it is not autocatalytic or not a rediscovery or both. sent6: if the fire brays and/or it is not a Beowulf it does not butt Catoptrophorus. sent7: the torchlight is autocatalytic and/or is a farness if the puncture is not a rediscovery. sent8: if there is something such that the fact that it is a filtration and pranks is incorrect the puncture is not a stoat. sent9: either the fire is a celandine or it is not a rediscovery or both. sent10: if the fire is a rediscovery the fact that it is not a kind of a farness is not incorrect. sent11: if there is something such that it is not autocatalytic the fire is a rediscovery or it is not a Beowulf or both. sent12: a non-quadratic Beowulf is not a rediscovery. sent13: the fire is not a Ayurveda. sent14: if something rears Willebrand or is not an alsatian or both then it is not a agglutinin. sent15: something is not a farness if it is a rediscovery. sent16: there exists nothing that is a filtration and pranks. sent17: there exists something such that it is autocatalytic. sent18: if the fire is not autocatalytic then the alpenstock either is accipitrine or is not clinker-built or both. ; $proof$ = 
sent1 -> int1: the fire is not a farness if it is either a rediscovery or not a Beowulf or both.; __UNKNOWN__