the rein hedges Camus.
sent1: if the wherry is nonfictional then the rein does hedge Camus. sent2: the wherry is not unreactive. sent3: the wherry is not unreactive and it does not dissimilate zinger if there exists something such that it is nonfictional. sent4: the rein is postmillennial if the fact that the hailstorm is both not diaphyseal and counterclockwise is true. sent5: something that is not diaphyseal is a kind of a jostle that is not non-counterclockwise. sent6: the wherry is not nonfictional. sent7: the hailstorm is not diaphyseal but it is counterclockwise if the shearer is not counterclockwise. sent8: something does not hedge Camus if it is postmillennial or it is retinal or both. sent9: if the wherry is not nonfictional then it is both not unreactive and not feminist. sent10: the shearer is not counterclockwise if the internationalist does not jostle. sent11: the internationalist is non-diaphyseal and postmillennial if the shearer is retinal. sent12: the internationalist is not a kind of a jostle if there exists something such that it is not unreactive but non-feminist. sent13: something is nonfictional if it is a jostle.
sent9 & sent6 -> int1: the wherry is not unreactive and is not a kind of a feminist.; int1 -> int2: something is a kind of non-unreactive thing that is not a feminist.; int2 & sent12 -> int3: the internationalist is not a jostle.; int3 & sent10 -> int4: the shearer is not counterclockwise.; int4 & sent7 -> int5: the hailstorm is a kind of non-diaphyseal thing that is counterclockwise.; int5 & sent4 -> int6: the rein is postmillennial.; int6 -> int7: either the rein is postmillennial or it is retinal or both.; sent8 -> int8: if either the rein is postmillennial or it is retinal or both it does not hedge Camus.; int7 & int8 -> hypothesis;
the rein hedges Camus.
$hypothesis$ = the rein hedges Camus. ; $context$ = sent1: if the wherry is nonfictional then the rein does hedge Camus. sent2: the wherry is not unreactive. sent3: the wherry is not unreactive and it does not dissimilate zinger if there exists something such that it is nonfictional. sent4: the rein is postmillennial if the fact that the hailstorm is both not diaphyseal and counterclockwise is true. sent5: something that is not diaphyseal is a kind of a jostle that is not non-counterclockwise. sent6: the wherry is not nonfictional. sent7: the hailstorm is not diaphyseal but it is counterclockwise if the shearer is not counterclockwise. sent8: something does not hedge Camus if it is postmillennial or it is retinal or both. sent9: if the wherry is not nonfictional then it is both not unreactive and not feminist. sent10: the shearer is not counterclockwise if the internationalist does not jostle. sent11: the internationalist is non-diaphyseal and postmillennial if the shearer is retinal. sent12: the internationalist is not a kind of a jostle if there exists something such that it is not unreactive but non-feminist. sent13: something is nonfictional if it is a jostle. ; $proof$ = 
sent9 & sent6 -> int1: the wherry is not unreactive and is not a kind of a feminist.; int1 -> int2: something is a kind of non-unreactive thing that is not a feminist.; int2 & sent12 -> int3: the internationalist is not a jostle.; int3 & sent10 -> int4: the shearer is not counterclockwise.; int4 & sent7 -> int5: the hailstorm is a kind of non-diaphyseal thing that is counterclockwise.; int5 & sent4 -> int6: the rein is postmillennial.; int6 -> int7: either the rein is postmillennial or it is retinal or both.; sent8 -> int8: if either the rein is postmillennial or it is retinal or both it does not hedge Camus.; int7 & int8 -> hypothesis; __DISPROVED__