there exists something such that if it is logarithmic and does not approbate autogamy then that it is a chordate is correct.
sent1: the juke is logarithmic. sent2: the kook does not underquote scaphocephaly. sent3: the fact that the moment is a Macropodidae and is a euphorbium is not true if something does not underquote scaphocephaly. sent4: if something that is logarithmic does not approbate autogamy it is a Macropodidae. sent5: there exists something such that if it is logarithmic and it does approbate autogamy it is a chordate.
sent4 -> int1: the juke is a Macropodidae if it is logarithmic and it does not approbate autogamy.; void -> assump1: Let's assume that the juke is logarithmic thing that does not approbate autogamy.; int1 & assump1 -> int2: that the juke is a Macropodidae is not incorrect.;
the godparent is papilliform.
sent2 -> int3: there exists something such that it does not underquote scaphocephaly.; int3 & sent3 -> int4: that the moment is a Macropodidae and is a euphorbium is not right.; int4 -> int5: there is something such that the fact that it is a kind of a Macropodidae that is a euphorbium is false.;
$hypothesis$ = there exists something such that if it is logarithmic and does not approbate autogamy then that it is a chordate is correct. ; $context$ = sent1: the juke is logarithmic. sent2: the kook does not underquote scaphocephaly. sent3: the fact that the moment is a Macropodidae and is a euphorbium is not true if something does not underquote scaphocephaly. sent4: if something that is logarithmic does not approbate autogamy it is a Macropodidae. sent5: there exists something such that if it is logarithmic and it does approbate autogamy it is a chordate. ; $proof$ = 
sent4 -> int1: the juke is a Macropodidae if it is logarithmic and it does not approbate autogamy.; void -> assump1: Let's assume that the juke is logarithmic thing that does not approbate autogamy.; int1 & assump1 -> int2: that the juke is a Macropodidae is not incorrect.; __UNKNOWN__