the yogurt is not amenorrheic.
sent1: if the fact that something is a kind of a rake that does not unpack is not true then it does unpack. sent2: the adenovirus veers. sent3: the aftershock is amenorrheic if it unpacks. sent4: if the aftershock is fabian then that it does unpack and is not a rake is not right. sent5: the fact that the aftershock does rake and does not unpack is wrong if the coriander is fabian. sent6: if something does veer and it is a kind of a solenoid it is not amenorrheic. sent7: the yogurt is a solenoid. sent8: everything is a kind of fabian thing that is isopteran. sent9: something is amenorrheic if that it does unpack and does not lather coriander does not hold. sent10: the yogurt does veer.
sent6 -> int1: if the yogurt does veer and is a kind of a solenoid then it is not amenorrheic.; sent10 & sent7 -> int2: the yogurt veers and is a solenoid.; int1 & int2 -> hypothesis;
the yogurt is amenorrheic.
sent9 -> int3: the yogurt is amenorrheic if the fact that it unpacks and does not lather coriander is incorrect.; sent8 -> int4: the coriander is fabian and is isopteran.; int4 -> int5: the coriander is fabian.; int5 -> int6: everything is fabian.; int6 -> int7: the aftershock is fabian.; sent4 & int7 -> int8: that the aftershock does unpack but it does not rake is not true.;
$hypothesis$ = the yogurt is not amenorrheic. ; $context$ = sent1: if the fact that something is a kind of a rake that does not unpack is not true then it does unpack. sent2: the adenovirus veers. sent3: the aftershock is amenorrheic if it unpacks. sent4: if the aftershock is fabian then that it does unpack and is not a rake is not right. sent5: the fact that the aftershock does rake and does not unpack is wrong if the coriander is fabian. sent6: if something does veer and it is a kind of a solenoid it is not amenorrheic. sent7: the yogurt is a solenoid. sent8: everything is a kind of fabian thing that is isopteran. sent9: something is amenorrheic if that it does unpack and does not lather coriander does not hold. sent10: the yogurt does veer. ; $proof$ = 
sent6 -> int1: if the yogurt does veer and is a kind of a solenoid then it is not amenorrheic.; sent10 & sent7 -> int2: the yogurt veers and is a solenoid.; int1 & int2 -> hypothesis; __PROVED__