the blastula does not extend.
sent1: if there is something such that it does jam stockyard and does jam Belsen then the flier does not cheat. sent2: something clouds and it promises rogation. sent3: the flier is a kind of a cloud. sent4: the fact that something extends and it is a bottlecap is not true if it is not a cheat. sent5: if something that is a cloud does not promise rogation the annuitant is a kind of a kayak. sent6: The rogation does not promise flier. sent7: the flier does not promise rogation. sent8: there is something such that it does not promise rogation. sent9: the fact that the blastula extends is correct if the annuitant kayaks. sent10: if the fact that something does extend and it is a kind of a bottlecap does not hold it is not a kayak. sent11: something is a kind of a cloud. sent12: something does extend and is a kayak. sent13: the annuitant does jam stockyard and it does jam Belsen.
sent3 & sent7 -> int1: the flier is a kind of a cloud that does not promise rogation.; int1 -> int2: something is a cloud but it does not promise rogation.; int2 & sent5 -> int3: the annuitant is a kayak.; sent9 & int3 -> hypothesis;
the baron does promise rogation.
sent10 -> int4: if the fact that the flier extends and it is a kind of a bottlecap is not correct then it does not kayak.; sent4 -> int5: if the flier is not a cheat then the fact that it extends and is a bottlecap is not correct.; sent13 -> int6: there is something such that it jams stockyard and jams Belsen.; int6 & sent1 -> int7: the flier is not a cheat.; int5 & int7 -> int8: the fact that the flier extends and is a bottlecap is false.; int4 & int8 -> int9: the flier does not kayak.; int9 -> int10: there is something such that it is not a kayak.;
$hypothesis$ = the blastula does not extend. ; $context$ = sent1: if there is something such that it does jam stockyard and does jam Belsen then the flier does not cheat. sent2: something clouds and it promises rogation. sent3: the flier is a kind of a cloud. sent4: the fact that something extends and it is a bottlecap is not true if it is not a cheat. sent5: if something that is a cloud does not promise rogation the annuitant is a kind of a kayak. sent6: The rogation does not promise flier. sent7: the flier does not promise rogation. sent8: there is something such that it does not promise rogation. sent9: the fact that the blastula extends is correct if the annuitant kayaks. sent10: if the fact that something does extend and it is a kind of a bottlecap does not hold it is not a kayak. sent11: something is a kind of a cloud. sent12: something does extend and is a kayak. sent13: the annuitant does jam stockyard and it does jam Belsen. ; $proof$ = 
sent3 & sent7 -> int1: the flier is a kind of a cloud that does not promise rogation.; int1 -> int2: something is a cloud but it does not promise rogation.; int2 & sent5 -> int3: the annuitant is a kayak.; sent9 & int3 -> hypothesis; __DISPROVED__