the prick is not a abstractionism but it does furrow federalization.
sent1: if that something is a vector but it is not a detour is not correct it does not reassail dressmaker. sent2: the DC is a Epona but it does not reassail dressmaker if the dressmaker does not reassail dressmaker. sent3: the prick is not a kind of an executive if that it is argentous and is not alopecic is not true. sent4: something is not a abstractionism and does furrow federalization if it is a Epona. sent5: there exists nothing such that it is a vector that does not detour. sent6: if there exists something such that it is not a Epona then that the prick is not a abstractionism and furrows federalization is not correct. sent7: that the prick is not a abstractionism and propositions wirework is not correct. sent8: the DC does not reassail dressmaker if it is a detour. sent9: if the DC does not reassail dressmaker the tattler does proposition wirework but it does not reassail dressmaker. sent10: something is not a detour if it does not furrow federalization. sent11: something is not a abstractionism if that it does not reassail dressmaker is true. sent12: that the tattler does not reassail dressmaker and is a abstractionism is wrong if something is not a vector. sent13: if there is something such that it propositions wirework and it does not reassail dressmaker the fact that the dressmaker is not a Epona hold.
sent1 -> int1: if the fact that the DC is a kind of a vector and is not a detour is not true then it does not reassail dressmaker.; sent5 -> int2: the fact that the DC is a kind of a vector but it is not a kind of a detour is incorrect.; int1 & int2 -> int3: the DC does not reassail dressmaker.; int3 & sent9 -> int4: the tattler propositions wirework and does not reassail dressmaker.; int4 -> int5: there is something such that it does proposition wirework and does not reassail dressmaker.; int5 & sent13 -> int6: the fact that the dressmaker is not a kind of a Epona is true.; int6 -> int7: something is not a Epona.; int7 & sent6 -> hypothesis;
the prick is not a abstractionism but it does furrow federalization.
sent4 -> int8: if the prick is a Epona it is not a kind of a abstractionism and it does furrow federalization.;
$hypothesis$ = the prick is not a abstractionism but it does furrow federalization. ; $context$ = sent1: if that something is a vector but it is not a detour is not correct it does not reassail dressmaker. sent2: the DC is a Epona but it does not reassail dressmaker if the dressmaker does not reassail dressmaker. sent3: the prick is not a kind of an executive if that it is argentous and is not alopecic is not true. sent4: something is not a abstractionism and does furrow federalization if it is a Epona. sent5: there exists nothing such that it is a vector that does not detour. sent6: if there exists something such that it is not a Epona then that the prick is not a abstractionism and furrows federalization is not correct. sent7: that the prick is not a abstractionism and propositions wirework is not correct. sent8: the DC does not reassail dressmaker if it is a detour. sent9: if the DC does not reassail dressmaker the tattler does proposition wirework but it does not reassail dressmaker. sent10: something is not a detour if it does not furrow federalization. sent11: something is not a abstractionism if that it does not reassail dressmaker is true. sent12: that the tattler does not reassail dressmaker and is a abstractionism is wrong if something is not a vector. sent13: if there is something such that it propositions wirework and it does not reassail dressmaker the fact that the dressmaker is not a Epona hold. ; $proof$ = 
sent1 -> int1: if the fact that the DC is a kind of a vector and is not a detour is not true then it does not reassail dressmaker.; sent5 -> int2: the fact that the DC is a kind of a vector but it is not a kind of a detour is incorrect.; int1 & int2 -> int3: the DC does not reassail dressmaker.; int3 & sent9 -> int4: the tattler propositions wirework and does not reassail dressmaker.; int4 -> int5: there is something such that it does proposition wirework and does not reassail dressmaker.; int5 & sent13 -> int6: the fact that the dressmaker is not a kind of a Epona is true.; int6 -> int7: something is not a Epona.; int7 & sent6 -> hypothesis; __DISPROVED__