the leftovers does predicate.
sent1: if either the gamekeeper does not finger airplane or it is non-cardiologic or both the leftovers interacts. sent2: if something is a sugarberry it is not a predicate. sent3: if the gamekeeper is a lightsomeness the needlefish lights. sent4: the needlefish is a kind of a predicate if the leftovers is not a taw. sent5: something is not a kind of a light if it is not a kind of an etiquette. sent6: the needlefish is a taw or it is not an etiquette or both. sent7: the gamekeeper is cardiologic. sent8: the leftovers does not predicate if it is a sugarberry. sent9: if that the gamekeeper either does not finger airplane or is cardiologic or both is not correct then it is a kind of a lightsomeness. sent10: if that the gamekeeper does not finger airplane or is not cardiologic or both is incorrect then it is a lightsomeness. sent11: if something either interacts or is a kind of a sugarberry or both it is not a predicate. sent12: if something is a taw then it is not a light. sent13: if something interacts then either it is a light or it is not a lightsomeness or both.
void -> assump1: Let's assume that that the fact that the gamekeeper either does not finger airplane or is not cardiologic or both is not true hold.; sent10 & assump1 -> int1: the gamekeeper is a lightsomeness.; int1 & sent3 -> int2: the needlefish is a light.; sent12 -> int3: the needlefish is not a kind of a light if it is a taw.; sent5 -> int4: the needlefish does not light if it is not an etiquette.; sent6 & int3 & int4 -> int5: the needlefish is not light.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gamekeeper does not finger airplane and/or is non-cardiologic.; int7 & sent1 -> int8: the leftovers does interact.; int8 -> int9: the leftovers interacts or it is a sugarberry or both.; sent11 -> int10: if the leftovers interacts or it is a kind of a sugarberry or both then it is not a predicate.; int9 & int10 -> hypothesis;
the leftovers is a predicate.
sent13 -> int11: either the gamekeeper lights or it is not a lightsomeness or both if it interacts.;
$hypothesis$ = the leftovers does predicate. ; $context$ = sent1: if either the gamekeeper does not finger airplane or it is non-cardiologic or both the leftovers interacts. sent2: if something is a sugarberry it is not a predicate. sent3: if the gamekeeper is a lightsomeness the needlefish lights. sent4: the needlefish is a kind of a predicate if the leftovers is not a taw. sent5: something is not a kind of a light if it is not a kind of an etiquette. sent6: the needlefish is a taw or it is not an etiquette or both. sent7: the gamekeeper is cardiologic. sent8: the leftovers does not predicate if it is a sugarberry. sent9: if that the gamekeeper either does not finger airplane or is cardiologic or both is not correct then it is a kind of a lightsomeness. sent10: if that the gamekeeper does not finger airplane or is not cardiologic or both is incorrect then it is a lightsomeness. sent11: if something either interacts or is a kind of a sugarberry or both it is not a predicate. sent12: if something is a taw then it is not a light. sent13: if something interacts then either it is a light or it is not a lightsomeness or both. ; $proof$ = 
void -> assump1: Let's assume that that the fact that the gamekeeper either does not finger airplane or is not cardiologic or both is not true hold.; sent10 & assump1 -> int1: the gamekeeper is a lightsomeness.; int1 & sent3 -> int2: the needlefish is a light.; sent12 -> int3: the needlefish is not a kind of a light if it is a taw.; sent5 -> int4: the needlefish does not light if it is not an etiquette.; sent6 & int3 & int4 -> int5: the needlefish is not light.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gamekeeper does not finger airplane and/or is non-cardiologic.; int7 & sent1 -> int8: the leftovers does interact.; int8 -> int9: the leftovers interacts or it is a sugarberry or both.; sent11 -> int10: if the leftovers interacts or it is a kind of a sugarberry or both then it is not a predicate.; int9 & int10 -> hypothesis; __DISPROVED__