the goatsbeard is a sowbread.
sent1: the Munchener is not bony if the goatsbeard does not slag witting. sent2: if the stylet is not a bivalve and is not ritualistic then the Munchener is not a bivalve. sent3: the stylet is not a kind of an instantiation and it is not a BASIC. sent4: if the Munchener is not ritualistic and it is non-bivalve it is bony. sent5: if the goatsbeard does not slag witting then the Munchener is not bony and it is not a plunge. sent6: the Munchener is not non-bivalve if it is a kind of bony thing that is not a kind of a plunge. sent7: the Munchener is bivalve if it is not bony and is not a plunge. sent8: if the stylet is a bivalve but it is not ritualistic then the Munchener is not a bivalve. sent9: that the Munchener is not bivalve hold if the stylet is a kind of bivalve thing that is ritualistic. sent10: the goatsbeard is a sowbread if it does slag witting. sent11: the Munchener is non-bony. sent12: if the stylet is not ritualistic then the Munchener is a kind of a bivalve and/or does slag witting. sent13: the stylet is not a kind of a bivalve and it is not ritualistic.
void -> assump1: Let's assume that the goatsbeard does not slag witting.; sent5 & assump1 -> int1: the Munchener is not bony and it is not a plunge.; int1 & sent7 -> int2: the Munchener is a kind of a bivalve.; sent2 & sent13 -> int3: the Munchener is not a bivalve.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the goatsbeard slags witting.; int5 & sent10 -> hypothesis;
the goatsbeard is not a sowbread.
$hypothesis$ = the goatsbeard is a sowbread. ; $context$ = sent1: the Munchener is not bony if the goatsbeard does not slag witting. sent2: if the stylet is not a bivalve and is not ritualistic then the Munchener is not a bivalve. sent3: the stylet is not a kind of an instantiation and it is not a BASIC. sent4: if the Munchener is not ritualistic and it is non-bivalve it is bony. sent5: if the goatsbeard does not slag witting then the Munchener is not bony and it is not a plunge. sent6: the Munchener is not non-bivalve if it is a kind of bony thing that is not a kind of a plunge. sent7: the Munchener is bivalve if it is not bony and is not a plunge. sent8: if the stylet is a bivalve but it is not ritualistic then the Munchener is not a bivalve. sent9: that the Munchener is not bivalve hold if the stylet is a kind of bivalve thing that is ritualistic. sent10: the goatsbeard is a sowbread if it does slag witting. sent11: the Munchener is non-bony. sent12: if the stylet is not ritualistic then the Munchener is a kind of a bivalve and/or does slag witting. sent13: the stylet is not a kind of a bivalve and it is not ritualistic. ; $proof$ = 
void -> assump1: Let's assume that the goatsbeard does not slag witting.; sent5 & assump1 -> int1: the Munchener is not bony and it is not a plunge.; int1 & sent7 -> int2: the Munchener is a kind of a bivalve.; sent2 & sent13 -> int3: the Munchener is not a bivalve.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the goatsbeard slags witting.; int5 & sent10 -> hypothesis; __PROVED__