the Millet drills.
sent1: the hillside is a lyreflower if the marl does not nestle and is not a kind of a neurasthenic. sent2: if the fact that either something is a lyreflower or it is reliable or both is not true then it does not drill. sent3: if the warren is not reliable then the fiefdom is a kind of a bran but it is not a kind of a Machaeranthera. sent4: if something is not morphophonemic but it is arthralgic it is not a kind of a lyreflower. sent5: the warren is not reliable if that the hillside is non-morphophonemic thing that is arthralgic is false. sent6: the marl does not nestle and it is not a neurasthenic if it is not a kind of a handbell. sent7: the marl is not a handbell. sent8: if that the fiefdom is a bran is not wrong the Millet drills.
sent4 -> int1: the hillside is not a kind of a lyreflower if it is not morphophonemic and it is arthralgic.; void -> assump1: Let's assume that the hillside is not morphophonemic but it is arthralgic.; int1 & assump1 -> int2: the hillside is not a kind of a lyreflower.; sent6 & sent7 -> int3: the marl does not nestle and it is not a neurasthenic.; sent1 & int3 -> int4: the hillside is a lyreflower.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the hillside is both not morphophonemic and arthralgic is not correct.; int6 & sent5 -> int7: the warren is not reliable.; int7 & sent3 -> int8: the fiefdom is a bran but it is not a kind of a Machaeranthera.; int8 -> int9: the fact that the fiefdom is a bran is right.; int9 & sent8 -> hypothesis;
the Millet is not a drill.
sent2 -> int10: the Millet does not drill if the fact that it is a lyreflower and/or it is reliable is false.;
$hypothesis$ = the Millet drills. ; $context$ = sent1: the hillside is a lyreflower if the marl does not nestle and is not a kind of a neurasthenic. sent2: if the fact that either something is a lyreflower or it is reliable or both is not true then it does not drill. sent3: if the warren is not reliable then the fiefdom is a kind of a bran but it is not a kind of a Machaeranthera. sent4: if something is not morphophonemic but it is arthralgic it is not a kind of a lyreflower. sent5: the warren is not reliable if that the hillside is non-morphophonemic thing that is arthralgic is false. sent6: the marl does not nestle and it is not a neurasthenic if it is not a kind of a handbell. sent7: the marl is not a handbell. sent8: if that the fiefdom is a bran is not wrong the Millet drills. ; $proof$ = 
sent4 -> int1: the hillside is not a kind of a lyreflower if it is not morphophonemic and it is arthralgic.; void -> assump1: Let's assume that the hillside is not morphophonemic but it is arthralgic.; int1 & assump1 -> int2: the hillside is not a kind of a lyreflower.; sent6 & sent7 -> int3: the marl does not nestle and it is not a neurasthenic.; sent1 & int3 -> int4: the hillside is a lyreflower.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the hillside is both not morphophonemic and arthralgic is not correct.; int6 & sent5 -> int7: the warren is not reliable.; int7 & sent3 -> int8: the fiefdom is a bran but it is not a kind of a Machaeranthera.; int8 -> int9: the fact that the fiefdom is a bran is right.; int9 & sent8 -> hypothesis; __PROVED__