that the Gable is a Lorisidae is true.
sent1: the Charon does not unmake Reaumur or it is a knotted or both. sent2: the Gable is not a Lorisidae if the Charon does not unmake Reaumur and/or does not knot. sent3: the T-junction does not eliminate Frobisher. sent4: if the T-junction bites it is a kind of a theme. sent5: if the T-junction is not a kind of a bit then the Charon does not unmake Reaumur and/or it is not a kind of a knotted. sent6: the T-junction unmakes traitress. sent7: if the fact that the Charon is not a knotted is correct then the Gable is not a Lorisidae. sent8: The traitress unmakes T-junction. sent9: the Gable does not unmake traitress. sent10: the T-junction does not eliminate Frobisher but it does eliminate hub-and-spoke. sent11: if something is a theme and unmakes traitress it does not eliminate hub-and-spoke. sent12: that the Charon does not unmake Reaumur and/or it is a kind of a knotted if the T-junction does not bite is correct.
void -> assump1: Let's assume that the T-junction is a bit.; sent4 & assump1 -> int1: the T-junction does theme.; int1 & sent6 -> int2: the T-junction themes and it unmakes traitress.; sent11 -> int3: if the T-junction is a theme and unmakes traitress it does not eliminate hub-and-spoke.; int2 & int3 -> int4: the T-junction does not eliminate hub-and-spoke.; sent10 -> int5: the T-junction eliminates hub-and-spoke.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the T-junction is not a bit.; int7 & sent5 -> int8: the Charon does not unmake Reaumur or is not a knotted or both.; int8 & sent2 -> hypothesis;
$hypothesis$ = that the Gable is a Lorisidae is true. ; $context$ = sent1: the Charon does not unmake Reaumur or it is a knotted or both. sent2: the Gable is not a Lorisidae if the Charon does not unmake Reaumur and/or does not knot. sent3: the T-junction does not eliminate Frobisher. sent4: if the T-junction bites it is a kind of a theme. sent5: if the T-junction is not a kind of a bit then the Charon does not unmake Reaumur and/or it is not a kind of a knotted. sent6: the T-junction unmakes traitress. sent7: if the fact that the Charon is not a knotted is correct then the Gable is not a Lorisidae. sent8: The traitress unmakes T-junction. sent9: the Gable does not unmake traitress. sent10: the T-junction does not eliminate Frobisher but it does eliminate hub-and-spoke. sent11: if something is a theme and unmakes traitress it does not eliminate hub-and-spoke. sent12: that the Charon does not unmake Reaumur and/or it is a kind of a knotted if the T-junction does not bite is correct. ; $proof$ = 
void -> assump1: Let's assume that the T-junction is a bit.; sent4 & assump1 -> int1: the T-junction does theme.; int1 & sent6 -> int2: the T-junction themes and it unmakes traitress.; sent11 -> int3: if the T-junction is a theme and unmakes traitress it does not eliminate hub-and-spoke.; int2 & int3 -> int4: the T-junction does not eliminate hub-and-spoke.; sent10 -> int5: the T-junction eliminates hub-and-spoke.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the T-junction is not a bit.; int7 & sent5 -> int8: the Charon does not unmake Reaumur or is not a knotted or both.; int8 & sent2 -> hypothesis; __DISPROVED__