the forefront does allude and is an inspiration.
sent1: the stagecoach is a burro. sent2: the stagecoach is a burro if the forefront is expensive. sent3: the stagecoach is not non-leptosporangiate. sent4: the fact that the forefront gazumps is right. sent5: the forefront is a kind of a malformation. sent6: if the forefront gazumps the fact that it is a kind of a burro and is not a SSA is not right. sent7: the fact that the fact that the stagecoach chasses but it does not bask programma is not correct is not wrong. sent8: if the forefront does not allude it is a kind of a burro. sent9: something is an inspiration if it is leptosporangiate. sent10: the forefront is both a burro and not a SSA if it does not allude. sent11: the stagecoach is expensive. sent12: the stout is a burro. sent13: the fact that the stagecoach gazumps and is not a kind of a retinene is not true.
void -> assump1: Let's assume that that the forefront does not allude hold.; sent10 & assump1 -> int1: the forefront is a burro and not a SSA.; sent6 & sent4 -> int2: the fact that the forefront is a kind of a burro and is not a SSA does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the forefront does allude.; sent9 -> int5: if the forefront is leptosporangiate that it is an inspiration is not false.;
$hypothesis$ = the forefront does allude and is an inspiration. ; $context$ = sent1: the stagecoach is a burro. sent2: the stagecoach is a burro if the forefront is expensive. sent3: the stagecoach is not non-leptosporangiate. sent4: the fact that the forefront gazumps is right. sent5: the forefront is a kind of a malformation. sent6: if the forefront gazumps the fact that it is a kind of a burro and is not a SSA is not right. sent7: the fact that the fact that the stagecoach chasses but it does not bask programma is not correct is not wrong. sent8: if the forefront does not allude it is a kind of a burro. sent9: something is an inspiration if it is leptosporangiate. sent10: the forefront is both a burro and not a SSA if it does not allude. sent11: the stagecoach is expensive. sent12: the stout is a burro. sent13: the fact that the stagecoach gazumps and is not a kind of a retinene is not true. ; $proof$ = 
void -> assump1: Let's assume that that the forefront does not allude hold.; sent10 & assump1 -> int1: the forefront is a burro and not a SSA.; sent6 & sent4 -> int2: the fact that the forefront is a kind of a burro and is not a SSA does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the forefront does allude.; sent9 -> int5: if the forefront is leptosporangiate that it is an inspiration is not false.; __UNKNOWN__