the foreground is not a kind of a spendthrift.
sent1: if the pentastomid does not incorporate Camus the technocrat is not non-proteinaceous or it does not incorporate Camus or both. sent2: the pentastomid is a kind of a groundcover and/or it is not a spendthrift. sent3: if something is secondary then that the pentastomid does not incorporate Camus and it is not a kind of a groundcover is not wrong. sent4: if the pentastomid is a secondary the fact that the foreground is not a spendthrift and incorporates Camus is false. sent5: if the technocrat does not incorporate Camus then the foreground is a kind of a spendthrift. sent6: if the technocrat does not incorporate Camus then the foreground is not a kind of a spendthrift. sent7: the pentastomid is not a spendthrift if the foreground does not incorporate Camus. sent8: the pentastomid is not a kind of a groundcover. sent9: the fact that the foreground is not a spendthrift is not wrong if the technocrat is proteinaceous.
the foreground is a kind of a spendthrift.
$hypothesis$ = the foreground is not a kind of a spendthrift. ; $context$ = sent1: if the pentastomid does not incorporate Camus the technocrat is not non-proteinaceous or it does not incorporate Camus or both. sent2: the pentastomid is a kind of a groundcover and/or it is not a spendthrift. sent3: if something is secondary then that the pentastomid does not incorporate Camus and it is not a kind of a groundcover is not wrong. sent4: if the pentastomid is a secondary the fact that the foreground is not a spendthrift and incorporates Camus is false. sent5: if the technocrat does not incorporate Camus then the foreground is a kind of a spendthrift. sent6: if the technocrat does not incorporate Camus then the foreground is not a kind of a spendthrift. sent7: the pentastomid is not a spendthrift if the foreground does not incorporate Camus. sent8: the pentastomid is not a kind of a groundcover. sent9: the fact that the foreground is not a spendthrift is not wrong if the technocrat is proteinaceous. ; $proof$ = 
__UNKNOWN__