that the mattress is an australopithecine if the Angolan is a kind of a deathrate is false.
sent1: the mattress is a kind of an australopithecine if that the Burundian is not a kind of a park is not incorrect. sent2: the Angolan is an appreciation if there exists something such that it is not clad. sent3: there is something such that it is clad. sent4: there exists something such that it is not clad. sent5: the Burundian is not a kind of a park if the Angolan is a kind of an appreciation and is a deathrate. sent6: the fact that the purchase is a kind of a Eleusine and it is a Laban is not false. sent7: the Angolan parks.
sent4 & sent2 -> int1: the Angolan is an appreciation.; void -> assump1: Let's assume that the Angolan is a kind of a deathrate.; int1 & assump1 -> int2: the Angolan is a kind of an appreciation that is a kind of a deathrate.; sent5 & int2 -> int3: the Burundian does not park.; sent1 & int3 -> int4: the mattress is australopithecine.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the mattress is an australopithecine if the Angolan is a kind of a deathrate is false. ; $context$ = sent1: the mattress is a kind of an australopithecine if that the Burundian is not a kind of a park is not incorrect. sent2: the Angolan is an appreciation if there exists something such that it is not clad. sent3: there is something such that it is clad. sent4: there exists something such that it is not clad. sent5: the Burundian is not a kind of a park if the Angolan is a kind of an appreciation and is a deathrate. sent6: the fact that the purchase is a kind of a Eleusine and it is a Laban is not false. sent7: the Angolan parks. ; $proof$ = 
sent4 & sent2 -> int1: the Angolan is an appreciation.; void -> assump1: Let's assume that the Angolan is a kind of a deathrate.; int1 & assump1 -> int2: the Angolan is a kind of an appreciation that is a kind of a deathrate.; sent5 & int2 -> int3: the Burundian does not park.; sent1 & int3 -> int4: the mattress is australopithecine.; [assump1] & int4 -> hypothesis; __DISPROVED__