the vineyard is not a gigahertz.
sent1: the fact that the fact that the demoniac is not a kind of a Mandarin but it sighs Herat is true does not hold if it is an iridium. sent2: that the demoniac is a kind of an iridium is true. sent3: the demoniac sighs input and it is agricultural. sent4: the vineyard is not a gigahertz if the demoniac does scram and it is Chaldean. sent5: if the demoniac is a Mandarin then it does not scram and is a kind of a Chaldean. sent6: if the input is not a kind of a Mandarin the demoniac sighs Herat and it is agricultural. sent7: the clingfish does not sigh Herat if it does not scram. sent8: if the clingfish is not a Mandarin then it does not sigh Herat. sent9: the fact that the vineyard is not a kind of a gigahertz is right if the demoniac does not scram but it is a Chaldean. sent10: if something sighs input it sighs Herat. sent11: the length does sigh Herat and it is a falcon.
sent3 -> int1: the demoniac does sigh input.; sent10 -> int2: if the demoniac sighs input then it sighs Herat.; int1 & int2 -> int3: the demoniac sighs Herat.; void -> assump1: Let's assume that the demoniac is not a kind of a Mandarin.; int3 & assump1 -> int4: the demoniac is not a kind of a Mandarin but it sighs Herat.; sent1 & sent2 -> int5: the fact that the demoniac is not a Mandarin but it sighs Herat is incorrect.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the demoniac is a Mandarin.; int7 & sent5 -> int8: the demoniac does not scram and is a kind of a Chaldean.; int8 & sent9 -> hypothesis;
the vineyard is a gigahertz.
$hypothesis$ = the vineyard is not a gigahertz. ; $context$ = sent1: the fact that the fact that the demoniac is not a kind of a Mandarin but it sighs Herat is true does not hold if it is an iridium. sent2: that the demoniac is a kind of an iridium is true. sent3: the demoniac sighs input and it is agricultural. sent4: the vineyard is not a gigahertz if the demoniac does scram and it is Chaldean. sent5: if the demoniac is a Mandarin then it does not scram and is a kind of a Chaldean. sent6: if the input is not a kind of a Mandarin the demoniac sighs Herat and it is agricultural. sent7: the clingfish does not sigh Herat if it does not scram. sent8: if the clingfish is not a Mandarin then it does not sigh Herat. sent9: the fact that the vineyard is not a kind of a gigahertz is right if the demoniac does not scram but it is a Chaldean. sent10: if something sighs input it sighs Herat. sent11: the length does sigh Herat and it is a falcon. ; $proof$ = 
sent3 -> int1: the demoniac does sigh input.; sent10 -> int2: if the demoniac sighs input then it sighs Herat.; int1 & int2 -> int3: the demoniac sighs Herat.; void -> assump1: Let's assume that the demoniac is not a kind of a Mandarin.; int3 & assump1 -> int4: the demoniac is not a kind of a Mandarin but it sighs Herat.; sent1 & sent2 -> int5: the fact that the demoniac is not a Mandarin but it sighs Herat is incorrect.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the demoniac is a Mandarin.; int7 & sent5 -> int8: the demoniac does not scram and is a kind of a Chaldean.; int8 & sent9 -> hypothesis; __PROVED__