the petticoat is not a kind of a enterostomy.
sent1: the petticoat is a kind of a Boyne if there exists something such that it budgets 1860s and it is wearable. sent2: the postilion is not a kind of a enterostomy if it does not budget 1860s. sent3: the postilion does budget 1860s and it is wearable. sent4: if something is not a kind of a enterostomy then it is not a Boyne. sent5: if something is not a filename it is not sensitive.
sent4 -> int1: if the petticoat is not a kind of a enterostomy then that it is not a Boyne is true.; void -> assump1: Let's assume that the petticoat is not a enterostomy.; int1 & assump1 -> int2: the petticoat is not a Boyne.; sent3 -> int3: there exists something such that it budgets 1860s and is wearable.; int3 & sent1 -> int4: the petticoat is a Boyne.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the petticoat is not a kind of a enterostomy. ; $context$ = sent1: the petticoat is a kind of a Boyne if there exists something such that it budgets 1860s and it is wearable. sent2: the postilion is not a kind of a enterostomy if it does not budget 1860s. sent3: the postilion does budget 1860s and it is wearable. sent4: if something is not a kind of a enterostomy then it is not a Boyne. sent5: if something is not a filename it is not sensitive. ; $proof$ = 
sent4 -> int1: if the petticoat is not a kind of a enterostomy then that it is not a Boyne is true.; void -> assump1: Let's assume that the petticoat is not a enterostomy.; int1 & assump1 -> int2: the petticoat is not a Boyne.; sent3 -> int3: there exists something such that it budgets 1860s and is wearable.; int3 & sent1 -> int4: the petticoat is a Boyne.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__