the fact that the anchorite is not a chute but it breakfasts bloat is not true.
sent1: The bloat breakfasts anchorite. sent2: the place-kicker is osseous. sent3: the anchorite breakfasts bloat. sent4: if that the anchorite is a kind of a chute is correct the place-kicker is not a Mississippian and it is not osseous.
void -> assump1: Let's assume that the anchorite is a chute.; sent4 & assump1 -> int1: the place-kicker is not a Mississippian and is not osseous.; int1 -> int2: the place-kicker is not osseous.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anchorite is not a chute.; int4 & sent3 -> hypothesis;
$hypothesis$ = the fact that the anchorite is not a chute but it breakfasts bloat is not true. ; $context$ = sent1: The bloat breakfasts anchorite. sent2: the place-kicker is osseous. sent3: the anchorite breakfasts bloat. sent4: if that the anchorite is a kind of a chute is correct the place-kicker is not a Mississippian and it is not osseous. ; $proof$ = 
void -> assump1: Let's assume that the anchorite is a chute.; sent4 & assump1 -> int1: the place-kicker is not a Mississippian and is not osseous.; int1 -> int2: the place-kicker is not osseous.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the anchorite is not a chute.; int4 & sent3 -> hypothesis; __DISPROVED__