the C-ration is not a kind of a colonial but it is unbroken.
sent1: the fact that the electroplate fishes family and it fishes Pimpinella is false. sent2: if the C-ration does fish Pimpinella then it is a ramekin. sent3: that the C-ration is not a misanthropy and it is not a accentuation is not true. sent4: the fact that something is a consumptive and it is a ramekin is not right if the fact that it does not recline ounce is not wrong. sent5: the fact that the electroplate fishes family and does not fish Pimpinella is wrong if there is something such that it is a Leontodon. sent6: if the fact that something is consumptive and it is a ramekin does not hold then that it is not a colonial hold. sent7: the C-ration is a kind of a accentuation if that it is both not a misanthropy and not a accentuation does not hold. sent8: something is a Leontodon. sent9: if the fact that the electroplate does fish family but it does not fish Pimpinella does not hold then the C-ration does not recline ounce. sent10: a accentuation is unbroken.
sent8 & sent5 -> int1: the fact that the electroplate does fish family and does not fish Pimpinella is false.; int1 & sent9 -> int2: the C-ration does not recline ounce.; sent4 -> int3: if the C-ration does not recline ounce the fact that it is both a consumptive and a ramekin is not right.; int2 & int3 -> int4: that the C-ration is consumptive and a ramekin is wrong.; sent6 -> int5: the C-ration is not a colonial if the fact that it is a consumptive and it is a ramekin is not right.; int4 & int5 -> int6: the C-ration is not a kind of a colonial.; sent10 -> int7: the C-ration is unbroken if it is a kind of a accentuation.; sent7 & sent3 -> int8: the C-ration is a accentuation.; int7 & int8 -> int9: the C-ration is unbroken.; int6 & int9 -> hypothesis;
$hypothesis$ = the C-ration is not a kind of a colonial but it is unbroken. ; $context$ = sent1: the fact that the electroplate fishes family and it fishes Pimpinella is false. sent2: if the C-ration does fish Pimpinella then it is a ramekin. sent3: that the C-ration is not a misanthropy and it is not a accentuation is not true. sent4: the fact that something is a consumptive and it is a ramekin is not right if the fact that it does not recline ounce is not wrong. sent5: the fact that the electroplate fishes family and does not fish Pimpinella is wrong if there is something such that it is a Leontodon. sent6: if the fact that something is consumptive and it is a ramekin does not hold then that it is not a colonial hold. sent7: the C-ration is a kind of a accentuation if that it is both not a misanthropy and not a accentuation does not hold. sent8: something is a Leontodon. sent9: if the fact that the electroplate does fish family but it does not fish Pimpinella does not hold then the C-ration does not recline ounce. sent10: a accentuation is unbroken. ; $proof$ = 
sent8 & sent5 -> int1: the fact that the electroplate does fish family and does not fish Pimpinella is false.; int1 & sent9 -> int2: the C-ration does not recline ounce.; sent4 -> int3: if the C-ration does not recline ounce the fact that it is both a consumptive and a ramekin is not right.; int2 & int3 -> int4: that the C-ration is consumptive and a ramekin is wrong.; sent6 -> int5: the C-ration is not a colonial if the fact that it is a consumptive and it is a ramekin is not right.; int4 & int5 -> int6: the C-ration is not a kind of a colonial.; sent10 -> int7: the C-ration is unbroken if it is a kind of a accentuation.; sent7 & sent3 -> int8: the C-ration is a accentuation.; int7 & int8 -> int9: the C-ration is unbroken.; int6 & int9 -> hypothesis; __PROVED__