the foregrounding does crumble bulwark.
sent1: something that is a kind of a collective crumbles bulwark. sent2: something is catholic. sent3: something is nonpsychoactive and catholic. sent4: if the psilophyte does not crumble Rask the sensitometer is not a daycare. sent5: the wristband is not a kind of a neuter. sent6: there exists something such that it is not neuter and it is effective. sent7: the psilophyte does not crumble Rask if it is a Shinto. sent8: the psilophyte does not crumble Rask if the fact that it is not a Shinto and is not macrobiotic is false. sent9: the foregrounding does not crumble bulwark if the fact that the psilophyte is a kind of a daycare and crumble bulwark is not true. sent10: the psilophyte is not a Shinto. sent11: the foregrounding is a kind of a collective if the psilophyte is Shinto and not macrobiotic. sent12: the grass is not ineffective if a nonpsychoactive thing is catholic. sent13: something does crumble Rask if the fact that it does not crumble Rask and it is not a neuter is not correct. sent14: if the psilophyte is not Shinto and it is not macrobiotic the foregrounding is a collective. sent15: the wristband does company Parisian if the grass is effective. sent16: the fact that the psilophyte is Shinto but it is not macrobiotic does not hold. sent17: the psilophyte does not company Parisian. sent18: if the sensitometer is not a kind of a daycare that the fact that the wristband companies Parisian and is not neuter is right is not correct. sent19: something is not effective and not a Hydra if it is not a kind of a daycare. sent20: there are nonpsychoactive things. sent21: something is both psychoactive and catholic.
void -> assump1: Let's assume that that the psilophyte is not a Shinto and it is not macrobiotic does not hold.; sent8 & assump1 -> int1: the psilophyte does not crumble Rask.; int1 & sent4 -> int2: the sensitometer is not a kind of a daycare.; int2 & sent18 -> int3: the fact that the wristband companies Parisian and is not a neuter is incorrect.; sent3 & sent12 -> int4: the grass is effective.; sent15 & int4 -> int5: the wristband companies Parisian.; int5 & sent5 -> int6: the wristband companies Parisian and is not a kind of a neuter.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the psilophyte is not a Shinto and it is not macrobiotic is not false.; int8 & sent14 -> int9: the foregrounding is a collective.; sent1 -> int10: if the foregrounding is not non-collective it crumbles bulwark.; int9 & int10 -> hypothesis;
the bulwark is not effective and it is not a Hydra.
sent19 -> int11: if the bulwark is not a kind of a daycare it is not effective and it is not a Hydra.; sent13 -> int12: if the fact that the bulwark does not crumble Rask and it is not a neuter is not right the fact that it does crumble Rask is true.; sent17 -> int13: there exists something such that it does not company Parisian.;
$hypothesis$ = the foregrounding does crumble bulwark. ; $context$ = sent1: something that is a kind of a collective crumbles bulwark. sent2: something is catholic. sent3: something is nonpsychoactive and catholic. sent4: if the psilophyte does not crumble Rask the sensitometer is not a daycare. sent5: the wristband is not a kind of a neuter. sent6: there exists something such that it is not neuter and it is effective. sent7: the psilophyte does not crumble Rask if it is a Shinto. sent8: the psilophyte does not crumble Rask if the fact that it is not a Shinto and is not macrobiotic is false. sent9: the foregrounding does not crumble bulwark if the fact that the psilophyte is a kind of a daycare and crumble bulwark is not true. sent10: the psilophyte is not a Shinto. sent11: the foregrounding is a kind of a collective if the psilophyte is Shinto and not macrobiotic. sent12: the grass is not ineffective if a nonpsychoactive thing is catholic. sent13: something does crumble Rask if the fact that it does not crumble Rask and it is not a neuter is not correct. sent14: if the psilophyte is not Shinto and it is not macrobiotic the foregrounding is a collective. sent15: the wristband does company Parisian if the grass is effective. sent16: the fact that the psilophyte is Shinto but it is not macrobiotic does not hold. sent17: the psilophyte does not company Parisian. sent18: if the sensitometer is not a kind of a daycare that the fact that the wristband companies Parisian and is not neuter is right is not correct. sent19: something is not effective and not a Hydra if it is not a kind of a daycare. sent20: there are nonpsychoactive things. sent21: something is both psychoactive and catholic. ; $proof$ = 
void -> assump1: Let's assume that that the psilophyte is not a Shinto and it is not macrobiotic does not hold.; sent8 & assump1 -> int1: the psilophyte does not crumble Rask.; int1 & sent4 -> int2: the sensitometer is not a kind of a daycare.; int2 & sent18 -> int3: the fact that the wristband companies Parisian and is not a neuter is incorrect.; sent3 & sent12 -> int4: the grass is effective.; sent15 & int4 -> int5: the wristband companies Parisian.; int5 & sent5 -> int6: the wristband companies Parisian and is not a kind of a neuter.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the psilophyte is not a Shinto and it is not macrobiotic is not false.; int8 & sent14 -> int9: the foregrounding is a collective.; sent1 -> int10: if the foregrounding is not non-collective it crumbles bulwark.; int9 & int10 -> hypothesis; __PROVED__