the collie is not migratory and it is not a decrease.
sent1: the Luxemburger offers Strombidae but it is not a holotype if the wallaby is non-exilic. sent2: the biont is not Portuguese if the boothose does not sour. sent3: something is a Portuguese if the fact that it is not Portuguese and does convoy zany is not correct. sent4: that something is non-Portuguese thing that convoys zany is false if it is not exilic. sent5: the harrier does convoy zany if the zany is not a kind of a Citation and it is not a kind of a bagasse. sent6: the zany is not a bagasse. sent7: that the zany is both not a Citation and a bagasse is not true. sent8: the wallaby is not exilic if that the zany is not a Citation and it is not a bagasse is not correct. sent9: the fact that the boothose does not convoy simplicity but it is a sour does not hold. sent10: if the harrier does convoy zany that the biont is not a Portuguese or does not convoy zany or both is incorrect. sent11: the fact that the collie does not convoy simplicity and it is not a decrease does not hold. sent12: if the zany is both not a Citation and a bagasse then the harrier convoys zany. sent13: the collie is not migratory and it does not decrease if the Luxemburger is not a Rhizophora. sent14: the fact that the biont is not Portuguese hold if the fact that the boothose does not convoy simplicity but it sours is not true. sent15: if something is a Portuguese then that it is not migratory and is not a decrease does not hold. sent16: that if the fact that something does offer Strombidae and it is exilic is wrong then it is not exilic hold. sent17: if something offers Strombidae but it is not a holotype then it is not a kind of a Rhizophora. sent18: the collie does not decrease. sent19: if the zany is a bagasse the wallaby is non-exilic.
void -> assump1: Let's assume that the zany is not a Citation and not a bagasse.; sent5 & assump1 -> int1: the harrier does convoy zany.; int1 & sent10 -> int2: the fact that the biont either is not a Portuguese or does not convoy zany or both is not right.; sent14 & sent9 -> int3: the biont is not a kind of a Portuguese.; int3 -> int4: either the biont is not a Portuguese or it does not convoy zany or both.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the zany is both not a Citation and not a bagasse does not hold.; int6 & sent8 -> int7: the wallaby is not exilic.; int7 & sent1 -> int8: the Luxemburger does offer Strombidae and is not a holotype.; sent17 -> int9: the Luxemburger is not a Rhizophora if it does offer Strombidae and is not a holotype.; int8 & int9 -> int10: the Luxemburger is not a Rhizophora.; int10 & sent13 -> hypothesis;
that the collie is not migratory and it does not decrease is not true.
sent15 -> int11: if the collie is a Portuguese then the fact that it is not migratory and is not a decrease is not true.; sent3 -> int12: if that the collie is not a Portuguese but it does convoy zany is not true then it is a kind of a Portuguese.; sent4 -> int13: if that the collie is not exilic hold then the fact that it is a kind of non-Portuguese thing that convoys zany is wrong.; sent16 -> int14: if that the collie offers Strombidae and it is exilic is false then it is not exilic.;
$hypothesis$ = the collie is not migratory and it is not a decrease. ; $context$ = sent1: the Luxemburger offers Strombidae but it is not a holotype if the wallaby is non-exilic. sent2: the biont is not Portuguese if the boothose does not sour. sent3: something is a Portuguese if the fact that it is not Portuguese and does convoy zany is not correct. sent4: that something is non-Portuguese thing that convoys zany is false if it is not exilic. sent5: the harrier does convoy zany if the zany is not a kind of a Citation and it is not a kind of a bagasse. sent6: the zany is not a bagasse. sent7: that the zany is both not a Citation and a bagasse is not true. sent8: the wallaby is not exilic if that the zany is not a Citation and it is not a bagasse is not correct. sent9: the fact that the boothose does not convoy simplicity but it is a sour does not hold. sent10: if the harrier does convoy zany that the biont is not a Portuguese or does not convoy zany or both is incorrect. sent11: the fact that the collie does not convoy simplicity and it is not a decrease does not hold. sent12: if the zany is both not a Citation and a bagasse then the harrier convoys zany. sent13: the collie is not migratory and it does not decrease if the Luxemburger is not a Rhizophora. sent14: the fact that the biont is not Portuguese hold if the fact that the boothose does not convoy simplicity but it sours is not true. sent15: if something is a Portuguese then that it is not migratory and is not a decrease does not hold. sent16: that if the fact that something does offer Strombidae and it is exilic is wrong then it is not exilic hold. sent17: if something offers Strombidae but it is not a holotype then it is not a kind of a Rhizophora. sent18: the collie does not decrease. sent19: if the zany is a bagasse the wallaby is non-exilic. ; $proof$ = 
void -> assump1: Let's assume that the zany is not a Citation and not a bagasse.; sent5 & assump1 -> int1: the harrier does convoy zany.; int1 & sent10 -> int2: the fact that the biont either is not a Portuguese or does not convoy zany or both is not right.; sent14 & sent9 -> int3: the biont is not a kind of a Portuguese.; int3 -> int4: either the biont is not a Portuguese or it does not convoy zany or both.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the zany is both not a Citation and not a bagasse does not hold.; int6 & sent8 -> int7: the wallaby is not exilic.; int7 & sent1 -> int8: the Luxemburger does offer Strombidae and is not a holotype.; sent17 -> int9: the Luxemburger is not a Rhizophora if it does offer Strombidae and is not a holotype.; int8 & int9 -> int10: the Luxemburger is not a Rhizophora.; int10 & sent13 -> hypothesis; __PROVED__