the Girondist does not slime lacertid.
sent1: the fact that something does slime plowboy and is unserviceable is wrong if it does not slime theorist. sent2: the capiz slimes lacertid if the Girondist slimes copy. sent3: that the piddock extends chlamydospore and it does stub Nasua is incorrect if it is not a kind of a storyline. sent4: if the capiz does slime copy the Girondist is unserviceable. sent5: the plowboy does not stub Nasua if there is something such that that it extends chlamydospore and it does stub Nasua is not true. sent6: if the Girondist slimes lacertid the capiz does slimes lacertid. sent7: if the fact that the plowboy underwrites hurrah and does not extend biodiversity does not hold then the sainfoin does not slime theorist. sent8: something does slime lacertid if it is unserviceable. sent9: something is not eruptive or it does writhe or both. sent10: something is eruptive and/or it does writhe. sent11: that everything is not a storyline is not false. sent12: that something does underwrite hurrah but it does not extend biodiversity does not hold if it does not stub Nasua. sent13: that the capiz does slime copy hold if there is something such that it is not eruptive and/or writhes. sent14: something that is not unserviceable slimes lacertid and/or slimes copy.
sent9 & sent13 -> int1: the fact that the capiz slimes copy hold.; int1 & sent4 -> int2: the Girondist is unserviceable.; sent8 -> int3: the Girondist slimes lacertid if it is unserviceable.; int2 & int3 -> hypothesis;
the capiz slimes lacertid.
sent14 -> int4: the Girondist slimes lacertid and/or it slimes copy if it is not unserviceable.; sent1 -> int5: if the sainfoin does not slime theorist the fact that it slimes plowboy and is unserviceable does not hold.; sent12 -> int6: the fact that the plowboy underwrites hurrah and does not extend biodiversity is not correct if it does not stub Nasua.; sent11 -> int7: the piddock is not a storyline.; sent3 & int7 -> int8: that the piddock extends chlamydospore and does stub Nasua is wrong.; int8 -> int9: there exists something such that that it extends chlamydospore and it stubs Nasua is incorrect.; int9 & sent5 -> int10: the plowboy does not stub Nasua.; int6 & int10 -> int11: that the plowboy underwrites hurrah but it does not extend biodiversity is wrong.; sent7 & int11 -> int12: the sainfoin does not slime theorist.; int5 & int12 -> int13: the fact that the sainfoin slimes plowboy and is unserviceable is wrong.; int13 -> int14: there is something such that that it slimes plowboy and is unserviceable is incorrect.;
$hypothesis$ = the Girondist does not slime lacertid. ; $context$ = sent1: the fact that something does slime plowboy and is unserviceable is wrong if it does not slime theorist. sent2: the capiz slimes lacertid if the Girondist slimes copy. sent3: that the piddock extends chlamydospore and it does stub Nasua is incorrect if it is not a kind of a storyline. sent4: if the capiz does slime copy the Girondist is unserviceable. sent5: the plowboy does not stub Nasua if there is something such that that it extends chlamydospore and it does stub Nasua is not true. sent6: if the Girondist slimes lacertid the capiz does slimes lacertid. sent7: if the fact that the plowboy underwrites hurrah and does not extend biodiversity does not hold then the sainfoin does not slime theorist. sent8: something does slime lacertid if it is unserviceable. sent9: something is not eruptive or it does writhe or both. sent10: something is eruptive and/or it does writhe. sent11: that everything is not a storyline is not false. sent12: that something does underwrite hurrah but it does not extend biodiversity does not hold if it does not stub Nasua. sent13: that the capiz does slime copy hold if there is something such that it is not eruptive and/or writhes. sent14: something that is not unserviceable slimes lacertid and/or slimes copy. ; $proof$ = 
sent9 & sent13 -> int1: the fact that the capiz slimes copy hold.; int1 & sent4 -> int2: the Girondist is unserviceable.; sent8 -> int3: the Girondist slimes lacertid if it is unserviceable.; int2 & int3 -> hypothesis; __DISPROVED__