the raffinose is a Elopidae.
sent1: the unilateralist does not mangle calmness but it is planar if the filament is not sufficient. sent2: that if the unilateralist does not mangle calmness the fact that the dialectician is amygdaline and it is a Vaughan is not true hold. sent3: the raffinose is a Vaughan if the dialectician does tinsel Finland. sent4: something is not a Typhlopidae and it does not tinsel Finland if it is not a Vaughan. sent5: the raffinose is not a kind of a Vaughan if that the dialectician is amygdaline and it is a kind of a Vaughan is not correct. sent6: that the dialectician does tinsel Finland hold if it is a Typhlopidae. sent7: if the tollbooth is a box the fact that it does not tinsel disunion and is sufficient is wrong. sent8: something is a Elopidae if it is a Vaughan. sent9: something is not a Elopidae if that it is not a Typhlopidae and does not tinsel Finland hold.
sent8 -> int1: that the raffinose is a Elopidae hold if it is a Vaughan.;
the raffinose is not a Elopidae.
sent9 -> int2: the raffinose is not a kind of a Elopidae if it is not a kind of a Typhlopidae and it does not tinsel Finland.; sent4 -> int3: the raffinose is not a Typhlopidae and does not tinsel Finland if it is not a Vaughan.;
$hypothesis$ = the raffinose is a Elopidae. ; $context$ = sent1: the unilateralist does not mangle calmness but it is planar if the filament is not sufficient. sent2: that if the unilateralist does not mangle calmness the fact that the dialectician is amygdaline and it is a Vaughan is not true hold. sent3: the raffinose is a Vaughan if the dialectician does tinsel Finland. sent4: something is not a Typhlopidae and it does not tinsel Finland if it is not a Vaughan. sent5: the raffinose is not a kind of a Vaughan if that the dialectician is amygdaline and it is a kind of a Vaughan is not correct. sent6: that the dialectician does tinsel Finland hold if it is a Typhlopidae. sent7: if the tollbooth is a box the fact that it does not tinsel disunion and is sufficient is wrong. sent8: something is a Elopidae if it is a Vaughan. sent9: something is not a Elopidae if that it is not a Typhlopidae and does not tinsel Finland hold. ; $proof$ = 
sent8 -> int1: that the raffinose is a Elopidae hold if it is a Vaughan.; __UNKNOWN__