that the fact that the pictorial is not non-ataxic hold if the grapnel creams antheridium is not true.
sent1: either the antheridium is not a Assam or it is not anguine or both if the philter is a fumble. sent2: that the pictorial does not enfeoff chemistry and is not a fumble does not hold if the philter is not a fumble. sent3: if something is a stunt it is ataxic. sent4: if that that something does not enfeoff chemistry and is not a fumble is correct is false it stunts. sent5: if either the antheridium is not a kind of a Assam or it is not anguine or both then the grapnel does not cream antheridium.
void -> assump1: Let's assume that the philter is a kind of a fumble.; sent1 & assump1 -> int1: the antheridium is not a Assam and/or is not anguine.; int1 & sent5 -> int2: the grapnel does not cream antheridium.; void -> assump2: Let's assume that the grapnel creams antheridium.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the philter is not a fumble.; int4 & sent2 -> int5: the fact that the pictorial does not enfeoff chemistry and is not a kind of a fumble is not true.; sent4 -> int6: if that the pictorial does not enfeoff chemistry and is not a fumble does not hold it is a stunt.; int5 & int6 -> int7: the pictorial is a kind of a stunt.; sent3 -> int8: the pictorial is ataxic if it is a stunt.; int7 & int8 -> int9: the pictorial is ataxic.; [assump2] & int9 -> hypothesis;
$hypothesis$ = that the fact that the pictorial is not non-ataxic hold if the grapnel creams antheridium is not true. ; $context$ = sent1: either the antheridium is not a Assam or it is not anguine or both if the philter is a fumble. sent2: that the pictorial does not enfeoff chemistry and is not a fumble does not hold if the philter is not a fumble. sent3: if something is a stunt it is ataxic. sent4: if that that something does not enfeoff chemistry and is not a fumble is correct is false it stunts. sent5: if either the antheridium is not a kind of a Assam or it is not anguine or both then the grapnel does not cream antheridium. ; $proof$ = 
void -> assump1: Let's assume that the philter is a kind of a fumble.; sent1 & assump1 -> int1: the antheridium is not a Assam and/or is not anguine.; int1 & sent5 -> int2: the grapnel does not cream antheridium.; void -> assump2: Let's assume that the grapnel creams antheridium.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the philter is not a fumble.; int4 & sent2 -> int5: the fact that the pictorial does not enfeoff chemistry and is not a kind of a fumble is not true.; sent4 -> int6: if that the pictorial does not enfeoff chemistry and is not a fumble does not hold it is a stunt.; int5 & int6 -> int7: the pictorial is a kind of a stunt.; sent3 -> int8: the pictorial is ataxic if it is a stunt.; int7 & int8 -> int9: the pictorial is ataxic.; [assump2] & int9 -> hypothesis; __DISPROVED__