the brandyball does not refine tetrahymena.
sent1: the bunchberry does side apercu and it is a motorboat. sent2: if the fact that something is not immunosuppressive but it untwists does not hold it refines pacesetter. sent3: either the whistle-blower does not refine pacesetter or it does side apercu or both if it is a selloff. sent4: that the tetrahymena does refine ardeb hold. sent5: if the bunchberry sides apercu and is a motorboat the tetrahymena does not sides apercu. sent6: the inamorata is not immunosuppressive but it is a kind of a Rama. sent7: something is unsurmountable if it is not immunosuppressive and it untwists. sent8: something that does not refine pacesetter and/or does side apercu does not refine pacesetter. sent9: the whistle-blower is a selloff. sent10: if that something does not untwist and is unsurmountable is incorrect it does refine tetrahymena. sent11: if the whistle-blower is unsurmountable then the brandyball refines tetrahymena.
sent2 -> int1: the whistle-blower does refine pacesetter if the fact that it is not immunosuppressive and untwists is not right.; void -> assump1: Let's assume that the fact that the whistle-blower is not immunosuppressive but it untwists is not correct.; int1 & assump1 -> int2: the whistle-blower does refine pacesetter.; sent8 -> int3: the whistle-blower does not refine pacesetter if it does not refine pacesetter or it sides apercu or both.; sent3 & sent9 -> int4: the whistle-blower does not refine pacesetter or it sides apercu or both.; int3 & int4 -> int5: the whistle-blower does not refine pacesetter.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the whistle-blower is non-immunosuppressive thing that does untwist.; sent7 -> int8: if the whistle-blower is non-immunosuppressive but it does untwist it is unsurmountable.; int7 & int8 -> int9: the whistle-blower is unsurmountable.; int9 & sent11 -> hypothesis;
the brandyball does not refine tetrahymena.
sent5 & sent1 -> int10: the tetrahymena does not side apercu.; int10 & sent4 -> int11: the tetrahymena does not side apercu but it does refine ardeb.; int11 -> int12: something does not side apercu but it refines ardeb.;
$hypothesis$ = the brandyball does not refine tetrahymena. ; $context$ = sent1: the bunchberry does side apercu and it is a motorboat. sent2: if the fact that something is not immunosuppressive but it untwists does not hold it refines pacesetter. sent3: either the whistle-blower does not refine pacesetter or it does side apercu or both if it is a selloff. sent4: that the tetrahymena does refine ardeb hold. sent5: if the bunchberry sides apercu and is a motorboat the tetrahymena does not sides apercu. sent6: the inamorata is not immunosuppressive but it is a kind of a Rama. sent7: something is unsurmountable if it is not immunosuppressive and it untwists. sent8: something that does not refine pacesetter and/or does side apercu does not refine pacesetter. sent9: the whistle-blower is a selloff. sent10: if that something does not untwist and is unsurmountable is incorrect it does refine tetrahymena. sent11: if the whistle-blower is unsurmountable then the brandyball refines tetrahymena. ; $proof$ = 
sent2 -> int1: the whistle-blower does refine pacesetter if the fact that it is not immunosuppressive and untwists is not right.; void -> assump1: Let's assume that the fact that the whistle-blower is not immunosuppressive but it untwists is not correct.; int1 & assump1 -> int2: the whistle-blower does refine pacesetter.; sent8 -> int3: the whistle-blower does not refine pacesetter if it does not refine pacesetter or it sides apercu or both.; sent3 & sent9 -> int4: the whistle-blower does not refine pacesetter or it sides apercu or both.; int3 & int4 -> int5: the whistle-blower does not refine pacesetter.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the whistle-blower is non-immunosuppressive thing that does untwist.; sent7 -> int8: if the whistle-blower is non-immunosuppressive but it does untwist it is unsurmountable.; int7 & int8 -> int9: the whistle-blower is unsurmountable.; int9 & sent11 -> hypothesis; __DISPROVED__