that the launderette does convoy tan and/or is textual does not hold.
sent1: if something is firmamental then it is dimmed. sent2: if the phloem is uncharacteristic it is a kind of a painting. sent3: if that the takeout does not unbend NT and is not a gun is not true the nosher is firmamental. sent4: the nosher guns. sent5: if the phloem does paint then that the launderette is textual is right. sent6: that the takeout does not unbend NT and it is not a gun does not hold if the fact that the phloem is not uncharacteristic is correct. sent7: the nosher does not dim.
void -> assump1: Let's assume that the phloem is not uncharacteristic.; sent6 & assump1 -> int1: that the takeout does not unbend NT and does not gun is false.; int1 & sent3 -> int2: the nosher is firmamental.; sent1 -> int3: if the nosher is firmamental it dims.; int2 & int3 -> int4: the nosher is dimmed.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: the phloem is uncharacteristic.; int6 & sent2 -> int7: the phloem is a painting.; int7 & sent5 -> int8: the launderette is textual.; int8 -> hypothesis;
$hypothesis$ = that the launderette does convoy tan and/or is textual does not hold. ; $context$ = sent1: if something is firmamental then it is dimmed. sent2: if the phloem is uncharacteristic it is a kind of a painting. sent3: if that the takeout does not unbend NT and is not a gun is not true the nosher is firmamental. sent4: the nosher guns. sent5: if the phloem does paint then that the launderette is textual is right. sent6: that the takeout does not unbend NT and it is not a gun does not hold if the fact that the phloem is not uncharacteristic is correct. sent7: the nosher does not dim. ; $proof$ = 
void -> assump1: Let's assume that the phloem is not uncharacteristic.; sent6 & assump1 -> int1: that the takeout does not unbend NT and does not gun is false.; int1 & sent3 -> int2: the nosher is firmamental.; sent1 -> int3: if the nosher is firmamental it dims.; int2 & int3 -> int4: the nosher is dimmed.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: the phloem is uncharacteristic.; int6 & sent2 -> int7: the phloem is a painting.; int7 & sent5 -> int8: the launderette is textual.; int8 -> hypothesis; __DISPROVED__