that if the esthete does carol D.C. the fact that the fact that the shaper is a kind of a Thessalian and is not attachable is not wrong is not true is not correct.
sent1: if something is a Thessalian but it is not attachable the esthete does not carol D.C..
void -> assump2: Let's assume that the fact that the shaper is a Thessalian but it is not attachable is true.; assump2 -> int1: something is a Thessalian but it is not attachable.; int1 & sent1 -> int2: the esthete does not carol D.C..; void -> assump1: Let's assume that the esthete does carol D.C..; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the shaper is a Thessalian but it is not attachable does not hold.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if the esthete does carol D.C. the fact that the fact that the shaper is a kind of a Thessalian and is not attachable is not wrong is not true is not correct. ; $context$ = sent1: if something is a Thessalian but it is not attachable the esthete does not carol D.C.. ; $proof$ = 
void -> assump2: Let's assume that the fact that the shaper is a Thessalian but it is not attachable is true.; assump2 -> int1: something is a Thessalian but it is not attachable.; int1 & sent1 -> int2: the esthete does not carol D.C..; void -> assump1: Let's assume that the esthete does carol D.C..; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the shaper is a Thessalian but it is not attachable does not hold.; [assump1] & int4 -> hypothesis; __DISPROVED__