the curium is a bog and it is a kind of a second-rater.
sent1: if the flyspeck invests sociology then the fact that it is not a second-rater is correct. sent2: the fact that that the flyspeck does not invest sociology and it is not buccal hold is not right. sent3: the curium is a kind of a bog if that the flyspeck does not rock and it is not buccal does not hold. sent4: the competition is a second-rater. sent5: something does invest sociology and it does invest paperweight if it is not a kind of a love. sent6: if something is not a Serbian then that the Patwin is a fragmentation and does tabulate Patwin is not correct. sent7: everything is not a manifesto and it does invest federation. sent8: if there exists something such that it is not a manifesto and does invest federation then the toothpaste is not a Serbian. sent9: the teratogen is not a love if the fact that the Patwin is a kind of a fragmentation that tabulates Patwin is not true. sent10: if the flyspeck is a kind of a rock then the curium does bog. sent11: the curium invests sociology. sent12: the fact that the flyspeck rocks but it is not buccal does not hold. sent13: the flyspeck does invest sociology if the teratogen does invest sociology. sent14: the fact that the flyspeck is not a rock and it is not buccal is incorrect.
sent3 & sent14 -> int1: the curium does bog.;
that the fact that the curium is a kind of a bog and it is a kind of a second-rater is true is not correct.
sent5 -> int2: the teratogen invests sociology and it does invest paperweight if it is not a love.; sent7 -> int3: the coalfield is not a kind of a manifesto but it invests federation.; int3 -> int4: there exists something such that it is not a manifesto and does invest federation.; int4 & sent8 -> int5: the fact that the toothpaste is non-Serbian is not incorrect.; int5 -> int6: there is something such that it is not a Serbian.; int6 & sent6 -> int7: the fact that the Patwin is a fragmentation and it tabulates Patwin is incorrect.; sent9 & int7 -> int8: the teratogen is not a love.; int2 & int8 -> int9: the teratogen does invest sociology and it does invest paperweight.; int9 -> int10: the teratogen invests sociology.; sent13 & int10 -> int11: the flyspeck invests sociology.; sent1 & int11 -> int12: the flyspeck is not a kind of a second-rater.; int12 -> int13: there exists something such that it is not a second-rater.;
$hypothesis$ = the curium is a bog and it is a kind of a second-rater. ; $context$ = sent1: if the flyspeck invests sociology then the fact that it is not a second-rater is correct. sent2: the fact that that the flyspeck does not invest sociology and it is not buccal hold is not right. sent3: the curium is a kind of a bog if that the flyspeck does not rock and it is not buccal does not hold. sent4: the competition is a second-rater. sent5: something does invest sociology and it does invest paperweight if it is not a kind of a love. sent6: if something is not a Serbian then that the Patwin is a fragmentation and does tabulate Patwin is not correct. sent7: everything is not a manifesto and it does invest federation. sent8: if there exists something such that it is not a manifesto and does invest federation then the toothpaste is not a Serbian. sent9: the teratogen is not a love if the fact that the Patwin is a kind of a fragmentation that tabulates Patwin is not true. sent10: if the flyspeck is a kind of a rock then the curium does bog. sent11: the curium invests sociology. sent12: the fact that the flyspeck rocks but it is not buccal does not hold. sent13: the flyspeck does invest sociology if the teratogen does invest sociology. sent14: the fact that the flyspeck is not a rock and it is not buccal is incorrect. ; $proof$ = 
sent3 & sent14 -> int1: the curium does bog.; __UNKNOWN__