that the fortune is procedural and not a Urd is wrong.
sent1: the fortune is procedural. sent2: the qadi is not a 4WD if the fortune is a simple. sent3: something is a coast if that it is a kind of a waver and does not trundle geotropism does not hold. sent4: the qadi is not a kind of a 4WD if the fortune does outwear or it is a simple or both. sent5: that something is a 4WD hold if it is muciferous. sent6: if that something is procedural but it is not a Urd does not hold it outwears. sent7: if that something is a kind of a resolution but it is not a kind of a lungfish is incorrect then the fact that it is a kind of a macintosh is true. sent8: if the fortune is not procedural it does outwear. sent9: something that is not procedural does outwear. sent10: the fortune is muciferous but it is not a simple. sent11: the qadi is muciferous. sent12: if the qadi tats then it is a kind of a 4WD.
sent6 -> int1: that the fortune does outwear is not incorrect if that it is procedural thing that is not a Urd is wrong.; void -> assump1: Let's assume that the fact that the fortune is procedural and is not a kind of a Urd is not right.; int1 & assump1 -> int2: the fortune does outwear.; int2 -> int3: the fortune outwears or it is a simple or both.; int3 & sent4 -> int4: the qadi is not a 4WD.; sent5 -> int5: if the qadi is muciferous it is a kind of a 4WD.; int5 & sent11 -> int6: the qadi is a 4WD.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = that the fortune is procedural and not a Urd is wrong. ; $context$ = sent1: the fortune is procedural. sent2: the qadi is not a 4WD if the fortune is a simple. sent3: something is a coast if that it is a kind of a waver and does not trundle geotropism does not hold. sent4: the qadi is not a kind of a 4WD if the fortune does outwear or it is a simple or both. sent5: that something is a 4WD hold if it is muciferous. sent6: if that something is procedural but it is not a Urd does not hold it outwears. sent7: if that something is a kind of a resolution but it is not a kind of a lungfish is incorrect then the fact that it is a kind of a macintosh is true. sent8: if the fortune is not procedural it does outwear. sent9: something that is not procedural does outwear. sent10: the fortune is muciferous but it is not a simple. sent11: the qadi is muciferous. sent12: if the qadi tats then it is a kind of a 4WD. ; $proof$ = 
sent6 -> int1: that the fortune does outwear is not incorrect if that it is procedural thing that is not a Urd is wrong.; void -> assump1: Let's assume that the fact that the fortune is procedural and is not a kind of a Urd is not right.; int1 & assump1 -> int2: the fortune does outwear.; int2 -> int3: the fortune outwears or it is a simple or both.; int3 & sent4 -> int4: the qadi is not a 4WD.; sent5 -> int5: if the qadi is muciferous it is a kind of a 4WD.; int5 & sent11 -> int6: the qadi is a 4WD.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__