the melancholic is a Leicestershire if the caper is two-wheel.
sent1: if the caper is not two-wheel the fact that the satinwood is two-wheel is not incorrect. sent2: the melancholic is a Iliad and it is two-wheel. sent3: if the satinwood is not a kind of a amrinone then the caper is a Iliad that is a amrinone. sent4: the melancholic is a Iliad. sent5: if the satinwood is a kind of an indignation then the caper is an indignation. sent6: the caper is an indignation if the satinwood is a amrinone. sent7: that the melancholic is an indignation hold if the satinwood is an indignation. sent8: the fact that the caper is a kind of an indignation if the melancholic is not an indignation is correct. sent9: the satinwood is an indignation and/or it is a amrinone. sent10: if the caper is not a Iliad then the melancholic is a Iliad. sent11: the caper is not an indignation if it is both a Iliad and two-wheel. sent12: if the caper is not a kind of a Iliad the melancholic is a Leicestershire and a Iliad. sent13: the caper is two-wheel if that the satinwood is not two-wheel is not correct.
void -> assump1: Let's assume that the caper is a Iliad.; void -> assump2: Let's assume that the caper is two-wheel.; assump1 & assump2 -> int1: the caper is a Iliad but not non-two-wheel.; int1 & sent11 -> int2: the fact that the caper is not an indignation is true.; sent9 & sent5 & sent6 -> int3: the caper is an indignation.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the caper is not a Iliad.; int5 & sent12 -> int6: the melancholic is a Leicestershire and it is a kind of a Iliad.; int6 -> int7: the melancholic is a Leicestershire.; [assump2] & int7 -> hypothesis;
$hypothesis$ = the melancholic is a Leicestershire if the caper is two-wheel. ; $context$ = sent1: if the caper is not two-wheel the fact that the satinwood is two-wheel is not incorrect. sent2: the melancholic is a Iliad and it is two-wheel. sent3: if the satinwood is not a kind of a amrinone then the caper is a Iliad that is a amrinone. sent4: the melancholic is a Iliad. sent5: if the satinwood is a kind of an indignation then the caper is an indignation. sent6: the caper is an indignation if the satinwood is a amrinone. sent7: that the melancholic is an indignation hold if the satinwood is an indignation. sent8: the fact that the caper is a kind of an indignation if the melancholic is not an indignation is correct. sent9: the satinwood is an indignation and/or it is a amrinone. sent10: if the caper is not a Iliad then the melancholic is a Iliad. sent11: the caper is not an indignation if it is both a Iliad and two-wheel. sent12: if the caper is not a kind of a Iliad the melancholic is a Leicestershire and a Iliad. sent13: the caper is two-wheel if that the satinwood is not two-wheel is not correct. ; $proof$ = 
void -> assump1: Let's assume that the caper is a Iliad.; void -> assump2: Let's assume that the caper is two-wheel.; assump1 & assump2 -> int1: the caper is a Iliad but not non-two-wheel.; int1 & sent11 -> int2: the fact that the caper is not an indignation is true.; sent9 & sent5 & sent6 -> int3: the caper is an indignation.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the caper is not a Iliad.; int5 & sent12 -> int6: the melancholic is a Leicestershire and it is a kind of a Iliad.; int6 -> int7: the melancholic is a Leicestershire.; [assump2] & int7 -> hypothesis; __PROVED__