the dichlorodiphenyltrichloroethane is a Tito.
sent1: something does quieten sociopath if it is a Tito. sent2: the dichlorodiphenyltrichloroethane is a Tito if the acoustician is a paraffin. sent3: the dichlorodiphenyltrichloroethane loads. sent4: the succulent quietens sociopath if the acoustician does not quietens sociopath. sent5: the pendant is a Tito and not a benzylpenicillin. sent6: the acoustician does not quieten sociopath. sent7: the dichlorodiphenyltrichloroethane quietens sociopath. sent8: something is a paraffin if it loads.
sent8 -> int1: if that the acoustician loads hold then it is a kind of a paraffin.;
the succulent does quieten sociopath.
$hypothesis$ = the dichlorodiphenyltrichloroethane is a Tito. ; $context$ = sent1: something does quieten sociopath if it is a Tito. sent2: the dichlorodiphenyltrichloroethane is a Tito if the acoustician is a paraffin. sent3: the dichlorodiphenyltrichloroethane loads. sent4: the succulent quietens sociopath if the acoustician does not quietens sociopath. sent5: the pendant is a Tito and not a benzylpenicillin. sent6: the acoustician does not quieten sociopath. sent7: the dichlorodiphenyltrichloroethane quietens sociopath. sent8: something is a paraffin if it loads. ; $proof$ = 
sent8 -> int1: if that the acoustician loads hold then it is a kind of a paraffin.; __UNKNOWN__