that the pointillist is not prolate hold.
sent1: the pointillist does not trouble Major if it is a kind of a patella. sent2: the pointillist is a ijtihad if it is a kind of a Mitchell. sent3: if the fact that the acetylation is not nonsignificant is true then the crotchet is not prolate but it is nonsignificant. sent4: the pointillist is not a SNP. sent5: that the ingrowth is not non-prolate is not false. sent6: something is an irritation if it is nonsignificant. sent7: if something is a patella the fact that it is not a mastoidale and it is an irritation does not hold. sent8: the pointillist is not prolate and it does not trouble Major if the crotchet is not prolate. sent9: the pseudoephedrine is not an irritation. sent10: the pointillist does not trouble Major. sent11: if the acetylation is not a kind of a ijtihad then it is a kind of a patella. sent12: if the crotchet is not nonsignificant then the acetylation is not prolate but nonsignificant. sent13: the pointillist is not an irritation. sent14: if that the acetylation is not nonsignificant is not wrong the fact that the crotchet is nonsignificant is true. sent15: if the acetylation is nonsignificant then it is a kind of an irritation. sent16: the pointillist does not trouble Major if the crotchet is not prolate. sent17: if the pointillist is nonsignificant it does not trouble Major and is prolate. sent18: the crotchet is not a ijtihad. sent19: if something is nonsignificant then it is both not a mastoidale and an irritation. sent20: the acetylation is not a ijtihad. sent21: the acetylation is a kind of an irritation. sent22: the fact that the crotchet is nonsignificant is not wrong. sent23: the fact that the acetylation is not a Iseult is not wrong.
sent19 -> int1: the acetylation is not a mastoidale but it is an irritation if it is nonsignificant.; void -> assump1: Let's assume that the acetylation is nonsignificant.; int1 & assump1 -> int2: the acetylation is not a mastoidale and is an irritation.; sent7 -> int3: if the acetylation is a patella the fact that the fact that it is not a mastoidale and it is an irritation is true does not hold.; sent11 & sent20 -> int4: the acetylation is a kind of a patella.; int3 & int4 -> int5: that the acetylation is not a kind of a mastoidale but it is an irritation is wrong.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the acetylation is not nonsignificant.; int7 & sent3 -> int8: the crotchet is not prolate and is nonsignificant.; int8 -> int9: that the crotchet is not prolate is not wrong.; int9 & sent8 -> int10: the pointillist is a kind of non-prolate thing that does not trouble Major.; int10 -> hypothesis;
the pointillist is prolate.
$hypothesis$ = that the pointillist is not prolate hold. ; $context$ = sent1: the pointillist does not trouble Major if it is a kind of a patella. sent2: the pointillist is a ijtihad if it is a kind of a Mitchell. sent3: if the fact that the acetylation is not nonsignificant is true then the crotchet is not prolate but it is nonsignificant. sent4: the pointillist is not a SNP. sent5: that the ingrowth is not non-prolate is not false. sent6: something is an irritation if it is nonsignificant. sent7: if something is a patella the fact that it is not a mastoidale and it is an irritation does not hold. sent8: the pointillist is not prolate and it does not trouble Major if the crotchet is not prolate. sent9: the pseudoephedrine is not an irritation. sent10: the pointillist does not trouble Major. sent11: if the acetylation is not a kind of a ijtihad then it is a kind of a patella. sent12: if the crotchet is not nonsignificant then the acetylation is not prolate but nonsignificant. sent13: the pointillist is not an irritation. sent14: if that the acetylation is not nonsignificant is not wrong the fact that the crotchet is nonsignificant is true. sent15: if the acetylation is nonsignificant then it is a kind of an irritation. sent16: the pointillist does not trouble Major if the crotchet is not prolate. sent17: if the pointillist is nonsignificant it does not trouble Major and is prolate. sent18: the crotchet is not a ijtihad. sent19: if something is nonsignificant then it is both not a mastoidale and an irritation. sent20: the acetylation is not a ijtihad. sent21: the acetylation is a kind of an irritation. sent22: the fact that the crotchet is nonsignificant is not wrong. sent23: the fact that the acetylation is not a Iseult is not wrong. ; $proof$ = 
sent19 -> int1: the acetylation is not a mastoidale but it is an irritation if it is nonsignificant.; void -> assump1: Let's assume that the acetylation is nonsignificant.; int1 & assump1 -> int2: the acetylation is not a mastoidale and is an irritation.; sent7 -> int3: if the acetylation is a patella the fact that the fact that it is not a mastoidale and it is an irritation is true does not hold.; sent11 & sent20 -> int4: the acetylation is a kind of a patella.; int3 & int4 -> int5: that the acetylation is not a kind of a mastoidale but it is an irritation is wrong.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the acetylation is not nonsignificant.; int7 & sent3 -> int8: the crotchet is not prolate and is nonsignificant.; int8 -> int9: that the crotchet is not prolate is not wrong.; int9 & sent8 -> int10: the pointillist is a kind of non-prolate thing that does not trouble Major.; int10 -> hypothesis; __PROVED__