the roboticness does not occur.
sent1: if the fact that the ohmicness occurs is not false that the bloodbath but not the daub occurs is not correct. sent2: if the accrediting dualism happens and the beneficentness occurs the roboticness does not occur. sent3: the accrediting Charadriidae occurs and the settlement happens. sent4: not the filling guideline but the accrediting Charadriidae happens if the settlement does not occur. sent5: the settlement happens. sent6: if the bloodbath does not occur the fact that the Ptolemaicness occurs and the ohmicness happens is wrong. sent7: that the Ptolemaicness does not occur and the accrediting dualism does not occur is false if the beneficentness does not occur. sent8: that the Ptolemaicness occurs and the ohmicness occurs is not correct. sent9: that both the Ptolemaicness and the non-ohmicness happens is not right if the bloodbath does not occur. sent10: if the accrediting Charadriidae happens and the bloodbath occurs the daub does not occur. sent11: that the ohmicness occurs triggers that the accrediting dualism occurs. sent12: the daub occurs. sent13: the beneficentness happens.
sent3 -> int1: the accrediting Charadriidae occurs.; void -> assump1: Let's assume that the bloodbath occurs.; int1 & assump1 -> int2: the accrediting Charadriidae occurs and the bloodbath occurs.; int2 & sent10 -> int3: the daub does not occur.; int3 & sent12 -> int4: this is contradiction.; [assump1] & int4 -> int5: the bloodbath does not occur.; int5 & sent9 -> int6: the fact that the Ptolemaicness happens and the ohmicness does not occur does not hold.;
the filling guideline does not occur.
$hypothesis$ = the roboticness does not occur. ; $context$ = sent1: if the fact that the ohmicness occurs is not false that the bloodbath but not the daub occurs is not correct. sent2: if the accrediting dualism happens and the beneficentness occurs the roboticness does not occur. sent3: the accrediting Charadriidae occurs and the settlement happens. sent4: not the filling guideline but the accrediting Charadriidae happens if the settlement does not occur. sent5: the settlement happens. sent6: if the bloodbath does not occur the fact that the Ptolemaicness occurs and the ohmicness happens is wrong. sent7: that the Ptolemaicness does not occur and the accrediting dualism does not occur is false if the beneficentness does not occur. sent8: that the Ptolemaicness occurs and the ohmicness occurs is not correct. sent9: that both the Ptolemaicness and the non-ohmicness happens is not right if the bloodbath does not occur. sent10: if the accrediting Charadriidae happens and the bloodbath occurs the daub does not occur. sent11: that the ohmicness occurs triggers that the accrediting dualism occurs. sent12: the daub occurs. sent13: the beneficentness happens. ; $proof$ = 
sent3 -> int1: the accrediting Charadriidae occurs.; void -> assump1: Let's assume that the bloodbath occurs.; int1 & assump1 -> int2: the accrediting Charadriidae occurs and the bloodbath occurs.; int2 & sent10 -> int3: the daub does not occur.; int3 & sent12 -> int4: this is contradiction.; [assump1] & int4 -> int5: the bloodbath does not occur.; int5 & sent9 -> int6: the fact that the Ptolemaicness happens and the ohmicness does not occur does not hold.; __UNKNOWN__