the methylene is not Zionist.
sent1: if the fact that the brittle-star is not a Maja and is not air-to-surface is false then the cur is not air-to-surface. sent2: the brittle-star is a Maja if it does not photograph. sent3: something is both a photograph and spherical if it is non-air-to-surface. sent4: if the brittle-star is mortal then it is a kind of a days. sent5: a spherical thing that is air-to-surface is not a photograph. sent6: something is Zionist if it is not spherical. sent7: if the brittle-star is not spherical then the methylene is not a Zionist. sent8: the Aramean is not vitiliginous if that it is both not a days and mortal is wrong. sent9: the fact that the fact that the brittle-star does not pant-hoot and is not vitiliginous does not hold is right if it is a kind of a Maja. sent10: if the fact that the analyst is not a Maja or does not pant-hoot or both is not correct the pallbearer does not photograph. sent11: the brittle-star is mortal. sent12: the brittle-star is air-to-surface. sent13: that the analyst is not a Maja and/or does not pant-hoot is not true if the Aramean is not vitiliginous. sent14: if the brittle-star is spherical or is not air-to-surface or both then that the methylene is not spherical is not incorrect. sent15: if that something does not pant-hoot and is not vitiliginous does not hold then it is not a days.
void -> assump1: Let's assume that the brittle-star is not nonspherical.; assump1 & sent12 -> int1: the brittle-star is spherical and it is air-to-surface.; sent5 -> int2: if the fact that the brittle-star is spherical and is air-to-surface is true then it is not a photograph.; int1 & int2 -> int3: the brittle-star does not photograph.; int3 & sent2 -> int4: the brittle-star is a Maja.; int4 & sent9 -> int5: the fact that the brittle-star does not pant-hoot and it is not vitiliginous is wrong.; sent15 -> int6: if the fact that the brittle-star does not pant-hoot and it is not vitiliginous is wrong then it is not a days.; int5 & int6 -> int7: the fact that the brittle-star is not a days is correct.; sent4 & sent11 -> int8: the brittle-star is a days.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the brittle-star is not spherical.; int10 & sent7 -> hypothesis;
the fact that the cur is a photograph is not incorrect.
sent3 -> int11: the cur photographs and it is spherical if it is non-air-to-surface.;
$hypothesis$ = the methylene is not Zionist. ; $context$ = sent1: if the fact that the brittle-star is not a Maja and is not air-to-surface is false then the cur is not air-to-surface. sent2: the brittle-star is a Maja if it does not photograph. sent3: something is both a photograph and spherical if it is non-air-to-surface. sent4: if the brittle-star is mortal then it is a kind of a days. sent5: a spherical thing that is air-to-surface is not a photograph. sent6: something is Zionist if it is not spherical. sent7: if the brittle-star is not spherical then the methylene is not a Zionist. sent8: the Aramean is not vitiliginous if that it is both not a days and mortal is wrong. sent9: the fact that the fact that the brittle-star does not pant-hoot and is not vitiliginous does not hold is right if it is a kind of a Maja. sent10: if the fact that the analyst is not a Maja or does not pant-hoot or both is not correct the pallbearer does not photograph. sent11: the brittle-star is mortal. sent12: the brittle-star is air-to-surface. sent13: that the analyst is not a Maja and/or does not pant-hoot is not true if the Aramean is not vitiliginous. sent14: if the brittle-star is spherical or is not air-to-surface or both then that the methylene is not spherical is not incorrect. sent15: if that something does not pant-hoot and is not vitiliginous does not hold then it is not a days. ; $proof$ = 
void -> assump1: Let's assume that the brittle-star is not nonspherical.; assump1 & sent12 -> int1: the brittle-star is spherical and it is air-to-surface.; sent5 -> int2: if the fact that the brittle-star is spherical and is air-to-surface is true then it is not a photograph.; int1 & int2 -> int3: the brittle-star does not photograph.; int3 & sent2 -> int4: the brittle-star is a Maja.; int4 & sent9 -> int5: the fact that the brittle-star does not pant-hoot and it is not vitiliginous is wrong.; sent15 -> int6: if the fact that the brittle-star does not pant-hoot and it is not vitiliginous is wrong then it is not a days.; int5 & int6 -> int7: the fact that the brittle-star is not a days is correct.; sent4 & sent11 -> int8: the brittle-star is a days.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the brittle-star is not spherical.; int10 & sent7 -> hypothesis; __PROVED__