the fact that the young is not a blotch hold.
sent1: something does lob glycerite if the fact that it does not lob glycerite and is not inadmissible is not correct. sent2: if there exists something such that it is not a kind of a rhinion that the track does not lob glycerite and is not inadmissible does not hold. sent3: something lobs glycerite if it is unactable. sent4: if the bard is practical then it edges monotone. sent5: that the young is not a blotch if there is something such that the fact that it is a rhinion and does digitize caring is not right is not incorrect. sent6: the bard does not bog shadflower and does not clear. sent7: if that something is a kind of non-unactable thing that digitizes caring is wrong it is unactable. sent8: the bard is practical. sent9: the bard does not impart if the fact that it is inadmissible and it does edge monotone is not false. sent10: if something is actable that it is a rhinion and it does digitize caring does not hold. sent11: either the bard does impart or it is unactable or both if there exists something such that it is unactable. sent12: if the boa lobs glycerite the bard imparts. sent13: that something is a kind of actable thing that digitizes caring is not right if it does lob glycerite. sent14: that the divot does not bog shadflower hold. sent15: the bard is inadmissible if it does not bog shadflower and is not clearing.
sent3 -> int1: the boa lobs glycerite if it is unactable.; void -> assump1: Let's assume that the boa is unactable.; int1 & assump1 -> int2: the boa lobs glycerite.; int2 & sent12 -> int3: the bard does impart.; sent15 & sent6 -> int4: the bard is inadmissible.; sent4 & sent8 -> int5: the bard does edge monotone.; int4 & int5 -> int6: the bard is inadmissible and it does edge monotone.; sent9 & int6 -> int7: the bard does not impart.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the boa is not unactable.; sent10 -> int10: the fact that that the boa is a rhinion and does digitize caring is not incorrect does not hold if it is not unactable.; int9 & int10 -> int11: that that the boa is a kind of a rhinion and it digitizes caring is correct is not true.; int11 -> int12: there exists something such that that it is a kind of a rhinion and it digitizes caring is not right.; int12 & sent5 -> hypothesis;
the young is a blotch.
sent7 -> int13: the track is unactable if that it is a kind of non-unactable thing that does digitize caring is incorrect.; sent13 -> int14: if the fact that the track lobs glycerite is not wrong then that it is actable thing that digitizes caring does not hold.; sent1 -> int15: if the fact that the track does not lob glycerite and is not inadmissible does not hold then it lob glycerite.;
$hypothesis$ = the fact that the young is not a blotch hold. ; $context$ = sent1: something does lob glycerite if the fact that it does not lob glycerite and is not inadmissible is not correct. sent2: if there exists something such that it is not a kind of a rhinion that the track does not lob glycerite and is not inadmissible does not hold. sent3: something lobs glycerite if it is unactable. sent4: if the bard is practical then it edges monotone. sent5: that the young is not a blotch if there is something such that the fact that it is a rhinion and does digitize caring is not right is not incorrect. sent6: the bard does not bog shadflower and does not clear. sent7: if that something is a kind of non-unactable thing that digitizes caring is wrong it is unactable. sent8: the bard is practical. sent9: the bard does not impart if the fact that it is inadmissible and it does edge monotone is not false. sent10: if something is actable that it is a rhinion and it does digitize caring does not hold. sent11: either the bard does impart or it is unactable or both if there exists something such that it is unactable. sent12: if the boa lobs glycerite the bard imparts. sent13: that something is a kind of actable thing that digitizes caring is not right if it does lob glycerite. sent14: that the divot does not bog shadflower hold. sent15: the bard is inadmissible if it does not bog shadflower and is not clearing. ; $proof$ = 
sent3 -> int1: the boa lobs glycerite if it is unactable.; void -> assump1: Let's assume that the boa is unactable.; int1 & assump1 -> int2: the boa lobs glycerite.; int2 & sent12 -> int3: the bard does impart.; sent15 & sent6 -> int4: the bard is inadmissible.; sent4 & sent8 -> int5: the bard does edge monotone.; int4 & int5 -> int6: the bard is inadmissible and it does edge monotone.; sent9 & int6 -> int7: the bard does not impart.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the boa is not unactable.; sent10 -> int10: the fact that that the boa is a rhinion and does digitize caring is not incorrect does not hold if it is not unactable.; int9 & int10 -> int11: that that the boa is a kind of a rhinion and it digitizes caring is correct is not true.; int11 -> int12: there exists something such that that it is a kind of a rhinion and it digitizes caring is not right.; int12 & sent5 -> hypothesis; __PROVED__