the acrylamide is an exhibit.
sent1: if something destines auricle and/or does not scald broken then it does destine Allentown. sent2: if the acrylamide does not destine loop-line then it is a kind of an exhibit. sent3: the acrylamide does not destine Allentown if it is a hyperon and scalds venule. sent4: the acrylamide does scald venule if there is something such that the fact that it is not a Synentognathi and it is physiotherapeutic is false. sent5: the acrylamide is not a kind of an exhibit if the fact that the lost-and-found is a hyperon and it is an exhibit is not correct. sent6: the acrylamide is a alkylbenzenesulfonate and it is syncretic. sent7: if the acrylamide is not a hyperon the fact that it does not destine loop-line and it does not scald planation hold. sent8: if the acrylamide is syncretic then it destines auricle or it does not scald broken or both. sent9: there exists something such that the fact that it is not a Synentognathi and is physiotherapeutic is not true.
sent9 & sent4 -> int1: the acrylamide scalds venule.; void -> assump1: Let's assume that the acrylamide is a hyperon.; int1 & assump1 -> int2: the acrylamide is a kind of a hyperon that scalds venule.; int2 & sent3 -> int3: the acrylamide does not destine Allentown.; sent1 -> int4: if the acrylamide destines auricle and/or it does not scald broken then it does destine Allentown.; sent6 -> int5: the acrylamide is syncretic.; sent8 & int5 -> int6: the acrylamide does destine auricle and/or does not scald broken.; int4 & int6 -> int7: the acrylamide destines Allentown.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the acrylamide is not a hyperon.; int9 & sent7 -> int10: the acrylamide does not destine loop-line and it does not scald planation.; int10 -> int11: the acrylamide does not destine loop-line.; int11 & sent2 -> hypothesis;
the acrylamide is not an exhibit.
$hypothesis$ = the acrylamide is an exhibit. ; $context$ = sent1: if something destines auricle and/or does not scald broken then it does destine Allentown. sent2: if the acrylamide does not destine loop-line then it is a kind of an exhibit. sent3: the acrylamide does not destine Allentown if it is a hyperon and scalds venule. sent4: the acrylamide does scald venule if there is something such that the fact that it is not a Synentognathi and it is physiotherapeutic is false. sent5: the acrylamide is not a kind of an exhibit if the fact that the lost-and-found is a hyperon and it is an exhibit is not correct. sent6: the acrylamide is a alkylbenzenesulfonate and it is syncretic. sent7: if the acrylamide is not a hyperon the fact that it does not destine loop-line and it does not scald planation hold. sent8: if the acrylamide is syncretic then it destines auricle or it does not scald broken or both. sent9: there exists something such that the fact that it is not a Synentognathi and is physiotherapeutic is not true. ; $proof$ = 
sent9 & sent4 -> int1: the acrylamide scalds venule.; void -> assump1: Let's assume that the acrylamide is a hyperon.; int1 & assump1 -> int2: the acrylamide is a kind of a hyperon that scalds venule.; int2 & sent3 -> int3: the acrylamide does not destine Allentown.; sent1 -> int4: if the acrylamide destines auricle and/or it does not scald broken then it does destine Allentown.; sent6 -> int5: the acrylamide is syncretic.; sent8 & int5 -> int6: the acrylamide does destine auricle and/or does not scald broken.; int4 & int6 -> int7: the acrylamide destines Allentown.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the acrylamide is not a hyperon.; int9 & sent7 -> int10: the acrylamide does not destine loop-line and it does not scald planation.; int10 -> int11: the acrylamide does not destine loop-line.; int11 & sent2 -> hypothesis; __PROVED__