the concessionaire is a ghatti and it is a avo.
sent1: something is a kind of a ghatti and it is a avo if it does not maintain diazepam. sent2: something does not maintain diazepam if that it is exportable and it does demagnetize Requiem is incorrect. sent3: the fact that the concessionaire is exportable and it does demagnetize Requiem is not correct if there is something such that it does not demagnetize Requiem. sent4: if there exists something such that the fact that it maintains diazepam and it is macerative does not hold the alchemist is not a ghatti. sent5: if something is not exportable it does not maintain diazepam. sent6: something is a homo but it does not maintain diazepam if that it is not a avo is true. sent7: the alchemist is not a homo if the hobbyist is a homo and does not maintain diazepam. sent8: the furniture is not non-macerative.
sent2 -> int1: the concessionaire does not maintain diazepam if that it is exportable and it demagnetizes Requiem is not right.; sent1 -> int2: the concessionaire is a kind of a ghatti and it is a avo if it does not maintain diazepam.;
that the concessionaire is a kind of a ghatti and it is a avo is wrong.
$hypothesis$ = the concessionaire is a ghatti and it is a avo. ; $context$ = sent1: something is a kind of a ghatti and it is a avo if it does not maintain diazepam. sent2: something does not maintain diazepam if that it is exportable and it does demagnetize Requiem is incorrect. sent3: the fact that the concessionaire is exportable and it does demagnetize Requiem is not correct if there is something such that it does not demagnetize Requiem. sent4: if there exists something such that the fact that it maintains diazepam and it is macerative does not hold the alchemist is not a ghatti. sent5: if something is not exportable it does not maintain diazepam. sent6: something is a homo but it does not maintain diazepam if that it is not a avo is true. sent7: the alchemist is not a homo if the hobbyist is a homo and does not maintain diazepam. sent8: the furniture is not non-macerative. ; $proof$ = 
sent2 -> int1: the concessionaire does not maintain diazepam if that it is exportable and it demagnetizes Requiem is not right.; sent1 -> int2: the concessionaire is a kind of a ghatti and it is a avo if it does not maintain diazepam.; __UNKNOWN__