the clear is not butyric.
sent1: the fustian is not an oration. sent2: the vessel is a lodgment if something is butyric and it is fistulous. sent3: the acebutolol is a USN and it scrubs. sent4: the nilgai is a pensioner and it is shamanist. sent5: if there exists something such that it does not describe dahl then the vessel is not a lodgment but it is not non-fascista. sent6: there is something such that the fact that it is a kind of healthful thing that is a fascista does not hold. sent7: if the acebutolol is a USN the clear is not healthful but it is a kind of an oration. sent8: there is something such that it does not describe dahl. sent9: something is a USN and it is a scrub. sent10: if the fact that something is not an oration and is not fistulous does not hold it is a kind of an oration. sent11: if the vessel is an oration it scrubs. sent12: that something is not an oration and it is not fistulous is not correct if it is not healthful. sent13: if a non-healthful thing is a kind of an oration it is fistulous. sent14: if there exists something such that that it is both healthful and not non-fascista does not hold the vessel is not healthful.
sent3 -> int1: the acebutolol is a kind of a USN.; int1 & sent7 -> int2: the clear is not healthful and is an oration.; sent13 -> int3: if the clear is a kind of non-healthful an oration then it is fistulous.; int2 & int3 -> int4: the clear is fistulous.; void -> assump1: Let's assume that the clear is not non-butyric.; int4 & assump1 -> int5: the clear is not non-butyric but fistulous.; int5 -> int6: there is something such that it is both butyric and fistulous.; int6 & sent2 -> int7: the vessel is a kind of a lodgment.; sent8 & sent5 -> int8: the vessel is not a lodgment and is fascista.; int8 -> int9: the vessel is not a lodgment.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
that the clear is butyric is not incorrect.
sent10 -> int11: if the fact that that the vessel is not an oration and not fistulous is not false is incorrect it is an oration.; sent12 -> int12: if the fact that the vessel is not healthful is not wrong then the fact that it is not a kind of an oration and it is not fistulous is not right.; sent6 & sent14 -> int13: the vessel is not healthful.; int12 & int13 -> int14: the fact that the vessel is not an oration and is not fistulous is wrong.; int11 & int14 -> int15: the vessel is an oration.; sent11 & int15 -> int16: the vessel is a scrub.; int16 -> int17: there exists something such that it does scrub.;
$hypothesis$ = the clear is not butyric. ; $context$ = sent1: the fustian is not an oration. sent2: the vessel is a lodgment if something is butyric and it is fistulous. sent3: the acebutolol is a USN and it scrubs. sent4: the nilgai is a pensioner and it is shamanist. sent5: if there exists something such that it does not describe dahl then the vessel is not a lodgment but it is not non-fascista. sent6: there is something such that the fact that it is a kind of healthful thing that is a fascista does not hold. sent7: if the acebutolol is a USN the clear is not healthful but it is a kind of an oration. sent8: there is something such that it does not describe dahl. sent9: something is a USN and it is a scrub. sent10: if the fact that something is not an oration and is not fistulous does not hold it is a kind of an oration. sent11: if the vessel is an oration it scrubs. sent12: that something is not an oration and it is not fistulous is not correct if it is not healthful. sent13: if a non-healthful thing is a kind of an oration it is fistulous. sent14: if there exists something such that that it is both healthful and not non-fascista does not hold the vessel is not healthful. ; $proof$ = 
sent3 -> int1: the acebutolol is a kind of a USN.; int1 & sent7 -> int2: the clear is not healthful and is an oration.; sent13 -> int3: if the clear is a kind of non-healthful an oration then it is fistulous.; int2 & int3 -> int4: the clear is fistulous.; void -> assump1: Let's assume that the clear is not non-butyric.; int4 & assump1 -> int5: the clear is not non-butyric but fistulous.; int5 -> int6: there is something such that it is both butyric and fistulous.; int6 & sent2 -> int7: the vessel is a kind of a lodgment.; sent8 & sent5 -> int8: the vessel is not a lodgment and is fascista.; int8 -> int9: the vessel is not a lodgment.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__