the soldierfish is a Prociphilus.
sent1: the soldierfish is not a lower if the trident is not a kind of a squire. sent2: the lough is a Fijian and it is a kind of an essayist if the trident is not a lower. sent3: if the trident squires it is a Fijian. sent4: if something is both not a in-joke and a malt it is not a lower. sent5: if the trident is a Burundi the soldierfish does not squire and/or is Fijian. sent6: the fact that the accuser is a kind of a lower hold. sent7: if something either is geometric or is not a Grace or both it is not geometric. sent8: the accuser is a Grace and it thrusts nonattendance. sent9: that the trident is an essayist hold if it is not a Burundi. sent10: if that the accuser is a kind of a Grace is not false then the fact that it is not a kind of a Burundi and it is not a in-joke is not correct. sent11: if something is a kind of a Burundi then it is not a kind of a squire and it is auxetic. sent12: if the accuser is not a lower the trident is both an essayist and Burundi. sent13: if something is geometric then it is not a in-joke and it is a malt. sent14: the Pomo thrusts Melopsittacus and it heals cracker. sent15: if the soldierfish is not non-geometric then the fact that it is not a kind of a Prociphilus and it is not a malt is not correct. sent16: if there is something such that that it does lower and it is not a kind of an essayist is incorrect then the trident is not a Burundi. sent17: the lough is a Burundi if there exists something such that that it is Burundi and it is not a in-joke is wrong. sent18: if the soldierfish is not a lower it is not a kind of a malt. sent19: the accuser is a kind of an essayist. sent20: something is geometric and/or it is not a kind of a Grace if it does not thrust nonattendance. sent21: the trident is not a lower if there exists something such that that it is both not a Prociphilus and not a malt is false. sent22: the accuser is not a kind of an essayist if the trident is a Fijian and/or it is a Burundi. sent23: something is not a Prociphilus if it does not squire or is Fijian or both. sent24: the accuser does not thrust nonattendance if the process-server is not an oxford and does not smooch.
void -> assump1: Let's assume that the trident does squire.; sent3 & assump1 -> int1: the trident is not non-Fijian.; int1 -> int2: the trident is a Fijian or it is a Burundi or both.; int2 & sent22 -> int3: the accuser is not an essayist.; int3 & sent19 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the trident is not a squire is not wrong.; int5 & sent1 -> int6: the soldierfish does not lower.; int6 & sent18 -> int7: the soldierfish is not a malt.;
the soldierfish is not a Prociphilus.
sent23 -> int8: the soldierfish is not a Prociphilus if it is not a squire or Fijian or both.; sent4 -> int9: the accuser is not a lower if it is not a in-joke and does malt.; sent13 -> int10: the accuser is not a in-joke and does malt if it is geometric.; sent7 -> int11: if the accuser is geometric or it is not a kind of a Grace or both then it is geometric.; sent20 -> int12: either the accuser is geometric or it is not a Grace or both if it does not thrust nonattendance.;
$hypothesis$ = the soldierfish is a Prociphilus. ; $context$ = sent1: the soldierfish is not a lower if the trident is not a kind of a squire. sent2: the lough is a Fijian and it is a kind of an essayist if the trident is not a lower. sent3: if the trident squires it is a Fijian. sent4: if something is both not a in-joke and a malt it is not a lower. sent5: if the trident is a Burundi the soldierfish does not squire and/or is Fijian. sent6: the fact that the accuser is a kind of a lower hold. sent7: if something either is geometric or is not a Grace or both it is not geometric. sent8: the accuser is a Grace and it thrusts nonattendance. sent9: that the trident is an essayist hold if it is not a Burundi. sent10: if that the accuser is a kind of a Grace is not false then the fact that it is not a kind of a Burundi and it is not a in-joke is not correct. sent11: if something is a kind of a Burundi then it is not a kind of a squire and it is auxetic. sent12: if the accuser is not a lower the trident is both an essayist and Burundi. sent13: if something is geometric then it is not a in-joke and it is a malt. sent14: the Pomo thrusts Melopsittacus and it heals cracker. sent15: if the soldierfish is not non-geometric then the fact that it is not a kind of a Prociphilus and it is not a malt is not correct. sent16: if there is something such that that it does lower and it is not a kind of an essayist is incorrect then the trident is not a Burundi. sent17: the lough is a Burundi if there exists something such that that it is Burundi and it is not a in-joke is wrong. sent18: if the soldierfish is not a lower it is not a kind of a malt. sent19: the accuser is a kind of an essayist. sent20: something is geometric and/or it is not a kind of a Grace if it does not thrust nonattendance. sent21: the trident is not a lower if there exists something such that that it is both not a Prociphilus and not a malt is false. sent22: the accuser is not a kind of an essayist if the trident is a Fijian and/or it is a Burundi. sent23: something is not a Prociphilus if it does not squire or is Fijian or both. sent24: the accuser does not thrust nonattendance if the process-server is not an oxford and does not smooch. ; $proof$ = 
void -> assump1: Let's assume that the trident does squire.; sent3 & assump1 -> int1: the trident is not non-Fijian.; int1 -> int2: the trident is a Fijian or it is a Burundi or both.; int2 & sent22 -> int3: the accuser is not an essayist.; int3 & sent19 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the trident is not a squire is not wrong.; int5 & sent1 -> int6: the soldierfish does not lower.; int6 & sent18 -> int7: the soldierfish is not a malt.; __UNKNOWN__