the wattmeter is a kind of a Brama.
sent1: the papooseroot is a Tahitian and it laicizes Leiopelmatidae. sent2: if something is a kind of a Tahitian then that it is not phonological and/or it is not a trawler is not right. sent3: the wattmeter is a kind of a Brama if the papooseroot is not a Liberian and is a hair. sent4: if the fact that the papooseroot is non-Liberian thing that is a hair is not true it is not phonological.
void -> assump1: Let's assume that the fact that the papooseroot is a kind of non-Liberian a hair is not correct.; sent4 & assump1 -> int1: the papooseroot is not phonological.; int1 -> int2: the papooseroot is not phonological or is not a trawler or both.; sent2 -> int3: the fact that the papooseroot is not phonological or it is not a trawler or both is incorrect if it is Tahitian.; sent1 -> int4: the papooseroot is Tahitian.; int3 & int4 -> int5: the fact that the papooseroot is not phonological or it is not a trawler or both is wrong.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the papooseroot is not Liberian but it is a kind of a hair.; int7 & sent3 -> hypothesis;
$hypothesis$ = the wattmeter is a kind of a Brama. ; $context$ = sent1: the papooseroot is a Tahitian and it laicizes Leiopelmatidae. sent2: if something is a kind of a Tahitian then that it is not phonological and/or it is not a trawler is not right. sent3: the wattmeter is a kind of a Brama if the papooseroot is not a Liberian and is a hair. sent4: if the fact that the papooseroot is non-Liberian thing that is a hair is not true it is not phonological. ; $proof$ = 
void -> assump1: Let's assume that the fact that the papooseroot is a kind of non-Liberian a hair is not correct.; sent4 & assump1 -> int1: the papooseroot is not phonological.; int1 -> int2: the papooseroot is not phonological or is not a trawler or both.; sent2 -> int3: the fact that the papooseroot is not phonological or it is not a trawler or both is incorrect if it is Tahitian.; sent1 -> int4: the papooseroot is Tahitian.; int3 & int4 -> int5: the fact that the papooseroot is not phonological or it is not a trawler or both is wrong.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the papooseroot is not Liberian but it is a kind of a hair.; int7 & sent3 -> hypothesis; __PROVED__