the mastoidale is a kind of a Belshazzar but it is not a kind of a gyroscope.
sent1: the mastoidale is not a lallation if it is a kind of an ass. sent2: the propane is heraldic. sent3: that the propane is a kind of a lallation and it is a kind of an ass is false if that it is not heraldic is correct. sent4: if the mastoidale is an ass and/or it is a kind of a gyroscope then it is not a lallation. sent5: the mastoidale is a lallation. sent6: the mastoidale is a Belshazzar if the propane is not non-heraldic.
void -> assump1: Let's assume that the mastoidale is a gyroscope.; assump1 -> int1: the mastoidale is a kind of an ass and/or it is a gyroscope.; int1 & sent4 -> int2: the mastoidale is not a lallation.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mastoidale is not a gyroscope.; sent6 & sent2 -> int5: the fact that the mastoidale is a kind of a Belshazzar is not incorrect.; int4 & int5 -> hypothesis;
the fact that the mastoidale is a Belshazzar and is not a gyroscope is wrong.
$hypothesis$ = the mastoidale is a kind of a Belshazzar but it is not a kind of a gyroscope. ; $context$ = sent1: the mastoidale is not a lallation if it is a kind of an ass. sent2: the propane is heraldic. sent3: that the propane is a kind of a lallation and it is a kind of an ass is false if that it is not heraldic is correct. sent4: if the mastoidale is an ass and/or it is a kind of a gyroscope then it is not a lallation. sent5: the mastoidale is a lallation. sent6: the mastoidale is a Belshazzar if the propane is not non-heraldic. ; $proof$ = 
void -> assump1: Let's assume that the mastoidale is a gyroscope.; assump1 -> int1: the mastoidale is a kind of an ass and/or it is a gyroscope.; int1 & sent4 -> int2: the mastoidale is not a lallation.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mastoidale is not a gyroscope.; sent6 & sent2 -> int5: the fact that the mastoidale is a kind of a Belshazzar is not incorrect.; int4 & int5 -> hypothesis; __PROVED__