the porcupine is alexic.
sent1: the porcupine is not fetal. sent2: the porcupine is not a kind of a brigandine. sent3: if the underboss is not nonmigratory then that it is a henbit and it is a brigandine is false. sent4: if the porcupine does not gate gumwood that it ribs phosphoprotein and is a brigandine is not true. sent5: something is a alexic if that it is a brigandine is not false. sent6: that the porcupine does not coo wineskin is true if that it is a summit and it coos opsonin is not right. sent7: something is not a alexic if that it does summit and does coo Sulidae is incorrect. sent8: if the porcupine is not a summit it is not a kind of a alexic. sent9: the porcupine is a brigandine if the elimination is not a brigandine or it does not coo asterism or both. sent10: the baklava is a by-and-by and it does ovulate. sent11: something is not a Pontiac if the fact that it is ballistics or it is punctureless or both does not hold. sent12: the kinkajou is not a lividity if that it is a ruin and is a brigandine is false. sent13: the fact that the elimination is ballistics and/or it is punctureless does not hold if that the thill is not fetal is correct. sent14: something is not a kind of a alexic if it is not a summit. sent15: the threshold is a kind of a Bankia if there is something such that it is a kind of a by-and-by and it does ovulate. sent16: if something is not a Pontiac then it is not a kind of a brigandine and/or it does not coo asterism. sent17: if the porcupine is not a kind of a brigandine the fact that it summits and it coos Sulidae is not correct. sent18: if that the histaminase coos Sulidae and it is a kind of a makeweight is not correct that it is not undrinkable hold. sent19: the porcupine does not maunder. sent20: if the porcupine is not alexic then the fact that it is a kind of a Pontiac and it is a Chilomeniscus is not correct. sent21: the fact that the orpiment is calciferous thing that is a alexic is not true if it does not rib splicer.
sent7 -> int1: if the fact that the porcupine is a summit and it does coo Sulidae does not hold then it is not a alexic.; sent17 & sent2 -> int2: that the porcupine does summit and does coo Sulidae is wrong.; int1 & int2 -> hypothesis;
that the porcupine is a alexic is true.
sent5 -> int3: if the porcupine is a kind of a brigandine then it is a alexic.; sent16 -> int4: the fact that if the elimination is not the Pontiac then the elimination is not a brigandine and/or does not coo asterism is not wrong.; sent11 -> int5: the elimination is not a Pontiac if that it either is ballistics or is punctureless or both is incorrect.; sent10 -> int6: there exists something such that it is a kind of a by-and-by and does ovulate.; int6 & sent15 -> int7: the threshold is a kind of a Bankia.; int7 -> int8: there exists something such that it is a Bankia.;
$hypothesis$ = the porcupine is alexic. ; $context$ = sent1: the porcupine is not fetal. sent2: the porcupine is not a kind of a brigandine. sent3: if the underboss is not nonmigratory then that it is a henbit and it is a brigandine is false. sent4: if the porcupine does not gate gumwood that it ribs phosphoprotein and is a brigandine is not true. sent5: something is a alexic if that it is a brigandine is not false. sent6: that the porcupine does not coo wineskin is true if that it is a summit and it coos opsonin is not right. sent7: something is not a alexic if that it does summit and does coo Sulidae is incorrect. sent8: if the porcupine is not a summit it is not a kind of a alexic. sent9: the porcupine is a brigandine if the elimination is not a brigandine or it does not coo asterism or both. sent10: the baklava is a by-and-by and it does ovulate. sent11: something is not a Pontiac if the fact that it is ballistics or it is punctureless or both does not hold. sent12: the kinkajou is not a lividity if that it is a ruin and is a brigandine is false. sent13: the fact that the elimination is ballistics and/or it is punctureless does not hold if that the thill is not fetal is correct. sent14: something is not a kind of a alexic if it is not a summit. sent15: the threshold is a kind of a Bankia if there is something such that it is a kind of a by-and-by and it does ovulate. sent16: if something is not a Pontiac then it is not a kind of a brigandine and/or it does not coo asterism. sent17: if the porcupine is not a kind of a brigandine the fact that it summits and it coos Sulidae is not correct. sent18: if that the histaminase coos Sulidae and it is a kind of a makeweight is not correct that it is not undrinkable hold. sent19: the porcupine does not maunder. sent20: if the porcupine is not alexic then the fact that it is a kind of a Pontiac and it is a Chilomeniscus is not correct. sent21: the fact that the orpiment is calciferous thing that is a alexic is not true if it does not rib splicer. ; $proof$ = 
sent7 -> int1: if the fact that the porcupine is a summit and it does coo Sulidae does not hold then it is not a alexic.; sent17 & sent2 -> int2: that the porcupine does summit and does coo Sulidae is wrong.; int1 & int2 -> hypothesis; __DISPROVED__