the fact that the phenol is not an antigen and is vernal is wrong.
sent1: if something is restful then it is not atrioventricular and it is not Slovakian. sent2: if the body is non-atrioventricular thing that does broaden the phenol is not a head. sent3: that the body is non-restful thing that broadens is not true. sent4: there is something such that the fact that it is not vernal and it is restful is not true. sent5: the fact that the body is not restful and does not broaden is false if it summarizes biquadrate. sent6: the grass is not non-atrioventricular. sent7: the grass is Slovakian if it is atrioventricular. sent8: if the fact that something is not a kind of a head and it is not a Leptarrhena is false it is not a kind of an antigen. sent9: the body does summarize biquadrate. sent10: there is something such that it is not long-distance. sent11: The biquadrate does summarize body. sent12: if there is something such that that it is not restful and does not broaden is not true the phenol is vernal. sent13: if the phenol does head that it is not a kind of an antigen is true. sent14: the grass is not Slovakian if the phenol is not a head and it is not a Leptarrhena. sent15: that something is not an antigen but it is vernal is not correct if that it is not Slovakian is not incorrect.
void -> assump1: Let's assume that the phenol is not a head and it is not a Leptarrhena.; sent14 & assump1 -> int1: the grass is not Slovakian.; sent7 & sent6 -> int2: the grass is Slovakian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the phenol is not a head and it is not a kind of a Leptarrhena does not hold.; sent8 -> int5: if the fact that the phenol does not head and it is not a kind of a Leptarrhena is false then it is not an antigen.; int4 & int5 -> int6: the phenol is not a kind of an antigen.; sent5 & sent9 -> int7: that the body is a kind of non-restful thing that does not broaden does not hold.; int7 -> int8: there is something such that that it is not restful and does not broaden is not true.; int8 & sent12 -> int9: the phenol is vernal.; int6 & int9 -> hypothesis;
the fact that the phenol is not a kind of an antigen and is vernal is false.
sent1 -> int10: the phenol is not atrioventricular and it is not Slovakian if it is restful.;
$hypothesis$ = the fact that the phenol is not an antigen and is vernal is wrong. ; $context$ = sent1: if something is restful then it is not atrioventricular and it is not Slovakian. sent2: if the body is non-atrioventricular thing that does broaden the phenol is not a head. sent3: that the body is non-restful thing that broadens is not true. sent4: there is something such that the fact that it is not vernal and it is restful is not true. sent5: the fact that the body is not restful and does not broaden is false if it summarizes biquadrate. sent6: the grass is not non-atrioventricular. sent7: the grass is Slovakian if it is atrioventricular. sent8: if the fact that something is not a kind of a head and it is not a Leptarrhena is false it is not a kind of an antigen. sent9: the body does summarize biquadrate. sent10: there is something such that it is not long-distance. sent11: The biquadrate does summarize body. sent12: if there is something such that that it is not restful and does not broaden is not true the phenol is vernal. sent13: if the phenol does head that it is not a kind of an antigen is true. sent14: the grass is not Slovakian if the phenol is not a head and it is not a Leptarrhena. sent15: that something is not an antigen but it is vernal is not correct if that it is not Slovakian is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the phenol is not a head and it is not a Leptarrhena.; sent14 & assump1 -> int1: the grass is not Slovakian.; sent7 & sent6 -> int2: the grass is Slovakian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the phenol is not a head and it is not a kind of a Leptarrhena does not hold.; sent8 -> int5: if the fact that the phenol does not head and it is not a kind of a Leptarrhena is false then it is not an antigen.; int4 & int5 -> int6: the phenol is not a kind of an antigen.; sent5 & sent9 -> int7: that the body is a kind of non-restful thing that does not broaden does not hold.; int7 -> int8: there is something such that that it is not restful and does not broaden is not true.; int8 & sent12 -> int9: the phenol is vernal.; int6 & int9 -> hypothesis; __DISPROVED__