that the fact that the sand is not interdisciplinary and/or jams is not right hold.
sent1: the collard is a kind of a block. sent2: that something is not interdisciplinary and/or it jams is not correct if it is not non-Cyrillic. sent3: the alienator does date if the fact that the sand is not interdisciplinary and/or it is a kind of a jam is incorrect. sent4: if the fact that the sand is interdisciplinary and/or is a jam is not true the alienator dates. sent5: if the alienator does date it is a Cyrillic. sent6: the sugarcane is a block if that it does not destain and is a emotionlessness is false. sent7: if the alienator does destain the fact that the sugarcane destain and is a emotionlessness is not true. sent8: if something is Cyrillic it does destain. sent9: the fact that the sugarcane does not destain and is a kind of a emotionlessness is wrong if the alienator does destain. sent10: that if the alienator does not destain that the sand is not a kind of a Cyrillic but it does date does not hold is right. sent11: the sugarcane misremembers. sent12: the sugarcane is not a kind of a block if it misremembers.
void -> assump1: Let's assume that that the sand is not interdisciplinary or it does jam or both is not true.; sent3 & assump1 -> int1: the fact that the alienator does date is not false.; int1 & sent5 -> int2: the alienator is a Cyrillic.; sent8 -> int3: if the alienator is Cyrillic it destains.; int2 & int3 -> int4: the alienator does destain.; int4 & sent9 -> int5: that the fact that the sugarcane does not destain and is a emotionlessness is not true is correct.; int5 & sent6 -> int6: the sugarcane blocks.; sent12 & sent11 -> int7: the sugarcane is not a block.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the fact that the sand is not interdisciplinary and/or it jams is not correct.
sent2 -> int9: if the sand is a Cyrillic that either it is not interdisciplinary or it is a jam or both is false.;
$hypothesis$ = that the fact that the sand is not interdisciplinary and/or jams is not right hold. ; $context$ = sent1: the collard is a kind of a block. sent2: that something is not interdisciplinary and/or it jams is not correct if it is not non-Cyrillic. sent3: the alienator does date if the fact that the sand is not interdisciplinary and/or it is a kind of a jam is incorrect. sent4: if the fact that the sand is interdisciplinary and/or is a jam is not true the alienator dates. sent5: if the alienator does date it is a Cyrillic. sent6: the sugarcane is a block if that it does not destain and is a emotionlessness is false. sent7: if the alienator does destain the fact that the sugarcane destain and is a emotionlessness is not true. sent8: if something is Cyrillic it does destain. sent9: the fact that the sugarcane does not destain and is a kind of a emotionlessness is wrong if the alienator does destain. sent10: that if the alienator does not destain that the sand is not a kind of a Cyrillic but it does date does not hold is right. sent11: the sugarcane misremembers. sent12: the sugarcane is not a kind of a block if it misremembers. ; $proof$ = 
void -> assump1: Let's assume that that the sand is not interdisciplinary or it does jam or both is not true.; sent3 & assump1 -> int1: the fact that the alienator does date is not false.; int1 & sent5 -> int2: the alienator is a Cyrillic.; sent8 -> int3: if the alienator is Cyrillic it destains.; int2 & int3 -> int4: the alienator does destain.; int4 & sent9 -> int5: that the fact that the sugarcane does not destain and is a emotionlessness is not true is correct.; int5 & sent6 -> int6: the sugarcane blocks.; sent12 & sent11 -> int7: the sugarcane is not a block.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__