the verdin is not horizontal.
sent1: that the verdin is a kind of a vocative and it emanates is wrong. sent2: the guard is not a ectomorphy. sent3: the attic is not a Czerny. sent4: the verdin is not rotatory and not unstatesmanlike. sent5: if there is something such that that it does not emanate and is a horizontal is not true then the Freon is not a kind of a Czerny. sent6: the attic is rotatory. sent7: that the Freon is not vocative is right. sent8: the attic is a vocative. sent9: if the Freon is not a kind of a vocative and it is not a Czerny the attic is not rotatory. sent10: the fact that the verdin is not horizontal and is rotatory does not hold. sent11: there exists something such that that it is not rotatory and it emanates does not hold. sent12: the verdin does not emanate if there is something such that the fact that it is both not a Czerny and not non-horizontal does not hold.
void -> assump1: Let's assume that the fact that the verdin does not emanate but it is not non-horizontal is not true.; assump1 -> int1: there exists something such that that it does not emanate and is a horizontal is incorrect.; int1 & sent5 -> int2: the Freon is not a kind of a Czerny.; int2 & sent7 -> int3: the Freon is not vocative and it is not a kind of a Czerny.; int3 & sent9 -> int4: the attic is not rotatory.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the verdin does not emanate but it is a horizontal.; int6 -> hypothesis;
$hypothesis$ = the verdin is not horizontal. ; $context$ = sent1: that the verdin is a kind of a vocative and it emanates is wrong. sent2: the guard is not a ectomorphy. sent3: the attic is not a Czerny. sent4: the verdin is not rotatory and not unstatesmanlike. sent5: if there is something such that that it does not emanate and is a horizontal is not true then the Freon is not a kind of a Czerny. sent6: the attic is rotatory. sent7: that the Freon is not vocative is right. sent8: the attic is a vocative. sent9: if the Freon is not a kind of a vocative and it is not a Czerny the attic is not rotatory. sent10: the fact that the verdin is not horizontal and is rotatory does not hold. sent11: there exists something such that that it is not rotatory and it emanates does not hold. sent12: the verdin does not emanate if there is something such that the fact that it is both not a Czerny and not non-horizontal does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the verdin does not emanate but it is not non-horizontal is not true.; assump1 -> int1: there exists something such that that it does not emanate and is a horizontal is incorrect.; int1 & sent5 -> int2: the Freon is not a kind of a Czerny.; int2 & sent7 -> int3: the Freon is not vocative and it is not a kind of a Czerny.; int3 & sent9 -> int4: the attic is not rotatory.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the verdin does not emanate but it is a horizontal.; int6 -> hypothesis; __DISPROVED__