the antimony is not nonfictional.
sent1: the visionary is unmindful. sent2: if the imperial does not scallop intention then the toluene is hot. sent3: the imperial is gastroduodenal if that it is both bracteal and not hot does not hold. sent4: there exists something such that it is nonastringent. sent5: if the imperial is astringent that the junkyard is not unmindful and/or it is not gastroduodenal is wrong. sent6: if there exists something such that the fact that it is not bracteal and does not defray hula-hoop does not hold the toluene defray hula-hoop. sent7: there is something such that it is unmindful. sent8: that the imperial is not non-bracteal and it is hot is not true. sent9: if the toluene does not scallop intention the antimony defrays hula-hoop and it is nonfictional. sent10: the junkyard is nonastringent. sent11: if that the junkyard scallops intention and it is gastroduodenal is not correct it is not gastroduodenal. sent12: the fact that something is nonastringent thing that is unmindful is not true if the fact that it is not gastroduodenal is not wrong. sent13: if there is something such that it is unmindful and it is nonastringent the imperial is not gastroduodenal. sent14: that the hula-hoop is not hot is not wrong. sent15: if there exists something such that it is not hot that the antimony is not bracteal and does not defray hula-hoop is not true. sent16: that the toluene scallops intention and is bracteal is not true. sent17: something defrays hula-hoop and it is nonastringent. sent18: if the fact that the junkyard is not unmindful or it is not gastroduodenal or both is false the morceau is not unmindful. sent19: if the junkyard is not unmindful then the toluene does not scallop intention. sent20: that the imperial is bracteal but it is not hot is not true. sent21: the antimony defrays hula-hoop.
void -> assump1: Let's assume that the junkyard is unmindful.; assump1 & sent10 -> int1: the junkyard is both unmindful and nonastringent.; int1 -> int2: something is unmindful and nonastringent.; int2 & sent13 -> int3: that the imperial is not gastroduodenal is correct.; sent3 & sent20 -> int4: the fact that the imperial is gastroduodenal is not incorrect.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the junkyard is not unmindful.; int6 & sent19 -> int7: the toluene does not scallop intention.; int7 & sent9 -> int8: the antimony defrays hula-hoop and it is nonfictional.; int8 -> hypothesis;
the morceau is not unmindful.
sent14 -> int9: something is not hot.; int9 & sent15 -> int10: that the antimony is not bracteal and does not defray hula-hoop is incorrect.; int10 -> int11: there is something such that that it is non-bracteal thing that does not defray hula-hoop is wrong.; int11 & sent6 -> int12: the toluene does defray hula-hoop.;
$hypothesis$ = the antimony is not nonfictional. ; $context$ = sent1: the visionary is unmindful. sent2: if the imperial does not scallop intention then the toluene is hot. sent3: the imperial is gastroduodenal if that it is both bracteal and not hot does not hold. sent4: there exists something such that it is nonastringent. sent5: if the imperial is astringent that the junkyard is not unmindful and/or it is not gastroduodenal is wrong. sent6: if there exists something such that the fact that it is not bracteal and does not defray hula-hoop does not hold the toluene defray hula-hoop. sent7: there is something such that it is unmindful. sent8: that the imperial is not non-bracteal and it is hot is not true. sent9: if the toluene does not scallop intention the antimony defrays hula-hoop and it is nonfictional. sent10: the junkyard is nonastringent. sent11: if that the junkyard scallops intention and it is gastroduodenal is not correct it is not gastroduodenal. sent12: the fact that something is nonastringent thing that is unmindful is not true if the fact that it is not gastroduodenal is not wrong. sent13: if there is something such that it is unmindful and it is nonastringent the imperial is not gastroduodenal. sent14: that the hula-hoop is not hot is not wrong. sent15: if there exists something such that it is not hot that the antimony is not bracteal and does not defray hula-hoop is not true. sent16: that the toluene scallops intention and is bracteal is not true. sent17: something defrays hula-hoop and it is nonastringent. sent18: if the fact that the junkyard is not unmindful or it is not gastroduodenal or both is false the morceau is not unmindful. sent19: if the junkyard is not unmindful then the toluene does not scallop intention. sent20: that the imperial is bracteal but it is not hot is not true. sent21: the antimony defrays hula-hoop. ; $proof$ = 
void -> assump1: Let's assume that the junkyard is unmindful.; assump1 & sent10 -> int1: the junkyard is both unmindful and nonastringent.; int1 -> int2: something is unmindful and nonastringent.; int2 & sent13 -> int3: that the imperial is not gastroduodenal is correct.; sent3 & sent20 -> int4: the fact that the imperial is gastroduodenal is not incorrect.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the junkyard is not unmindful.; int6 & sent19 -> int7: the toluene does not scallop intention.; int7 & sent9 -> int8: the antimony defrays hula-hoop and it is nonfictional.; int8 -> hypothesis; __DISPROVED__