that if the cocobolo does approbate pop and is a Qibla then the fact that the quoit is not a Tree is true does not hold.
sent1: the fact that if there exists something such that it does not occasion the quoit is not a kind of a Tree hold. sent2: the quoit is a kind of a Tree that is a Qibla. sent3: the cocobolo does approbate pop. sent4: there is something such that it is an occasions. sent5: something is not a Qibla if it is a kind of a Tree and approbates pop. sent6: the cocobolo is arterial. sent7: if something that is a Qibla is arterial then it is not an occasions. sent8: the quoit is a Tree. sent9: the quoit is a Tree if the cocobolo approbates pop and it is a Qibla. sent10: the quoit is a Tree if there is something such that that it does not occasion is not incorrect. sent11: if the quoit is arterial and it approbates pop then the cocobolo is not a Tree. sent12: if the quoit is an occasions and it is numeric it is not an opinion. sent13: if the quoit is a kind of a Tree and it is arterial it does not approbate pop.
void -> assump1: Let's assume that the cocobolo does approbate pop and is a kind of a Qibla.; assump1 -> int1: the cocobolo is a Qibla.; int1 & sent6 -> int2: the cocobolo is a Qibla and it is arterial.; sent7 -> int3: if the cocobolo is a Qibla and it is arterial then the fact that it is not a kind of an occasions is not false.; int2 & int3 -> int4: the cocobolo does not occasion.; int4 -> int5: there exists something such that it does not occasion.; int5 & sent1 -> int6: the quoit is not a Tree.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that if the cocobolo does approbate pop and is a Qibla then the fact that the quoit is not a Tree is true does not hold. ; $context$ = sent1: the fact that if there exists something such that it does not occasion the quoit is not a kind of a Tree hold. sent2: the quoit is a kind of a Tree that is a Qibla. sent3: the cocobolo does approbate pop. sent4: there is something such that it is an occasions. sent5: something is not a Qibla if it is a kind of a Tree and approbates pop. sent6: the cocobolo is arterial. sent7: if something that is a Qibla is arterial then it is not an occasions. sent8: the quoit is a Tree. sent9: the quoit is a Tree if the cocobolo approbates pop and it is a Qibla. sent10: the quoit is a Tree if there is something such that that it does not occasion is not incorrect. sent11: if the quoit is arterial and it approbates pop then the cocobolo is not a Tree. sent12: if the quoit is an occasions and it is numeric it is not an opinion. sent13: if the quoit is a kind of a Tree and it is arterial it does not approbate pop. ; $proof$ = 
void -> assump1: Let's assume that the cocobolo does approbate pop and is a kind of a Qibla.; assump1 -> int1: the cocobolo is a Qibla.; int1 & sent6 -> int2: the cocobolo is a Qibla and it is arterial.; sent7 -> int3: if the cocobolo is a Qibla and it is arterial then the fact that it is not a kind of an occasions is not false.; int2 & int3 -> int4: the cocobolo does not occasion.; int4 -> int5: there exists something such that it does not occasion.; int5 & sent1 -> int6: the quoit is not a Tree.; [assump1] & int6 -> hypothesis; __DISPROVED__