the fact that the fact that the flagellant is not a prism but it is a fossil does not hold hold.
sent1: the fact that the starlight is both not a Ruskin and a antidiarrheal is not true. sent2: the flagellant is a antidiarrheal if the starlight is a kind of a sub-test. sent3: if something that is a kind of a creature is a prism it is not Puranic. sent4: the flagellant is a kind of a creature if the starlight is a kind of a overspill. sent5: the fact that the flagellant is not philosophic hold. sent6: if the fact that the houseplant is a sub-test but it is not polyphonic is false it is not a sub-test. sent7: if something that is a overspill is polyphonic it is not a Ruskin. sent8: if something is non-Puranic thing that is not a kind of a overspill it is not a creature. sent9: the flagellant is not a sub-test or it is a myelomeningocele or both if it is not Puranic. sent10: that something is not a prism and is fossil is incorrect if the fact that it is not a kind of a creature hold. sent11: the fact that the flagellant is not a sub-test and/or it is a myelomeningocele is false if it is not philosophic. sent12: if something is not a overspill then the fact that it is a prism and it is not a creature does not hold. sent13: the fact that the houseplant is a kind of a sub-test but it is not polyphonic does not hold. sent14: if the flagellant is polyphonic then it is a fossil. sent15: the starlight is a overspill if that it is both not a Ruskin and a antidiarrheal is incorrect. sent16: the flagellant is not non-polyphonic.
sent15 & sent1 -> int1: the starlight is a kind of a overspill.; int1 & sent4 -> int2: the fact that the flagellant is a kind of a creature is true.; void -> assump1: Let's assume that the flagellant is a prism.; int2 & assump1 -> int3: the flagellant is a creature and a prism.; sent3 -> int4: if the flagellant is a kind of a creature and it is a prism then it is non-Puranic.; int3 & int4 -> int5: the flagellant is not Puranic.; int5 & sent9 -> int6: the flagellant is not a sub-test and/or is a myelomeningocele.; sent11 & sent5 -> int7: the fact that the flagellant is not a sub-test and/or it is a myelomeningocele is false.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the flagellant is not a prism.; sent14 & sent16 -> int10: the flagellant is fossil.; int9 & int10 -> hypothesis;
the Humvee is not a prism.
sent12 -> int11: the fact that the starlight is a prism and not a creature is incorrect if it is not a overspill.;
$hypothesis$ = the fact that the fact that the flagellant is not a prism but it is a fossil does not hold hold. ; $context$ = sent1: the fact that the starlight is both not a Ruskin and a antidiarrheal is not true. sent2: the flagellant is a antidiarrheal if the starlight is a kind of a sub-test. sent3: if something that is a kind of a creature is a prism it is not Puranic. sent4: the flagellant is a kind of a creature if the starlight is a kind of a overspill. sent5: the fact that the flagellant is not philosophic hold. sent6: if the fact that the houseplant is a sub-test but it is not polyphonic is false it is not a sub-test. sent7: if something that is a overspill is polyphonic it is not a Ruskin. sent8: if something is non-Puranic thing that is not a kind of a overspill it is not a creature. sent9: the flagellant is not a sub-test or it is a myelomeningocele or both if it is not Puranic. sent10: that something is not a prism and is fossil is incorrect if the fact that it is not a kind of a creature hold. sent11: the fact that the flagellant is not a sub-test and/or it is a myelomeningocele is false if it is not philosophic. sent12: if something is not a overspill then the fact that it is a prism and it is not a creature does not hold. sent13: the fact that the houseplant is a kind of a sub-test but it is not polyphonic does not hold. sent14: if the flagellant is polyphonic then it is a fossil. sent15: the starlight is a overspill if that it is both not a Ruskin and a antidiarrheal is incorrect. sent16: the flagellant is not non-polyphonic. ; $proof$ = 
sent15 & sent1 -> int1: the starlight is a kind of a overspill.; int1 & sent4 -> int2: the fact that the flagellant is a kind of a creature is true.; void -> assump1: Let's assume that the flagellant is a prism.; int2 & assump1 -> int3: the flagellant is a creature and a prism.; sent3 -> int4: if the flagellant is a kind of a creature and it is a prism then it is non-Puranic.; int3 & int4 -> int5: the flagellant is not Puranic.; int5 & sent9 -> int6: the flagellant is not a sub-test and/or is a myelomeningocele.; sent11 & sent5 -> int7: the fact that the flagellant is not a sub-test and/or it is a myelomeningocele is false.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the flagellant is not a prism.; sent14 & sent16 -> int10: the flagellant is fossil.; int9 & int10 -> hypothesis; __DISPROVED__