the Kraut is a Papio if the Junkers is botanic.
sent1: the Junkers is ergotic and a native. sent2: the Kraut is both not a Papio and sepulchral. sent3: there is something such that it is a Papio. sent4: the fact that the Austrian is not sepulchral is not false. sent5: if the Austrian is not sepulchral then the Junkers is a level. sent6: if there exists something such that it is a kind of a atole that is a kind of a metalworking the Junkers is sepulchral. sent7: something is a kind of sepulchral thing that is botanic. sent8: if something is not a kind of a metalworking but it is a level it is a atole. sent9: if there is something such that it is a kind of a atole that is botanic then the fact that the Kraut is a Papio hold. sent10: the Junkers is not a metalworking but it is a level if the Austrian is not sepulchral. sent11: something is botanic.
sent8 -> int1: the Junkers is a kind of a atole if it is not a metalworking and does level.; sent10 & sent4 -> int2: the Junkers is not a kind of a metalworking and levels.; int1 & int2 -> int3: the Junkers is a kind of a atole.; void -> assump1: Let's assume that the Junkers is botanic.; int3 & assump1 -> int4: the Junkers is a atole and is botanic.; int4 -> int5: there exists something such that it is both a atole and botanic.; int5 & sent9 -> int6: the Kraut is a Papio.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the Kraut is a Papio if the Junkers is botanic. ; $context$ = sent1: the Junkers is ergotic and a native. sent2: the Kraut is both not a Papio and sepulchral. sent3: there is something such that it is a Papio. sent4: the fact that the Austrian is not sepulchral is not false. sent5: if the Austrian is not sepulchral then the Junkers is a level. sent6: if there exists something such that it is a kind of a atole that is a kind of a metalworking the Junkers is sepulchral. sent7: something is a kind of sepulchral thing that is botanic. sent8: if something is not a kind of a metalworking but it is a level it is a atole. sent9: if there is something such that it is a kind of a atole that is botanic then the fact that the Kraut is a Papio hold. sent10: the Junkers is not a metalworking but it is a level if the Austrian is not sepulchral. sent11: something is botanic. ; $proof$ = 
sent8 -> int1: the Junkers is a kind of a atole if it is not a metalworking and does level.; sent10 & sent4 -> int2: the Junkers is not a kind of a metalworking and levels.; int1 & int2 -> int3: the Junkers is a kind of a atole.; void -> assump1: Let's assume that the Junkers is botanic.; int3 & assump1 -> int4: the Junkers is a atole and is botanic.; int4 -> int5: there exists something such that it is both a atole and botanic.; int5 & sent9 -> int6: the Kraut is a Papio.; [assump1] & int6 -> hypothesis; __PROVED__