the bladdernose does not undercut prism and is not a putout.
sent1: the fireboat does not disapprove puritan but it is a arsenical. sent2: something does induce hatchel if it does not grate ticktack and it is a skyline. sent3: the fireboat is not a kind of a putout. sent4: the bladdernose induces half. sent5: something is unprintable if it induces hatchel. sent6: if the fireboat is unprintable it is a abbess. sent7: if the fireboat grates ticktack then it is a kind of a abbess. sent8: that the fireboat is a abbess but it does not undercut prism is wrong. sent9: that the bladdernose does not undercut prism but it does induce half hold. sent10: the fact that the eyeliner is not a putout but a skyline is not correct. sent11: the hatchel is a abbess. sent12: the eyeliner induces throb. sent13: if the fact that the fireboat is a kind of a skyline that is not unprintable is not true then the bladdernose does not induce hatchel. sent14: the fireboat induces half. sent15: the fireboat is not a abbess if it induces half. sent16: the eyeliner is not a abbess. sent17: The half induces fireboat. sent18: the fireboat does not induce hatchel. sent19: the servant induces half. sent20: something is a skyline if it is a abbess. sent21: the bladdernose does grate ticktack. sent22: the eyeliner is a skyline. sent23: that the bladdernose undercuts prism but it does not grate ticktack is not right. sent24: if the bladdernose is not a kind of a abbess then the fireboat is not a abbess but a putout. sent25: if the fireboat does not grate ticktack the eyeliner does not grate ticktack but it is a kind of a skyline. sent26: that the bladdernose does not undercut prism and it is not a putout is not true if the eyeliner is unprintable. sent27: the ancients is a abbess.
void -> assump1: Let's assume that the fireboat grates ticktack.; sent7 & assump1 -> int1: the fireboat is a kind of a abbess.; sent15 & sent14 -> int2: the fireboat is not a abbess.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fireboat does not grate ticktack.; int4 & sent25 -> int5: the eyeliner does not grate ticktack but it is a skyline.; sent2 -> int6: if the eyeliner does not grate ticktack and is a kind of a skyline then it does induce hatchel.; int5 & int6 -> int7: the eyeliner induces hatchel.; sent5 -> int8: if the eyeliner induces hatchel it is unprintable.; int7 & int8 -> int9: the eyeliner is unprintable.; int9 & sent26 -> hypothesis;
the bladdernose does not undercut prism and is not a kind of a putout.
$hypothesis$ = the bladdernose does not undercut prism and is not a putout. ; $context$ = sent1: the fireboat does not disapprove puritan but it is a arsenical. sent2: something does induce hatchel if it does not grate ticktack and it is a skyline. sent3: the fireboat is not a kind of a putout. sent4: the bladdernose induces half. sent5: something is unprintable if it induces hatchel. sent6: if the fireboat is unprintable it is a abbess. sent7: if the fireboat grates ticktack then it is a kind of a abbess. sent8: that the fireboat is a abbess but it does not undercut prism is wrong. sent9: that the bladdernose does not undercut prism but it does induce half hold. sent10: the fact that the eyeliner is not a putout but a skyline is not correct. sent11: the hatchel is a abbess. sent12: the eyeliner induces throb. sent13: if the fact that the fireboat is a kind of a skyline that is not unprintable is not true then the bladdernose does not induce hatchel. sent14: the fireboat induces half. sent15: the fireboat is not a abbess if it induces half. sent16: the eyeliner is not a abbess. sent17: The half induces fireboat. sent18: the fireboat does not induce hatchel. sent19: the servant induces half. sent20: something is a skyline if it is a abbess. sent21: the bladdernose does grate ticktack. sent22: the eyeliner is a skyline. sent23: that the bladdernose undercuts prism but it does not grate ticktack is not right. sent24: if the bladdernose is not a kind of a abbess then the fireboat is not a abbess but a putout. sent25: if the fireboat does not grate ticktack the eyeliner does not grate ticktack but it is a kind of a skyline. sent26: that the bladdernose does not undercut prism and it is not a putout is not true if the eyeliner is unprintable. sent27: the ancients is a abbess. ; $proof$ = 
void -> assump1: Let's assume that the fireboat grates ticktack.; sent7 & assump1 -> int1: the fireboat is a kind of a abbess.; sent15 & sent14 -> int2: the fireboat is not a abbess.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fireboat does not grate ticktack.; int4 & sent25 -> int5: the eyeliner does not grate ticktack but it is a skyline.; sent2 -> int6: if the eyeliner does not grate ticktack and is a kind of a skyline then it does induce hatchel.; int5 & int6 -> int7: the eyeliner induces hatchel.; sent5 -> int8: if the eyeliner induces hatchel it is unprintable.; int7 & int8 -> int9: the eyeliner is unprintable.; int9 & sent26 -> hypothesis; __DISPROVED__