the speedboat is a kind of a Buddhism if the frontispiece is a quartzite.
sent1: the speedboat is appointive and not a double-prop if it is not a Buddhism. sent2: the speedboat is not a quartzite. sent3: if the frontispiece is armillary and/or is a plagiocephaly then it is a quartzite. sent4: the frontispiece is not a quartzite if it is a plagiocephaly. sent5: something is a kind of a quartzite if it either is armillary or is a kind of a plagiocephaly or both. sent6: something does not prey microprocessor if it is not suppurative. sent7: if the speedboat is not a Buddhism then it is appointive. sent8: if the speedboat is appointive and is not a kind of a double-prop the frontispiece is armillary. sent9: the frontispiece is a double-prop. sent10: the speedboat is a slump. sent11: something is not a quartzite if it is armillary or is a kind of a plagiocephaly or both. sent12: the fact that the speedboat is appointive is not false.
void -> assump2: Let's assume that the speedboat is not a kind of a Buddhism.; sent1 & assump2 -> int1: the speedboat is a kind of appointive thing that is not a double-prop.; int1 & sent8 -> int2: the fact that the frontispiece is armillary is not incorrect.; int2 -> int3: either the frontispiece is armillary or it is a plagiocephaly or both.; sent11 -> int4: if the frontispiece is armillary or it is a plagiocephaly or both it is not a quartzite.; int3 & int4 -> int5: the frontispiece is not a quartzite.; void -> assump1: Let's assume that the frontispiece is a quartzite.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the speedboat is a Buddhism.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the speedboat is a kind of a Buddhism if the frontispiece is a quartzite. ; $context$ = sent1: the speedboat is appointive and not a double-prop if it is not a Buddhism. sent2: the speedboat is not a quartzite. sent3: if the frontispiece is armillary and/or is a plagiocephaly then it is a quartzite. sent4: the frontispiece is not a quartzite if it is a plagiocephaly. sent5: something is a kind of a quartzite if it either is armillary or is a kind of a plagiocephaly or both. sent6: something does not prey microprocessor if it is not suppurative. sent7: if the speedboat is not a Buddhism then it is appointive. sent8: if the speedboat is appointive and is not a kind of a double-prop the frontispiece is armillary. sent9: the frontispiece is a double-prop. sent10: the speedboat is a slump. sent11: something is not a quartzite if it is armillary or is a kind of a plagiocephaly or both. sent12: the fact that the speedboat is appointive is not false. ; $proof$ = 
void -> assump2: Let's assume that the speedboat is not a kind of a Buddhism.; sent1 & assump2 -> int1: the speedboat is a kind of appointive thing that is not a double-prop.; int1 & sent8 -> int2: the fact that the frontispiece is armillary is not incorrect.; int2 -> int3: either the frontispiece is armillary or it is a plagiocephaly or both.; sent11 -> int4: if the frontispiece is armillary or it is a plagiocephaly or both it is not a quartzite.; int3 & int4 -> int5: the frontispiece is not a quartzite.; void -> assump1: Let's assume that the frontispiece is a quartzite.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: the speedboat is a Buddhism.; [assump1] & int7 -> hypothesis; __PROVED__