the suffragan does google.
sent1: if that the suffragan is non-tortious and not Platonic is wrong then it is a quango. sent2: if the swatch does google and is a tartar then the symphilid is not a quango. sent3: something that is not a tartar is not a quango but a drippings. sent4: the suffragan is not a quango. sent5: if the symphilid is not a quango and is a drippings then the suffragan does not google. sent6: that the suffragan does google is not incorrect if it is not a drippings. sent7: that the suffragan is non-tortious and is not Platonic is wrong if it is a drippings.
void -> assump1: Let's assume that the suffragan is a kind of a drippings.; sent7 & assump1 -> int1: that the suffragan is not tortious and it is not Platonic does not hold.; int1 & sent1 -> int2: the suffragan is a quango.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the suffragan is not a drippings.; int4 & sent6 -> hypothesis;
the isoagglutinin is not tortious.
$hypothesis$ = the suffragan does google. ; $context$ = sent1: if that the suffragan is non-tortious and not Platonic is wrong then it is a quango. sent2: if the swatch does google and is a tartar then the symphilid is not a quango. sent3: something that is not a tartar is not a quango but a drippings. sent4: the suffragan is not a quango. sent5: if the symphilid is not a quango and is a drippings then the suffragan does not google. sent6: that the suffragan does google is not incorrect if it is not a drippings. sent7: that the suffragan is non-tortious and is not Platonic is wrong if it is a drippings. ; $proof$ = 
void -> assump1: Let's assume that the suffragan is a kind of a drippings.; sent7 & assump1 -> int1: that the suffragan is not tortious and it is not Platonic does not hold.; int1 & sent1 -> int2: the suffragan is a quango.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the suffragan is not a drippings.; int4 & sent6 -> hypothesis; __PROVED__