the gringo is not non-basipetal.
sent1: the gringo is basipetal if that the casein does cane rofecoxib is not incorrect. sent2: the demagogue is not a pro if the angle is unmanly and not a swimmeret. sent3: if that the casein does not cane rofecoxib and does not elute cairn is false the gringo is basipetal. sent4: that the casein canes rofecoxib but it does not elute cairn is wrong if the rofecoxib does elute cairn. sent5: the fact that if the rofecoxib elutes cairn then the fact that the casein does not cane rofecoxib and it does not elutes cairn is not correct is not incorrect. sent6: something is pro if it is a Icelandic. sent7: if something is not non-pro it does not elute cairn and is not basipetal. sent8: the demagogue is a lineation. sent9: if the angle is a kind of unmanly a swimmeret the demagogue is not a pro. sent10: the angle is not manly but it is not a swimmeret if the rofecoxib does not elute cairn. sent11: something is a lineation and canes nudger. sent12: the fact that the fact that the casein does cane rofecoxib and does not elute cairn is wrong is not wrong. sent13: the angle is not a swimmeret if the rofecoxib does not elute cairn. sent14: the angle is not a swimmeret. sent15: the demagogue is a Icelandic and a lineation.
void -> assump1: Let's assume that the rofecoxib does not elute cairn.; sent10 & assump1 -> int1: the angle is unmanly but it is not a swimmeret.; int1 & sent2 -> int2: the demagogue is not pro.; sent6 -> int3: the demagogue is a pro if it is a kind of a Icelandic.; sent15 -> int4: the demagogue is a kind of a Icelandic.; int3 & int4 -> int5: the demagogue is a kind of a pro.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the rofecoxib elutes cairn.; int7 & sent5 -> int8: the fact that the casein does not cane rofecoxib and does not elute cairn does not hold.; int8 & sent3 -> hypothesis;
the gringo is not basipetal.
sent7 -> int9: the gringo does not elute cairn and it is not basipetal if it is a pro.;
$hypothesis$ = the gringo is not non-basipetal. ; $context$ = sent1: the gringo is basipetal if that the casein does cane rofecoxib is not incorrect. sent2: the demagogue is not a pro if the angle is unmanly and not a swimmeret. sent3: if that the casein does not cane rofecoxib and does not elute cairn is false the gringo is basipetal. sent4: that the casein canes rofecoxib but it does not elute cairn is wrong if the rofecoxib does elute cairn. sent5: the fact that if the rofecoxib elutes cairn then the fact that the casein does not cane rofecoxib and it does not elutes cairn is not correct is not incorrect. sent6: something is pro if it is a Icelandic. sent7: if something is not non-pro it does not elute cairn and is not basipetal. sent8: the demagogue is a lineation. sent9: if the angle is a kind of unmanly a swimmeret the demagogue is not a pro. sent10: the angle is not manly but it is not a swimmeret if the rofecoxib does not elute cairn. sent11: something is a lineation and canes nudger. sent12: the fact that the fact that the casein does cane rofecoxib and does not elute cairn is wrong is not wrong. sent13: the angle is not a swimmeret if the rofecoxib does not elute cairn. sent14: the angle is not a swimmeret. sent15: the demagogue is a Icelandic and a lineation. ; $proof$ = 
void -> assump1: Let's assume that the rofecoxib does not elute cairn.; sent10 & assump1 -> int1: the angle is unmanly but it is not a swimmeret.; int1 & sent2 -> int2: the demagogue is not pro.; sent6 -> int3: the demagogue is a pro if it is a kind of a Icelandic.; sent15 -> int4: the demagogue is a kind of a Icelandic.; int3 & int4 -> int5: the demagogue is a kind of a pro.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the rofecoxib elutes cairn.; int7 & sent5 -> int8: the fact that the casein does not cane rofecoxib and does not elute cairn does not hold.; int8 & sent3 -> hypothesis; __PROVED__