the paramagnet is a Alexandrian.
sent1: that the paramagnet is a choked is not incorrect if the nurser is a ironman. sent2: the paramagnet is a kind of a ironman if the air-intake is a kind of a ironman. sent3: if something chokes then it is a Alexandrian. sent4: if something is a kind of a ironman then it is a missionary. sent5: the spelter is directed and is not tonic if it is a plane. sent6: that the gantry is not gnomic is not incorrect. sent7: if the spelter is non-bacillar then the gantry is not a missionary. sent8: if the gantry is bacillar the spelter is not a kind of a missionary. sent9: the air-intake is not gnomic. sent10: the spelter is a ironman. sent11: that the peacock-throne is missionary hold. sent12: if the air-intake is not a kind of a fruit the nurser is a kind of a ironman. sent13: the spelter is a kind of a missionary. sent14: something that is not non-missionary is a fruit. sent15: that something is not a fruit but it is bacillar is not right if it is missionary. sent16: something is not gnomic if the fact that it is gnomic and does not consternate Corokia is not right. sent17: the gantry is inefficacious if it is not gnomic. sent18: the gantry is inefficacious. sent19: if the fact that the spelter directs is correct then that the air-intake is gnomic but it does not consternate Corokia does not hold. sent20: the fact that the paramagnet is not a kind of a fruit and is bacillar is incorrect if it is non-missionary. sent21: the gantry is a choked. sent22: if the gantry is not gnomic then it is inefficacious and it is a missionary. sent23: the fact that the spelter is not bacillar is not wrong if the air-intake fruits. sent24: the paramagnet is not a kind of a Alexandrian if the spelter is not a choked. sent25: the paramagnet is a kind of a Alexandrian and it is a missionary if that it is not a fruit hold. sent26: something is a ironman if it is not inefficacious and chokes.
void -> assump1: Let's assume that the air-intake fruits.; sent23 & assump1 -> int1: the spelter is not bacillar.; int1 & sent7 -> int2: the gantry is not a missionary.; sent22 & sent6 -> int3: the gantry is inefficacious and is not non-missionary.; int3 -> int4: the gantry is a missionary.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the air-intake is not a fruit.; int6 & sent12 -> int7: the nurser is a ironman.; int7 & sent1 -> int8: the paramagnet is a kind of a choked.; sent3 -> int9: the paramagnet is a kind of a Alexandrian if it chokes.; int8 & int9 -> hypothesis;
the paramagnet is not Alexandrian.
$hypothesis$ = the paramagnet is a Alexandrian. ; $context$ = sent1: that the paramagnet is a choked is not incorrect if the nurser is a ironman. sent2: the paramagnet is a kind of a ironman if the air-intake is a kind of a ironman. sent3: if something chokes then it is a Alexandrian. sent4: if something is a kind of a ironman then it is a missionary. sent5: the spelter is directed and is not tonic if it is a plane. sent6: that the gantry is not gnomic is not incorrect. sent7: if the spelter is non-bacillar then the gantry is not a missionary. sent8: if the gantry is bacillar the spelter is not a kind of a missionary. sent9: the air-intake is not gnomic. sent10: the spelter is a ironman. sent11: that the peacock-throne is missionary hold. sent12: if the air-intake is not a kind of a fruit the nurser is a kind of a ironman. sent13: the spelter is a kind of a missionary. sent14: something that is not non-missionary is a fruit. sent15: that something is not a fruit but it is bacillar is not right if it is missionary. sent16: something is not gnomic if the fact that it is gnomic and does not consternate Corokia is not right. sent17: the gantry is inefficacious if it is not gnomic. sent18: the gantry is inefficacious. sent19: if the fact that the spelter directs is correct then that the air-intake is gnomic but it does not consternate Corokia does not hold. sent20: the fact that the paramagnet is not a kind of a fruit and is bacillar is incorrect if it is non-missionary. sent21: the gantry is a choked. sent22: if the gantry is not gnomic then it is inefficacious and it is a missionary. sent23: the fact that the spelter is not bacillar is not wrong if the air-intake fruits. sent24: the paramagnet is not a kind of a Alexandrian if the spelter is not a choked. sent25: the paramagnet is a kind of a Alexandrian and it is a missionary if that it is not a fruit hold. sent26: something is a ironman if it is not inefficacious and chokes. ; $proof$ = 
void -> assump1: Let's assume that the air-intake fruits.; sent23 & assump1 -> int1: the spelter is not bacillar.; int1 & sent7 -> int2: the gantry is not a missionary.; sent22 & sent6 -> int3: the gantry is inefficacious and is not non-missionary.; int3 -> int4: the gantry is a missionary.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the air-intake is not a fruit.; int6 & sent12 -> int7: the nurser is a ironman.; int7 & sent1 -> int8: the paramagnet is a kind of a choked.; sent3 -> int9: the paramagnet is a kind of a Alexandrian if it chokes.; int8 & int9 -> hypothesis; __PROVED__