that something does not flagellate athlete and it is not uniovular hold.
sent1: if the fact that the auditorium is not a righteousness and does not dab is false the tacker does not top halibut. sent2: the fact that the halibut is both not a righteousness and non-uniovular does not hold. sent3: there is nothing such that it is not a righteousness and it is not a kind of a dab. sent4: if the halibut tops halibut the tacker is not predestinarian and it is not a schematization. sent5: the halibut is uniovular thing that is a kind of a map-reader if the tacker does not top halibut.
sent3 -> int1: the fact that the auditorium is not a righteousness and is not a kind of a dab is not right.; sent1 & int1 -> int2: the tacker does not top halibut.; sent5 & int2 -> int3: the halibut is uniovular and a map-reader.; int3 -> int4: the halibut is uniovular.;
something is not predestinarian and it is not a schematization.
$hypothesis$ = that something does not flagellate athlete and it is not uniovular hold. ; $context$ = sent1: if the fact that the auditorium is not a righteousness and does not dab is false the tacker does not top halibut. sent2: the fact that the halibut is both not a righteousness and non-uniovular does not hold. sent3: there is nothing such that it is not a righteousness and it is not a kind of a dab. sent4: if the halibut tops halibut the tacker is not predestinarian and it is not a schematization. sent5: the halibut is uniovular thing that is a kind of a map-reader if the tacker does not top halibut. ; $proof$ = 
sent3 -> int1: the fact that the auditorium is not a righteousness and is not a kind of a dab is not right.; sent1 & int1 -> int2: the tacker does not top halibut.; sent5 & int2 -> int3: the halibut is uniovular and a map-reader.; int3 -> int4: the halibut is uniovular.; __UNKNOWN__