the reedbird is licit but it does not ignore chauffeur.
sent1: something does not disoblige and is not a deposit. sent2: there exists something such that the fact that it is not a snowball is correct. sent3: something is legato if it is not a quibble. sent4: the fact that something is licit but it does not ignore chauffeur is false if it is electronics. sent5: the Cakchiquel does not snowball and it does not ignore brotherhood if the fact that the dustcloth does not ignore brotherhood is not false. sent6: the fact that something is not electronics and it does not ignore brotherhood is not true if it is legato. sent7: if there exists something such that either it is electronics or it is legato or both the dustcloth does not ignore brotherhood. sent8: the reedbird does ignore chauffeur and/or is legato. sent9: either the Lander is electronics or it is legato or both. sent10: the fact that the dustcloth is a kind of a quibble but it is not an arcade is not right if there exists something such that it is not a snowball. sent11: the reedbird is licit thing that does not ignore chauffeur if the simal is licit. sent12: if there exists something such that it is either not a quibble or not an arcade or both then the simal is licit. sent13: the reedbird does not ignore mailsorter. sent14: the reedbird is not electronics if there exists something such that it does not ignore chauffeur and it does not ignore brotherhood. sent15: something does not snowball and does ignore brotherhood.
sent9 -> int1: there is something such that either it is electronics or it is legato or both.; int1 & sent7 -> int2: the dustcloth does not ignore brotherhood.; sent5 & int2 -> int3: the Cakchiquel is not a snowball and does not ignore brotherhood.; int3 -> int4: something is not a snowball and it does not ignore brotherhood.;
the fact that the reedbird is licit but it does not ignore chauffeur is wrong.
sent4 -> int5: the fact that the reedbird is licit but it does not ignore chauffeur does not hold if that it is electronics is correct.; sent6 -> int6: the fact that the dustcloth is not electronics and it does not ignore brotherhood does not hold if it is legato.; sent3 -> int7: if the dustcloth does not quibble it is legato.; sent2 & sent10 -> int8: that the dustcloth does quibble and is not a kind of an arcade is incorrect.;
$hypothesis$ = the reedbird is licit but it does not ignore chauffeur. ; $context$ = sent1: something does not disoblige and is not a deposit. sent2: there exists something such that the fact that it is not a snowball is correct. sent3: something is legato if it is not a quibble. sent4: the fact that something is licit but it does not ignore chauffeur is false if it is electronics. sent5: the Cakchiquel does not snowball and it does not ignore brotherhood if the fact that the dustcloth does not ignore brotherhood is not false. sent6: the fact that something is not electronics and it does not ignore brotherhood is not true if it is legato. sent7: if there exists something such that either it is electronics or it is legato or both the dustcloth does not ignore brotherhood. sent8: the reedbird does ignore chauffeur and/or is legato. sent9: either the Lander is electronics or it is legato or both. sent10: the fact that the dustcloth is a kind of a quibble but it is not an arcade is not right if there exists something such that it is not a snowball. sent11: the reedbird is licit thing that does not ignore chauffeur if the simal is licit. sent12: if there exists something such that it is either not a quibble or not an arcade or both then the simal is licit. sent13: the reedbird does not ignore mailsorter. sent14: the reedbird is not electronics if there exists something such that it does not ignore chauffeur and it does not ignore brotherhood. sent15: something does not snowball and does ignore brotherhood. ; $proof$ = 
sent9 -> int1: there is something such that either it is electronics or it is legato or both.; int1 & sent7 -> int2: the dustcloth does not ignore brotherhood.; sent5 & int2 -> int3: the Cakchiquel is not a snowball and does not ignore brotherhood.; int3 -> int4: something is not a snowball and it does not ignore brotherhood.; __UNKNOWN__