the ozone is a kind of Belgian thing that is not afloat.
sent1: if that the sparid elutes surrealist and/or it is not afloat is not correct the corynebacterium is not afloat. sent2: something is not hypophyseal if it is not a futurology and it is not afloat. sent3: the corynebacterium is not a futurology. sent4: the fact that that the corynebacterium is a futurology or does not elute surrealist or both hold is not true. sent5: if the fact that the sparid is a kind of a pursuer hold then it is not hypophyseal. sent6: the ozone is a kind of a Belgian that is not afloat if the sparid is not afloat. sent7: the ozone is Belgian if the sparid is not afloat. sent8: if the fact that the corynebacterium is a futurology or it does not elute surrealist or both does not hold then the sparid does not elute surrealist. sent9: the ozone is a Belgian. sent10: that the sparid is a gueridon but it is not a kind of a pursuer is false. sent11: the fact that the sparid is a gueridon that is a pursuer is not true. sent12: if that the sparid is a gueridon that is not a kind of a pursuer is wrong then it is not hypophyseal. sent13: if the sparid looms Citlaltepetl the dagame is non-afloat. sent14: if something is not hypophyseal and it is not afloat then the fact that it is not a gueridon hold. sent15: something is not afloat if it is non-hypophyseal and it does not elute surrealist.
sent12 & sent10 -> int1: the sparid is not hypophyseal.; sent8 & sent4 -> int2: the sparid does not elute surrealist.; int1 & int2 -> int3: the sparid is not hypophyseal and does not elute surrealist.; sent15 -> int4: if the sparid is not hypophyseal and it does not elute surrealist then it is not afloat.; int3 & int4 -> int5: the sparid is not afloat.; int5 & sent6 -> hypothesis;
the dagame is not a futurology.
$hypothesis$ = the ozone is a kind of Belgian thing that is not afloat. ; $context$ = sent1: if that the sparid elutes surrealist and/or it is not afloat is not correct the corynebacterium is not afloat. sent2: something is not hypophyseal if it is not a futurology and it is not afloat. sent3: the corynebacterium is not a futurology. sent4: the fact that that the corynebacterium is a futurology or does not elute surrealist or both hold is not true. sent5: if the fact that the sparid is a kind of a pursuer hold then it is not hypophyseal. sent6: the ozone is a kind of a Belgian that is not afloat if the sparid is not afloat. sent7: the ozone is Belgian if the sparid is not afloat. sent8: if the fact that the corynebacterium is a futurology or it does not elute surrealist or both does not hold then the sparid does not elute surrealist. sent9: the ozone is a Belgian. sent10: that the sparid is a gueridon but it is not a kind of a pursuer is false. sent11: the fact that the sparid is a gueridon that is a pursuer is not true. sent12: if that the sparid is a gueridon that is not a kind of a pursuer is wrong then it is not hypophyseal. sent13: if the sparid looms Citlaltepetl the dagame is non-afloat. sent14: if something is not hypophyseal and it is not afloat then the fact that it is not a gueridon hold. sent15: something is not afloat if it is non-hypophyseal and it does not elute surrealist. ; $proof$ = 
sent12 & sent10 -> int1: the sparid is not hypophyseal.; sent8 & sent4 -> int2: the sparid does not elute surrealist.; int1 & int2 -> int3: the sparid is not hypophyseal and does not elute surrealist.; sent15 -> int4: if the sparid is not hypophyseal and it does not elute surrealist then it is not afloat.; int3 & int4 -> int5: the sparid is not afloat.; int5 & sent6 -> hypothesis; __PROVED__