the patisserie is a Anacardium and it is a piddock.
sent1: if the fact that the fact that the megaloblast is a forestay and is a pauper does not hold is not wrong the patisserie is not a kind of a forestay. sent2: if the Samaritan is billiard that it does not distill hold. sent3: if that something is not lowborn hold then that it is not billiard and it is inaccessible is not right. sent4: if something does not chock willing that it is not a win and does chock Occidental is wrong. sent5: if the Samaritan is not a pauper then the personification does not distill and it is not a forestay. sent6: the patisserie is syndetic and/or it is a Anacardium if it is not a pauper. sent7: the personification is not a forestay if the Samaritan is not a pauper. sent8: that the megaloblast is not non-vitreous and chocks Occidental is not correct. sent9: something is both a Anacardium and a piddock if it is not a forestay. sent10: the microphoning is not a seasnail. sent11: the alumina is not billiard if the personification does not distill and is not a forestay. sent12: if there is something such that it is not inaccessible that the patisserie is a kind of a Anacardium and is a piddock does not hold. sent13: the Samaritan is not a pauper if the fact that the megaloblast is vitreous and it chocks Occidental does not hold. sent14: the microphoning is a crown-of-the-field or it is not syndetic or both if it is not a seasnail. sent15: if that the alumina is billiard or is not a forestay or both is not wrong then the personification is not lowborn. sent16: the alumina is not lowborn if either the microphoning is a kind of a crown-of-the-field or it is not syndetic or both. sent17: that the alumina is not billiard hold if the personification does not distill but it is a forestay. sent18: the personification is not a kind of a forestay.
sent13 & sent8 -> int1: the Samaritan is not a kind of a pauper.; int1 & sent5 -> int2: the personification does not distill and it is not a forestay.; int2 & sent11 -> int3: the alumina is not billiard.; void -> assump1: Let's assume that the alumina is inaccessible.; int3 & assump1 -> int4: the alumina is not billiard but it is inaccessible.; sent3 -> int5: if the alumina is not lowborn then the fact that it is not billiard and it is inaccessible is not right.; sent14 & sent10 -> int6: the microphoning is a crown-of-the-field or not syndetic or both.; sent16 & int6 -> int7: that the alumina is not lowborn is right.; int5 & int7 -> int8: the fact that the alumina is not billiard but it is inaccessible is not correct.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the alumina is not inaccessible.; int10 -> int11: there exists something such that it is not inaccessible.; int11 & sent12 -> hypothesis;
the patisserie is a Anacardium and it is a piddock.
sent9 -> int12: if the patisserie is not a forestay it is a Anacardium and a piddock.;
$hypothesis$ = the patisserie is a Anacardium and it is a piddock. ; $context$ = sent1: if the fact that the fact that the megaloblast is a forestay and is a pauper does not hold is not wrong the patisserie is not a kind of a forestay. sent2: if the Samaritan is billiard that it does not distill hold. sent3: if that something is not lowborn hold then that it is not billiard and it is inaccessible is not right. sent4: if something does not chock willing that it is not a win and does chock Occidental is wrong. sent5: if the Samaritan is not a pauper then the personification does not distill and it is not a forestay. sent6: the patisserie is syndetic and/or it is a Anacardium if it is not a pauper. sent7: the personification is not a forestay if the Samaritan is not a pauper. sent8: that the megaloblast is not non-vitreous and chocks Occidental is not correct. sent9: something is both a Anacardium and a piddock if it is not a forestay. sent10: the microphoning is not a seasnail. sent11: the alumina is not billiard if the personification does not distill and is not a forestay. sent12: if there is something such that it is not inaccessible that the patisserie is a kind of a Anacardium and is a piddock does not hold. sent13: the Samaritan is not a pauper if the fact that the megaloblast is vitreous and it chocks Occidental does not hold. sent14: the microphoning is a crown-of-the-field or it is not syndetic or both if it is not a seasnail. sent15: if that the alumina is billiard or is not a forestay or both is not wrong then the personification is not lowborn. sent16: the alumina is not lowborn if either the microphoning is a kind of a crown-of-the-field or it is not syndetic or both. sent17: that the alumina is not billiard hold if the personification does not distill but it is a forestay. sent18: the personification is not a kind of a forestay. ; $proof$ = 
sent13 & sent8 -> int1: the Samaritan is not a kind of a pauper.; int1 & sent5 -> int2: the personification does not distill and it is not a forestay.; int2 & sent11 -> int3: the alumina is not billiard.; void -> assump1: Let's assume that the alumina is inaccessible.; int3 & assump1 -> int4: the alumina is not billiard but it is inaccessible.; sent3 -> int5: if the alumina is not lowborn then the fact that it is not billiard and it is inaccessible is not right.; sent14 & sent10 -> int6: the microphoning is a crown-of-the-field or not syndetic or both.; sent16 & int6 -> int7: that the alumina is not lowborn is right.; int5 & int7 -> int8: the fact that the alumina is not billiard but it is inaccessible is not correct.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the alumina is not inaccessible.; int10 -> int11: there exists something such that it is not inaccessible.; int11 & sent12 -> hypothesis; __DISPROVED__