the sundae does not average T.
sent1: that the sundae is not a kind of a cephalochordate but it plays collembolan is false if the collembolan is not a cephalochordate. sent2: The Medicare does overturn sundae. sent3: the Dimetapp is a Arhus and it is a cephalochordate. sent4: the sundae does overturn Medicare. sent5: that the triviality is not a recount and does not average T does not hold. sent6: if a recount does overturn Medicare it does not average T. sent7: the collembolan is not a kind of a ischium and/or does not play triviality. sent8: if the collembolan does not play triviality then it is not a cephalochordate. sent9: something does not overturn Medicare and/or it is not anabolic if it does play triviality. sent10: the triviality is a cephalochordate and it is a ischium if it does not play collembolan. sent11: something is not a kind of a cephalochordate if the fact that it is not a kind of a ischium is right.
sent11 -> int1: if the collembolan is not a kind of a ischium it is not a cephalochordate.; int1 & sent7 & sent8 -> int2: the collembolan is not a cephalochordate.; int2 & sent1 -> int3: the fact that the sundae is not a cephalochordate and plays collembolan is wrong.; sent6 -> int4: the sundae does not average T if it recounts and overturns Medicare.;
either the triviality does not overturn Medicare or it is not anabolic or both.
sent9 -> int5: if the triviality plays triviality then it does not overturn Medicare and/or is not anabolic.;
$hypothesis$ = the sundae does not average T. ; $context$ = sent1: that the sundae is not a kind of a cephalochordate but it plays collembolan is false if the collembolan is not a cephalochordate. sent2: The Medicare does overturn sundae. sent3: the Dimetapp is a Arhus and it is a cephalochordate. sent4: the sundae does overturn Medicare. sent5: that the triviality is not a recount and does not average T does not hold. sent6: if a recount does overturn Medicare it does not average T. sent7: the collembolan is not a kind of a ischium and/or does not play triviality. sent8: if the collembolan does not play triviality then it is not a cephalochordate. sent9: something does not overturn Medicare and/or it is not anabolic if it does play triviality. sent10: the triviality is a cephalochordate and it is a ischium if it does not play collembolan. sent11: something is not a kind of a cephalochordate if the fact that it is not a kind of a ischium is right. ; $proof$ = 
sent11 -> int1: if the collembolan is not a kind of a ischium it is not a cephalochordate.; int1 & sent7 & sent8 -> int2: the collembolan is not a cephalochordate.; int2 & sent1 -> int3: the fact that the sundae is not a cephalochordate and plays collembolan is wrong.; sent6 -> int4: the sundae does not average T if it recounts and overturns Medicare.; __UNKNOWN__