the fact that the caroche is spicate hold.
sent1: if something is evaporative thing that does not symmetrize then it is nonhierarchical. sent2: the fact that the daredevil does not dope but it is full-time is not right if it is not a Tobin. sent3: if the macadam is not a recombination then the caroche is a kind of non-spicate thing that is not a recombination. sent4: the daredevil is not a kind of a Tobin if it does glom shod and it is a Magritte. sent5: if the macadam is not hierarchical then the caroche is spicate and it is a recombination. sent6: the presidio is evaporative but it does not symmetrize if the macadam is a recombination. sent7: if the presidio does dope and it is full-time then the macadam is nonhierarchical. sent8: the daredevil does glom shod and it is a Magritte. sent9: the presidio is a kind of a dope that is a Magritte. sent10: the archdeacon is not a dope if that the daredevil is both not a dope and not non-full-time is wrong. sent11: the archdeacon is a kind of a dope if the presidio is not hierarchical.
void -> assump1: Let's assume that the macadam is a recombination.; sent6 & assump1 -> int1: the presidio is evaporative but it does not symmetrize.; sent1 -> int2: the presidio is not hierarchical if it is a kind of evaporative thing that does not symmetrize.; int1 & int2 -> int3: the presidio is not hierarchical.; int3 & sent11 -> int4: the archdeacon dopes.; sent4 & sent8 -> int5: the daredevil is not a Tobin.; sent2 & int5 -> int6: that the daredevil is not a dope but full-time is not right.; sent10 & int6 -> int7: the archdeacon is not a dope.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the macadam is not a kind of a recombination.; int9 & sent3 -> int10: the caroche is not spicate and it is not a recombination.; int10 -> hypothesis;
the caroche is spicate.
sent9 -> int11: the presidio does dope.;
$hypothesis$ = the fact that the caroche is spicate hold. ; $context$ = sent1: if something is evaporative thing that does not symmetrize then it is nonhierarchical. sent2: the fact that the daredevil does not dope but it is full-time is not right if it is not a Tobin. sent3: if the macadam is not a recombination then the caroche is a kind of non-spicate thing that is not a recombination. sent4: the daredevil is not a kind of a Tobin if it does glom shod and it is a Magritte. sent5: if the macadam is not hierarchical then the caroche is spicate and it is a recombination. sent6: the presidio is evaporative but it does not symmetrize if the macadam is a recombination. sent7: if the presidio does dope and it is full-time then the macadam is nonhierarchical. sent8: the daredevil does glom shod and it is a Magritte. sent9: the presidio is a kind of a dope that is a Magritte. sent10: the archdeacon is not a dope if that the daredevil is both not a dope and not non-full-time is wrong. sent11: the archdeacon is a kind of a dope if the presidio is not hierarchical. ; $proof$ = 
void -> assump1: Let's assume that the macadam is a recombination.; sent6 & assump1 -> int1: the presidio is evaporative but it does not symmetrize.; sent1 -> int2: the presidio is not hierarchical if it is a kind of evaporative thing that does not symmetrize.; int1 & int2 -> int3: the presidio is not hierarchical.; int3 & sent11 -> int4: the archdeacon dopes.; sent4 & sent8 -> int5: the daredevil is not a Tobin.; sent2 & int5 -> int6: that the daredevil is not a dope but full-time is not right.; sent10 & int6 -> int7: the archdeacon is not a dope.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the macadam is not a kind of a recombination.; int9 & sent3 -> int10: the caroche is not spicate and it is not a recombination.; int10 -> hypothesis; __DISPROVED__