the shading concurs.
sent1: the shading is unknowable if the ice is a tome. sent2: The sixty does not fret caddisworm. sent3: the shading is not a pepper. sent4: there exists something such that it is smokeless. sent5: the caddisworm does not fret sixty. sent6: something is a tome if it does pepper. sent7: something is not smokeless. sent8: the ice fettles if there is something such that it is not smokeless. sent9: if there is something such that it is not smokeless then the ice is a pepper that is a kind of a fettle. sent10: the caddisworm is a kind of a fettle. sent11: if the shading peppers the ice does concur. sent12: the ice fettles. sent13: the caddisworm does fret sixty if the shading is unknowable thing that does not concur. sent14: if that the shading is not a pepper is not false the fact that the ice is not smokeless but it is a anaphrodisia does not hold. sent15: something is not a pepper if the fact that it does fettle and it is a pepper is incorrect.
sent7 & sent9 -> int1: the ice does pepper and fettles.; int1 -> int2: the ice is a pepper.; sent6 -> int3: that the ice is a kind of a tome is not incorrect if it does pepper.; int2 & int3 -> int4: the fact that the ice is a kind of a tome is right.; int4 & sent1 -> int5: the shading is unknowable.; void -> assump1: Let's assume that that the shading does not concur hold.; int5 & assump1 -> int6: the shading is unknowable and does not concur.; int6 & sent13 -> int7: the caddisworm frets sixty.; int7 & sent5 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the aquarium is not a anaphrodisia.
sent15 -> int9: the shading does not pepper if the fact that it is a kind of a fettle that pepper is not right.;
$hypothesis$ = the shading concurs. ; $context$ = sent1: the shading is unknowable if the ice is a tome. sent2: The sixty does not fret caddisworm. sent3: the shading is not a pepper. sent4: there exists something such that it is smokeless. sent5: the caddisworm does not fret sixty. sent6: something is a tome if it does pepper. sent7: something is not smokeless. sent8: the ice fettles if there is something such that it is not smokeless. sent9: if there is something such that it is not smokeless then the ice is a pepper that is a kind of a fettle. sent10: the caddisworm is a kind of a fettle. sent11: if the shading peppers the ice does concur. sent12: the ice fettles. sent13: the caddisworm does fret sixty if the shading is unknowable thing that does not concur. sent14: if that the shading is not a pepper is not false the fact that the ice is not smokeless but it is a anaphrodisia does not hold. sent15: something is not a pepper if the fact that it does fettle and it is a pepper is incorrect. ; $proof$ = 
sent7 & sent9 -> int1: the ice does pepper and fettles.; int1 -> int2: the ice is a pepper.; sent6 -> int3: that the ice is a kind of a tome is not incorrect if it does pepper.; int2 & int3 -> int4: the fact that the ice is a kind of a tome is right.; int4 & sent1 -> int5: the shading is unknowable.; void -> assump1: Let's assume that that the shading does not concur hold.; int5 & assump1 -> int6: the shading is unknowable and does not concur.; int6 & sent13 -> int7: the caddisworm frets sixty.; int7 & sent5 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__