the fact that the terrier is both radioactive and not polyatomic if the titania does disabuse smothered is not true.
sent1: the terrier is a local and does not overstrain forest if the titania disabuses smothered. sent2: the terrier is not polyatomic if it is a kind of local thing that does not overstrain forest. sent3: the terrier does not disabuse smothered. sent4: if that the titania does not disabuse smothered hold then the timucu does overstrain unionist but it is not a graviton. sent5: the terrier is radioactive if it is a kind of a graviton. sent6: the terrier is a graviton.
void -> assump1: Let's assume that the fact that the titania disabuses smothered is right.; sent1 & assump1 -> int1: the terrier is local but it does not overstrain forest.; int1 & sent2 -> int2: the terrier is not polyatomic.; sent5 & sent6 -> int3: that the terrier is radioactive is not false.; int2 & int3 -> int4: the terrier is radioactive and is not polyatomic.; [assump1] & int4 -> hypothesis;
the timucu overstrains unionist and is not a kind of a graviton.
$hypothesis$ = the fact that the terrier is both radioactive and not polyatomic if the titania does disabuse smothered is not true. ; $context$ = sent1: the terrier is a local and does not overstrain forest if the titania disabuses smothered. sent2: the terrier is not polyatomic if it is a kind of local thing that does not overstrain forest. sent3: the terrier does not disabuse smothered. sent4: if that the titania does not disabuse smothered hold then the timucu does overstrain unionist but it is not a graviton. sent5: the terrier is radioactive if it is a kind of a graviton. sent6: the terrier is a graviton. ; $proof$ = 
void -> assump1: Let's assume that the fact that the titania disabuses smothered is right.; sent1 & assump1 -> int1: the terrier is local but it does not overstrain forest.; int1 & sent2 -> int2: the terrier is not polyatomic.; sent5 & sent6 -> int3: that the terrier is radioactive is not false.; int2 & int3 -> int4: the terrier is radioactive and is not polyatomic.; [assump1] & int4 -> hypothesis; __DISPROVED__