that either the friend is a Globicephala or it grips or both is wrong.
sent1: if the bystander is a Symphytum but it is non-sarcosomal then the demineralization is not non-sarcosomal. sent2: something is sarcosomal if it is non-hieratic and is not a kind of a craftiness. sent3: if there is something such that it is a hieratic the demineralization is not a kind of a Gironde. sent4: the torch does not treadle if it is a kind of a epicureanism. sent5: the demineralization is a Gironde. sent6: the carapace is a casing. sent7: the fact that either something is a Globicephala or it is a kind of a grip or both is not true if it is not a Gironde. sent8: the friend does not block system. sent9: if the friend is not hieratic and it is not a Gironde then it is a kind of a grip. sent10: that the demineralization is not a hieratic but made is wrong. sent11: a non-sarcosomal thing is a Gironde or not cardiac or both. sent12: there is something such that the fact that it does not grip and it is not a hieratic does not hold. sent13: the torch is a epicureanism if the carapace is either a casing or not a pung or both. sent14: if the demineralization is a kind of a Gironde and is not a Globicephala then it is a craftiness. sent15: if something is a Globicephala but it is not a Gironde then it is a craftiness. sent16: there is something such that that that it is not a craftiness and does not grip is not wrong is false. sent17: the demineralization is not a Gironde if there is something such that that it is not hieratic and not a craftiness is not correct. sent18: the friend is a kind of a grip if it is not a Gironde and it is not a kind of a hieratic. sent19: if something is sarcosomal then it is a Globicephala. sent20: that if something does grip the fact that it is both not sarcosomal and not a Gironde is not right is not false.
void -> assump1: Let's assume that the fact that the friend is not a hieratic and it is not a craftiness is not true.; assump1 -> int1: there is something such that that it is not a hieratic and is not a kind of a craftiness is not true.; int1 & sent17 -> int2: that the demineralization is not a Gironde is not wrong.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the friend is not a hieratic and it is not a craftiness.; sent2 -> int5: the fact that the friend is sarcosomal hold if it is not a kind of a hieratic and is not a kind of a craftiness.; int4 & int5 -> int6: the friend is sarcosomal.; sent19 -> int7: if the friend is sarcosomal it is a Globicephala.; int6 & int7 -> int8: the friend is a Globicephala.; int8 -> hypothesis;
that the friend is a Globicephala and/or does grip is incorrect.
sent7 -> int9: the fact that either the friend is a Globicephala or it is a grip or both does not hold if it is not a Gironde.; sent11 -> int10: if the demineralization is not sarcosomal it is a Gironde or is not cardiac or both.; sent6 -> int11: the carapace either cases or is not a pung or both.; sent13 & int11 -> int12: that the torch is a kind of a epicureanism hold.; sent4 & int12 -> int13: the torch does not treadle.; int13 -> int14: something does not treadle.;
$hypothesis$ = that either the friend is a Globicephala or it grips or both is wrong. ; $context$ = sent1: if the bystander is a Symphytum but it is non-sarcosomal then the demineralization is not non-sarcosomal. sent2: something is sarcosomal if it is non-hieratic and is not a kind of a craftiness. sent3: if there is something such that it is a hieratic the demineralization is not a kind of a Gironde. sent4: the torch does not treadle if it is a kind of a epicureanism. sent5: the demineralization is a Gironde. sent6: the carapace is a casing. sent7: the fact that either something is a Globicephala or it is a kind of a grip or both is not true if it is not a Gironde. sent8: the friend does not block system. sent9: if the friend is not hieratic and it is not a Gironde then it is a kind of a grip. sent10: that the demineralization is not a hieratic but made is wrong. sent11: a non-sarcosomal thing is a Gironde or not cardiac or both. sent12: there is something such that the fact that it does not grip and it is not a hieratic does not hold. sent13: the torch is a epicureanism if the carapace is either a casing or not a pung or both. sent14: if the demineralization is a kind of a Gironde and is not a Globicephala then it is a craftiness. sent15: if something is a Globicephala but it is not a Gironde then it is a craftiness. sent16: there is something such that that that it is not a craftiness and does not grip is not wrong is false. sent17: the demineralization is not a Gironde if there is something such that that it is not hieratic and not a craftiness is not correct. sent18: the friend is a kind of a grip if it is not a Gironde and it is not a kind of a hieratic. sent19: if something is sarcosomal then it is a Globicephala. sent20: that if something does grip the fact that it is both not sarcosomal and not a Gironde is not right is not false. ; $proof$ = 
void -> assump1: Let's assume that the fact that the friend is not a hieratic and it is not a craftiness is not true.; assump1 -> int1: there is something such that that it is not a hieratic and is not a kind of a craftiness is not true.; int1 & sent17 -> int2: that the demineralization is not a Gironde is not wrong.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the friend is not a hieratic and it is not a craftiness.; sent2 -> int5: the fact that the friend is sarcosomal hold if it is not a kind of a hieratic and is not a kind of a craftiness.; int4 & int5 -> int6: the friend is sarcosomal.; sent19 -> int7: if the friend is sarcosomal it is a Globicephala.; int6 & int7 -> int8: the friend is a Globicephala.; int8 -> hypothesis; __DISPROVED__