the feinting does not occur.
sent1: if the fiduciariness does not occur then the insemination occurs and the Dorianness occurs. sent2: both the arbitraging and the overtness happens. sent3: the jamming rhyme does not occur if the promising chignon occurs. sent4: if the jamming rhyme happens that not the promising chignon but the unaggressiveness happens is not true. sent5: the overtness does not occur if that the promising chignon does not occur but the unaggressiveness happens is not true. sent6: if the insemination does not occur then the overtness happens or the unaggressiveness occurs or both. sent7: the jamming rhyme occurs if the chemotherapeuticness occurs. sent8: the fiduciary does not occur.
void -> assump1: Let's assume that the chemotherapeuticness happens.; sent7 & assump1 -> int1: the jamming rhyme occurs.; int1 & sent4 -> int2: the fact that the fact that not the promising chignon but the unaggressiveness happens is not right is right.; int2 & sent5 -> int3: the overtness does not occur.; sent2 -> int4: that the overtness happens is true.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the chemotherapeuticness does not occur.; sent1 & sent8 -> int7: both the insemination and the Dorianness happens.; int7 -> int8: the insemination occurs.; int6 & int8 -> int9: both the insemination and the non-chemotherapeuticness happens.;
the feinting occurs.
$hypothesis$ = the feinting does not occur. ; $context$ = sent1: if the fiduciariness does not occur then the insemination occurs and the Dorianness occurs. sent2: both the arbitraging and the overtness happens. sent3: the jamming rhyme does not occur if the promising chignon occurs. sent4: if the jamming rhyme happens that not the promising chignon but the unaggressiveness happens is not true. sent5: the overtness does not occur if that the promising chignon does not occur but the unaggressiveness happens is not true. sent6: if the insemination does not occur then the overtness happens or the unaggressiveness occurs or both. sent7: the jamming rhyme occurs if the chemotherapeuticness occurs. sent8: the fiduciary does not occur. ; $proof$ = 
void -> assump1: Let's assume that the chemotherapeuticness happens.; sent7 & assump1 -> int1: the jamming rhyme occurs.; int1 & sent4 -> int2: the fact that the fact that not the promising chignon but the unaggressiveness happens is not right is right.; int2 & sent5 -> int3: the overtness does not occur.; sent2 -> int4: that the overtness happens is true.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the chemotherapeuticness does not occur.; sent1 & sent8 -> int7: both the insemination and the Dorianness happens.; int7 -> int8: the insemination occurs.; int6 & int8 -> int9: both the insemination and the non-chemotherapeuticness happens.; __UNKNOWN__