the spawner is not a craftsman.
sent1: something does determine lithosphere if it is a kind of a neglected. sent2: the berlin is not a kind of a Camptosorus. sent3: the percolator is hepatic. sent4: the spawner does theologize and it is a kind of a Camptosorus if it does not traffic fender-bender. sent5: that if something that is not a kind of a neglected does not determine lithosphere then it is a craftsman hold. sent6: if the percolator is hepatic the fact that the berlin dogmatizes cabbage but it does not obliterate is false. sent7: the fact that something is lenten but not cochlear is not right if the fact that it is a craftsman is not incorrect. sent8: if the berlin is not a Camptosorus then it theologizes and it does neglect. sent9: if the fact that the spawner is lenten thing that is not cochlear does not hold the berlin does not determine lithosphere.
sent7 -> int1: if the spawner is a craftsman the fact that it is lenten thing that is not cochlear is wrong.; void -> assump1: Let's assume that the spawner is a craftsman.; int1 & assump1 -> int2: that the spawner is lenten and is not cochlear does not hold.; int2 & sent9 -> int3: that the berlin does not determine lithosphere is not incorrect.; sent1 -> int4: the berlin determines lithosphere if it does neglect.; sent8 & sent2 -> int5: the berlin does theologize and it is a neglected.; int5 -> int6: the berlin is a neglected.; int4 & int6 -> int7: the berlin does determine lithosphere.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the spawner is a craftsman.
sent5 -> int9: that the spawner is a craftsman is not incorrect if it is not a neglected and does not determine lithosphere.; sent6 & sent3 -> int10: that the berlin dogmatizes cabbage but it does not obliterate is wrong.; int10 -> int11: there exists something such that the fact that it dogmatizes cabbage and does not obliterate is wrong.;
$hypothesis$ = the spawner is not a craftsman. ; $context$ = sent1: something does determine lithosphere if it is a kind of a neglected. sent2: the berlin is not a kind of a Camptosorus. sent3: the percolator is hepatic. sent4: the spawner does theologize and it is a kind of a Camptosorus if it does not traffic fender-bender. sent5: that if something that is not a kind of a neglected does not determine lithosphere then it is a craftsman hold. sent6: if the percolator is hepatic the fact that the berlin dogmatizes cabbage but it does not obliterate is false. sent7: the fact that something is lenten but not cochlear is not right if the fact that it is a craftsman is not incorrect. sent8: if the berlin is not a Camptosorus then it theologizes and it does neglect. sent9: if the fact that the spawner is lenten thing that is not cochlear does not hold the berlin does not determine lithosphere. ; $proof$ = 
sent7 -> int1: if the spawner is a craftsman the fact that it is lenten thing that is not cochlear is wrong.; void -> assump1: Let's assume that the spawner is a craftsman.; int1 & assump1 -> int2: that the spawner is lenten and is not cochlear does not hold.; int2 & sent9 -> int3: that the berlin does not determine lithosphere is not incorrect.; sent1 -> int4: the berlin determines lithosphere if it does neglect.; sent8 & sent2 -> int5: the berlin does theologize and it is a neglected.; int5 -> int6: the berlin is a neglected.; int4 & int6 -> int7: the berlin does determine lithosphere.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__