the wreckage is a stupid.
sent1: a Dvorak is a stupid. sent2: the blastocyte vacates Y. sent3: the fact that the landau is not obedient is not wrong. sent4: if the landau is not obedient it is not autoradiographic. sent5: the wreckage is not a kind of a Arctonyx. sent6: if the fact that either the kiaat vacates saunterer or it is not a kind of a Dvorak or both does not hold then the landau is a kind of a Dvorak. sent7: the landau is not autoradiographic. sent8: the landau is a kind of a Arctonyx but it is not autoradiographic if that it is not obedient is true. sent9: something that is not a stupid is obedient thing that is autoradiographic. sent10: the wreckage is not a kind of a stupid and it is disobedient if the fact that the landau is a Dvorak is right.
sent8 & sent3 -> int1: the landau is a Arctonyx and is not autoradiographic.; int1 -> int2: the landau is a kind of a Arctonyx.;
the wreckage is autoradiographic.
sent9 -> int3: the wreckage is obedient and it is not non-autoradiographic if it is not a stupid.; sent1 -> int4: if the landau is a Dvorak it is a kind of a stupid.; sent2 -> int5: there is something such that it does vacate Y.;
$hypothesis$ = the wreckage is a stupid. ; $context$ = sent1: a Dvorak is a stupid. sent2: the blastocyte vacates Y. sent3: the fact that the landau is not obedient is not wrong. sent4: if the landau is not obedient it is not autoradiographic. sent5: the wreckage is not a kind of a Arctonyx. sent6: if the fact that either the kiaat vacates saunterer or it is not a kind of a Dvorak or both does not hold then the landau is a kind of a Dvorak. sent7: the landau is not autoradiographic. sent8: the landau is a kind of a Arctonyx but it is not autoradiographic if that it is not obedient is true. sent9: something that is not a stupid is obedient thing that is autoradiographic. sent10: the wreckage is not a kind of a stupid and it is disobedient if the fact that the landau is a Dvorak is right. ; $proof$ = 
sent8 & sent3 -> int1: the landau is a Arctonyx and is not autoradiographic.; int1 -> int2: the landau is a kind of a Arctonyx.; __UNKNOWN__