the pegmatite falls.
sent1: everything is not a kind of a cover and is a Himantopus. sent2: the satinleaf emigrates. sent3: if the satinleaf does plane and it emigrates then the glauconite does not prop resurrection. sent4: if the satinleaf does cover and is a Himantopus it is a kind of a plane. sent5: everything is not a tadalafil and it props Seymour. sent6: if the satinleaf is both not a cover and a Himantopus then it is a plane. sent7: the pegmatite does not fall if the fact that the glauconite emigrates but it is not a fall is not right. sent8: if something does not prop resurrection the pegmatite is a confection. sent9: if something is a confection then it does prop resurrection. sent10: that the fact that the glauconite emigrates and is not a fell hold is incorrect if the ion is not a kind of a plane. sent11: if the pegmatite is a kind of a confection it does fall.
sent1 -> int1: the satinleaf is not a kind of a cover but it is a Himantopus.; int1 & sent6 -> int2: the satinleaf is a plane.; int2 & sent2 -> int3: the satinleaf is a kind of a plane and it emigrates.; int3 & sent3 -> int4: the glauconite does not prop resurrection.; int4 -> int5: something does not prop resurrection.; int5 & sent8 -> int6: the pegmatite is a confection.; int6 & sent11 -> hypothesis;
the pegmatite is not a fell.
$hypothesis$ = the pegmatite falls. ; $context$ = sent1: everything is not a kind of a cover and is a Himantopus. sent2: the satinleaf emigrates. sent3: if the satinleaf does plane and it emigrates then the glauconite does not prop resurrection. sent4: if the satinleaf does cover and is a Himantopus it is a kind of a plane. sent5: everything is not a tadalafil and it props Seymour. sent6: if the satinleaf is both not a cover and a Himantopus then it is a plane. sent7: the pegmatite does not fall if the fact that the glauconite emigrates but it is not a fall is not right. sent8: if something does not prop resurrection the pegmatite is a confection. sent9: if something is a confection then it does prop resurrection. sent10: that the fact that the glauconite emigrates and is not a fell hold is incorrect if the ion is not a kind of a plane. sent11: if the pegmatite is a kind of a confection it does fall. ; $proof$ = 
sent1 -> int1: the satinleaf is not a kind of a cover but it is a Himantopus.; int1 & sent6 -> int2: the satinleaf is a plane.; int2 & sent2 -> int3: the satinleaf is a kind of a plane and it emigrates.; int3 & sent3 -> int4: the glauconite does not prop resurrection.; int4 -> int5: something does not prop resurrection.; int5 & sent8 -> int6: the pegmatite is a confection.; int6 & sent11 -> hypothesis; __PROVED__