the Mountie is a idolizer.
sent1: the dropout is not a drunk and it is not a kind of a UDA if it is not a teju. sent2: the fact that something does not thrombose Lindera and it is not news is incorrect if it is not a idolizer. sent3: if something is not news then the cyrilla does not thrombose Lindera. sent4: if that something is a pyrrhic and it is a kind of a sheet is not true then that it is a kind of a teju is wrong. sent5: if the fact that the cyrilla does not thrombose Lindera hold the Mountie is not a idolizer. sent6: the cyrilla is not a idolizer if the fact that the Mountie is a Ukranian and is a idolizer is not right. sent7: the tollkeeper is not news. sent8: the fact that the Mountie is a Ukranian and is a kind of a idolizer does not hold if the dropout is not a drunk.
sent7 -> int1: there exists something such that it is not news.; int1 & sent3 -> int2: the cyrilla does not thrombose Lindera.; sent5 & int2 -> hypothesis;
the tollkeeper is not a softy.
sent2 -> int3: the fact that the cyrilla does not thrombose Lindera and it is not news does not hold if it is not a kind of a idolizer.; sent4 -> int4: if the fact that the dropout is a kind of a pyrrhic that does sheet does not hold then it is not a kind of a teju.;
$hypothesis$ = the Mountie is a idolizer. ; $context$ = sent1: the dropout is not a drunk and it is not a kind of a UDA if it is not a teju. sent2: the fact that something does not thrombose Lindera and it is not news is incorrect if it is not a idolizer. sent3: if something is not news then the cyrilla does not thrombose Lindera. sent4: if that something is a pyrrhic and it is a kind of a sheet is not true then that it is a kind of a teju is wrong. sent5: if the fact that the cyrilla does not thrombose Lindera hold the Mountie is not a idolizer. sent6: the cyrilla is not a idolizer if the fact that the Mountie is a Ukranian and is a idolizer is not right. sent7: the tollkeeper is not news. sent8: the fact that the Mountie is a Ukranian and is a kind of a idolizer does not hold if the dropout is not a drunk. ; $proof$ = 
sent7 -> int1: there exists something such that it is not news.; int1 & sent3 -> int2: the cyrilla does not thrombose Lindera.; sent5 & int2 -> hypothesis; __DISPROVED__