that the censor is a Alonso hold.
sent1: the grapevine does not company Charlottetown. sent2: if the romper is both not a chapman and not a blastopore the fact that it does not company Charlottetown is not incorrect. sent3: that the racerunner does not company Charlottetown if something does sign Correggio and is brisant is correct. sent4: the gum-lac signs Correggio and it is brisant. sent5: the grapevine is a Alonso if the fact that it is not a Alonso and not nebulous is false. sent6: if something is lovable or does not company Charlottetown or both then it does not clear springer. sent7: there is something such that it companies Charlottetown and it is a Alonso. sent8: there is something such that it is not a bog and companies antonymy. sent9: there is something such that it companies racerunner. sent10: the romper is not calciferous if the racerunner does not sign Correggio. sent11: the grapevine is non-lovable thing that does not company Charlottetown if the racerunner does not company Charlottetown. sent12: if something that does not sign Correggio does not company Charlottetown the gum-lac is not lovable. sent13: the censor is not a Alonso if there is something such that it is not lovable and does not company Charlottetown. sent14: the gum-lac does sign Correggio. sent15: there is nothing that is not a Alonso and not nebulous. sent16: something does sign Correggio but it is not a Alonso. sent17: if the luger is not nebulous the grapevine does sign Correggio and is a blastopore. sent18: something transubstantiates. sent19: the racerunner does not sign Correggio if the grapevine does sign Correggio and it does company Charlottetown. sent20: the fact that something is not brisant and signs Correggio is wrong if it is a Alonso. sent21: that the racerunner does not company Charlottetown and it does not sign Correggio is correct if that the gum-lac does not sign Correggio is true. sent22: the racerunner is not a falsity and not brisant. sent23: the racerunner does not sign Correggio if that the fact that the grapevine is not brisant but it does sign Correggio is not correct is not false.
sent4 -> int1: there is something such that it signs Correggio and is brisant.; int1 & sent3 -> int2: the racerunner does not company Charlottetown.; int2 & sent11 -> int3: the grapevine is not lovable and it does not company Charlottetown.; int3 -> int4: there exists something such that it is not lovable and does not company Charlottetown.; int4 & sent13 -> hypothesis;
the romper is not calciferous and it does not clear springer.
sent20 -> int5: if the grapevine is a Alonso then that it is non-brisant thing that signs Correggio is not true.; sent15 -> int6: that the grapevine is not a Alonso and it is not nebulous is not true.; sent5 & int6 -> int7: the grapevine is a Alonso.; int5 & int7 -> int8: the fact that the grapevine is a kind of non-brisant thing that signs Correggio is not right.; sent23 & int8 -> int9: the racerunner does not sign Correggio.; sent10 & int9 -> int10: the romper is not calciferous.; sent6 -> int11: the romper does not clear springer if it is lovable or does not company Charlottetown or both.;
$hypothesis$ = that the censor is a Alonso hold. ; $context$ = sent1: the grapevine does not company Charlottetown. sent2: if the romper is both not a chapman and not a blastopore the fact that it does not company Charlottetown is not incorrect. sent3: that the racerunner does not company Charlottetown if something does sign Correggio and is brisant is correct. sent4: the gum-lac signs Correggio and it is brisant. sent5: the grapevine is a Alonso if the fact that it is not a Alonso and not nebulous is false. sent6: if something is lovable or does not company Charlottetown or both then it does not clear springer. sent7: there is something such that it companies Charlottetown and it is a Alonso. sent8: there is something such that it is not a bog and companies antonymy. sent9: there is something such that it companies racerunner. sent10: the romper is not calciferous if the racerunner does not sign Correggio. sent11: the grapevine is non-lovable thing that does not company Charlottetown if the racerunner does not company Charlottetown. sent12: if something that does not sign Correggio does not company Charlottetown the gum-lac is not lovable. sent13: the censor is not a Alonso if there is something such that it is not lovable and does not company Charlottetown. sent14: the gum-lac does sign Correggio. sent15: there is nothing that is not a Alonso and not nebulous. sent16: something does sign Correggio but it is not a Alonso. sent17: if the luger is not nebulous the grapevine does sign Correggio and is a blastopore. sent18: something transubstantiates. sent19: the racerunner does not sign Correggio if the grapevine does sign Correggio and it does company Charlottetown. sent20: the fact that something is not brisant and signs Correggio is wrong if it is a Alonso. sent21: that the racerunner does not company Charlottetown and it does not sign Correggio is correct if that the gum-lac does not sign Correggio is true. sent22: the racerunner is not a falsity and not brisant. sent23: the racerunner does not sign Correggio if that the fact that the grapevine is not brisant but it does sign Correggio is not correct is not false. ; $proof$ = 
sent4 -> int1: there is something such that it signs Correggio and is brisant.; int1 & sent3 -> int2: the racerunner does not company Charlottetown.; int2 & sent11 -> int3: the grapevine is not lovable and it does not company Charlottetown.; int3 -> int4: there exists something such that it is not lovable and does not company Charlottetown.; int4 & sent13 -> hypothesis; __DISPROVED__