the hipline is not a moonshell and it is not a dimer.
sent1: the expert does not pan centrex if it pans mustard. sent2: if that something is not a Lepisosteidae but Gallic is not right it is a noisiness. sent3: the expert does not pan goldthread. sent4: something that does not pan goldthread and is nonfat pans centrex. sent5: something does not pan centrex if the fact that it does not pan mustard and is pictographic is false. sent6: if the expert is a twitch the guerrilla is non-belemnitic a twitch. sent7: the hipline is both not a moonshell and not a dimer if the voluntary is a dimer. sent8: if the guerrilla twitches then the voluntary is a dimer. sent9: the hipline is not a dimer. sent10: if the expert pans goldthread it twitches. sent11: that the expert does not pan mustard but it is pictographic does not hold if something is not a noisiness. sent12: something is not a kind of a noisiness.
sent4 -> int1: the expert pans centrex if it does not pan goldthread and it is nonfat.; void -> assump1: Let's assume that the expert does not pan goldthread but it is not fatty.; int1 & assump1 -> int2: the expert pans centrex.; sent5 -> int3: the expert does not pan centrex if the fact that it does not pan mustard and it is pictographic is not true.; sent12 & sent11 -> int4: that the expert does not pan mustard and is pictographic does not hold.; int3 & int4 -> int5: the expert does not pan centrex.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the expert does not pan goldthread but it is nonfat is wrong.;
if that the mustard is not a Lepisosteidae and is Gallic is not true then it is a noisiness.
sent2 -> hypothesis;
$hypothesis$ = the hipline is not a moonshell and it is not a dimer. ; $context$ = sent1: the expert does not pan centrex if it pans mustard. sent2: if that something is not a Lepisosteidae but Gallic is not right it is a noisiness. sent3: the expert does not pan goldthread. sent4: something that does not pan goldthread and is nonfat pans centrex. sent5: something does not pan centrex if the fact that it does not pan mustard and is pictographic is false. sent6: if the expert is a twitch the guerrilla is non-belemnitic a twitch. sent7: the hipline is both not a moonshell and not a dimer if the voluntary is a dimer. sent8: if the guerrilla twitches then the voluntary is a dimer. sent9: the hipline is not a dimer. sent10: if the expert pans goldthread it twitches. sent11: that the expert does not pan mustard but it is pictographic does not hold if something is not a noisiness. sent12: something is not a kind of a noisiness. ; $proof$ = 
sent4 -> int1: the expert pans centrex if it does not pan goldthread and it is nonfat.; void -> assump1: Let's assume that the expert does not pan goldthread but it is not fatty.; int1 & assump1 -> int2: the expert pans centrex.; sent5 -> int3: the expert does not pan centrex if the fact that it does not pan mustard and it is pictographic is not true.; sent12 & sent11 -> int4: that the expert does not pan mustard and is pictographic does not hold.; int3 & int4 -> int5: the expert does not pan centrex.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the expert does not pan goldthread but it is nonfat is wrong.; __UNKNOWN__