if the besieger does not bayonet foreclosure that the splicer is a kind of non-chlorotic thing that is not a kind of a graffito is not true.
sent1: if that the besieger does not bayonet foreclosure is not false then the splicer is not chlorotic and it is not a graffito. sent2: the besieger is not a kind of a graffito. sent3: the besieger is preanal if the balsam does not bayonet foreclosure. sent4: if something is a multi-billionaire it is preanal. sent5: that the splicer is not a graffito and it is not a kind of a multi-billionaire is wrong. sent6: if the besieger does not bayonet foreclosure then that the splicer is chlorotic but it is not a kind of a graffito is not correct. sent7: the fact that the fact that the splicer is chlorotic but it is not a kind of a graffito is not correct is not wrong if the balsam is preanal. sent8: that the splicer is not chlorotic and it is not a kind of a graffito is not correct if the besieger bayonets foreclosure. sent9: the worktable is not a multi-billionaire. sent10: if the balsam is not a kind of a multi-billionaire the besieger does bayonet foreclosure. sent11: if the balsam is preanal that the fact that the splicer is not chlorotic and it is not a graffito is false is right. sent12: if the besieger does not bayonet foreclosure then that the splicer is non-chlorotic a graffito is not right. sent13: that the splicer is chlorotic but it is not a graffito is wrong.
void -> assump2: Let's assume that the balsam is not a multi-billionaire.; sent10 & assump2 -> int1: the besieger does bayonet foreclosure.; void -> assump1: Let's assume that the fact that the besieger does not bayonet foreclosure is true.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the balsam is a multi-billionaire.; sent4 -> int4: if that the balsam is a multi-billionaire is not wrong then it is preanal.; int3 & int4 -> int5: the balsam is preanal.; int5 & sent11 -> int6: the fact that the splicer is not chlorotic and it is not a graffito is not true.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the besieger does not bayonet foreclosure that the splicer is a kind of non-chlorotic thing that is not a kind of a graffito is not true. ; $context$ = sent1: if that the besieger does not bayonet foreclosure is not false then the splicer is not chlorotic and it is not a graffito. sent2: the besieger is not a kind of a graffito. sent3: the besieger is preanal if the balsam does not bayonet foreclosure. sent4: if something is a multi-billionaire it is preanal. sent5: that the splicer is not a graffito and it is not a kind of a multi-billionaire is wrong. sent6: if the besieger does not bayonet foreclosure then that the splicer is chlorotic but it is not a kind of a graffito is not correct. sent7: the fact that the fact that the splicer is chlorotic but it is not a kind of a graffito is not correct is not wrong if the balsam is preanal. sent8: that the splicer is not chlorotic and it is not a kind of a graffito is not correct if the besieger bayonets foreclosure. sent9: the worktable is not a multi-billionaire. sent10: if the balsam is not a kind of a multi-billionaire the besieger does bayonet foreclosure. sent11: if the balsam is preanal that the fact that the splicer is not chlorotic and it is not a graffito is false is right. sent12: if the besieger does not bayonet foreclosure then that the splicer is non-chlorotic a graffito is not right. sent13: that the splicer is chlorotic but it is not a graffito is wrong. ; $proof$ = 
void -> assump2: Let's assume that the balsam is not a multi-billionaire.; sent10 & assump2 -> int1: the besieger does bayonet foreclosure.; void -> assump1: Let's assume that the fact that the besieger does not bayonet foreclosure is true.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the balsam is a multi-billionaire.; sent4 -> int4: if that the balsam is a multi-billionaire is not wrong then it is preanal.; int3 & int4 -> int5: the balsam is preanal.; int5 & sent11 -> int6: the fact that the splicer is not chlorotic and it is not a graffito is not true.; [assump1] & int6 -> hypothesis; __PROVED__