the coondog is not maxillomandibular.
sent1: if the coondog is departmental it is Egyptian or it is not a turgor or both. sent2: the coondog is maxillomandibular or googles or both. sent3: the virago is maxillomandibular. sent4: something is maxillomandibular and it does wrestle personhood if it is not a ceratodus. sent5: if something is a Egyptian or is not a kind of a turgor or both the yanker is not a ceratodus. sent6: the coondog is not maxillomandibular if there is something such that it is a maneuver. sent7: the coondog is not maxillomandibular if there is something such that it is a maneuver and/or it is a Ingrian. sent8: the coondog is departmental. sent9: the yanker is not a kind of a maneuver if there exists something such that either it is a kind of a self-punishment or it is a Ingrian or both. sent10: the yanker is not a kind of a self-punishment. sent11: if the R-2 is not a Ingrian then the yanker is a kind of a self-punishment and it googles. sent12: if there is something such that the fact that it is not a Ingrian and does not maneuver is incorrect the R-2 is not intrinsic. sent13: the yanker googles. sent14: the yanker googles if the fact that the R-2 is a Ingrian is wrong.
void -> assump1: Let's assume that the R-2 is not a Ingrian.; sent11 & assump1 -> int1: the yanker is a self-punishment that does google.; int1 -> int2: the yanker is a self-punishment.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the R-2 is a Ingrian.; int4 -> int5: the R-2 either does maneuver or is a Ingrian or both.; int5 -> int6: something is a kind of a maneuver and/or it is a Ingrian.; int6 & sent7 -> hypothesis;
the R-2 is not intrinsic.
sent4 -> int7: if the yanker is not a ceratodus then it is maxillomandibular and does wrestle personhood.; sent1 & sent8 -> int8: either the coondog is Egyptian or it is not a kind of a turgor or both.; int8 -> int9: something is a kind of a Egyptian and/or it is not a turgor.; int9 & sent5 -> int10: the yanker is not a ceratodus.; int7 & int10 -> int11: the yanker is maxillomandibular and wrestles personhood.; int11 -> int12: the yanker is maxillomandibular.;
$hypothesis$ = the coondog is not maxillomandibular. ; $context$ = sent1: if the coondog is departmental it is Egyptian or it is not a turgor or both. sent2: the coondog is maxillomandibular or googles or both. sent3: the virago is maxillomandibular. sent4: something is maxillomandibular and it does wrestle personhood if it is not a ceratodus. sent5: if something is a Egyptian or is not a kind of a turgor or both the yanker is not a ceratodus. sent6: the coondog is not maxillomandibular if there is something such that it is a maneuver. sent7: the coondog is not maxillomandibular if there is something such that it is a maneuver and/or it is a Ingrian. sent8: the coondog is departmental. sent9: the yanker is not a kind of a maneuver if there exists something such that either it is a kind of a self-punishment or it is a Ingrian or both. sent10: the yanker is not a kind of a self-punishment. sent11: if the R-2 is not a Ingrian then the yanker is a kind of a self-punishment and it googles. sent12: if there is something such that the fact that it is not a Ingrian and does not maneuver is incorrect the R-2 is not intrinsic. sent13: the yanker googles. sent14: the yanker googles if the fact that the R-2 is a Ingrian is wrong. ; $proof$ = 
void -> assump1: Let's assume that the R-2 is not a Ingrian.; sent11 & assump1 -> int1: the yanker is a self-punishment that does google.; int1 -> int2: the yanker is a self-punishment.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the R-2 is a Ingrian.; int4 -> int5: the R-2 either does maneuver or is a Ingrian or both.; int5 -> int6: something is a kind of a maneuver and/or it is a Ingrian.; int6 & sent7 -> hypothesis; __PROVED__