that the shittah is not a redberry and not phreatic is not true.
sent1: the shittah is not a redberry if there exists something such that it is not instructive. sent2: the sickbag housekeeps lucubration. sent3: if the Samaritan is not multivalent that the wafer is not a storybook and not a Corneille is true. sent4: if there is something such that it is a kind of multivalent thing that does housekeep matrilineage the bus is colonial. sent5: that the shittah is both not a redberry and not phreatic is not correct if the Samaritan is not multivalent. sent6: something is not a colonial if it is instructive and it is a backswimmer. sent7: the shittah is not a redberry if there is something such that that it is both instructive and a redberry is not correct. sent8: if the shittah is not a Piaf then the bus is not a Piaf. sent9: if that the alga is not areal and/or housekeeps Samaritan is false then the sickbag is a backswimmer. sent10: if the bus is not a Piaf but it does housekeep matrilineage then the Samaritan is a Piaf. sent11: the bus is non-colonial. sent12: the Samaritan is multivalent and it is a kind of a Piaf. sent13: if the sickbag is not a colonial the bus is not a kind of a Piaf or it does not housekeep matrilineage or both. sent14: there exists something such that the fact that it is both instructive and a redberry is incorrect. sent15: if the fact that the Samaritan does not housekeep matrilineage hold then that the shittah is not phreatic is correct. sent16: the fact that something is not areal and/or it housekeeps Samaritan is incorrect if it is not a clearing. sent17: if the sickbag does housekeep lucubration it is instructive.
sent12 -> int1: the Samaritan is multivalent.; void -> assump1: Let's assume that the Samaritan does housekeep matrilineage.; int1 & assump1 -> int2: the Samaritan is a kind of multivalent thing that does housekeep matrilineage.; int2 -> int3: there exists something such that it is not non-multivalent and does housekeep matrilineage.; int3 & sent4 -> int4: the bus is a colonial.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Samaritan does not housekeep matrilineage.; int6 & sent15 -> int7: the fact that the shittah is not phreatic is correct.; sent14 & sent7 -> int8: the shittah is not a redberry.; int7 & int8 -> hypothesis;
the fact that the shittah is not a kind of a redberry and is not phreatic is false.
sent6 -> int9: that the sickbag is not a kind of a colonial hold if it is not uninstructive and it is a backswimmer.; sent17 & sent2 -> int10: the sickbag is instructive.; sent16 -> int11: if the alga is not a kind of a clearing then the fact that it is not areal and/or does housekeep Samaritan is not right.;
$hypothesis$ = that the shittah is not a redberry and not phreatic is not true. ; $context$ = sent1: the shittah is not a redberry if there exists something such that it is not instructive. sent2: the sickbag housekeeps lucubration. sent3: if the Samaritan is not multivalent that the wafer is not a storybook and not a Corneille is true. sent4: if there is something such that it is a kind of multivalent thing that does housekeep matrilineage the bus is colonial. sent5: that the shittah is both not a redberry and not phreatic is not correct if the Samaritan is not multivalent. sent6: something is not a colonial if it is instructive and it is a backswimmer. sent7: the shittah is not a redberry if there is something such that that it is both instructive and a redberry is not correct. sent8: if the shittah is not a Piaf then the bus is not a Piaf. sent9: if that the alga is not areal and/or housekeeps Samaritan is false then the sickbag is a backswimmer. sent10: if the bus is not a Piaf but it does housekeep matrilineage then the Samaritan is a Piaf. sent11: the bus is non-colonial. sent12: the Samaritan is multivalent and it is a kind of a Piaf. sent13: if the sickbag is not a colonial the bus is not a kind of a Piaf or it does not housekeep matrilineage or both. sent14: there exists something such that the fact that it is both instructive and a redberry is incorrect. sent15: if the fact that the Samaritan does not housekeep matrilineage hold then that the shittah is not phreatic is correct. sent16: the fact that something is not areal and/or it housekeeps Samaritan is incorrect if it is not a clearing. sent17: if the sickbag does housekeep lucubration it is instructive. ; $proof$ = 
sent12 -> int1: the Samaritan is multivalent.; void -> assump1: Let's assume that the Samaritan does housekeep matrilineage.; int1 & assump1 -> int2: the Samaritan is a kind of multivalent thing that does housekeep matrilineage.; int2 -> int3: there exists something such that it is not non-multivalent and does housekeep matrilineage.; int3 & sent4 -> int4: the bus is a colonial.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Samaritan does not housekeep matrilineage.; int6 & sent15 -> int7: the fact that the shittah is not phreatic is correct.; sent14 & sent7 -> int8: the shittah is not a redberry.; int7 & int8 -> hypothesis; __DISPROVED__