the fact that the kingcup does herd hold.
sent1: the fact that the kingcup is not a concerto and is atomistic is wrong if the appointment is not a kind of a UNICEF. sent2: if the appointment disabuses floating and is not a kind of a Agropyron then that it is not a kind of a UNICEF is true. sent3: the landau is mild. sent4: if something does corrupt then the appointment does disabuse floating and is not a Agropyron. sent5: if the fact that the landau is not non-mild hold the fact that the inhalation does not corrupt is not true. sent6: that the appointment is not a Agropyron is not incorrect if there are corrupting things. sent7: if the fact that something is not a kind of a concerto and it is not atomistic is not correct then it is not a herd. sent8: the fact that the fact that the kingcup is not a concerto and is not atomistic is not false is not true if the appointment is not a UNICEF.
sent5 & sent3 -> int1: the inhalation does corrupt.; int1 -> int2: there exists something such that it is corrupting.; int2 & sent4 -> int3: the appointment disabuses floating and is not a kind of a Agropyron.; int3 & sent2 -> int4: the appointment is not a UNICEF.; int4 & sent8 -> int5: the fact that the kingcup is not a concerto and is not atomistic is false.; sent7 -> int6: if the fact that the kingcup is both not a concerto and not atomistic is wrong then that it is not a kind of a herd is not wrong.; int5 & int6 -> hypothesis;
$hypothesis$ = the fact that the kingcup does herd hold. ; $context$ = sent1: the fact that the kingcup is not a concerto and is atomistic is wrong if the appointment is not a kind of a UNICEF. sent2: if the appointment disabuses floating and is not a kind of a Agropyron then that it is not a kind of a UNICEF is true. sent3: the landau is mild. sent4: if something does corrupt then the appointment does disabuse floating and is not a Agropyron. sent5: if the fact that the landau is not non-mild hold the fact that the inhalation does not corrupt is not true. sent6: that the appointment is not a Agropyron is not incorrect if there are corrupting things. sent7: if the fact that something is not a kind of a concerto and it is not atomistic is not correct then it is not a herd. sent8: the fact that the fact that the kingcup is not a concerto and is not atomistic is not false is not true if the appointment is not a UNICEF. ; $proof$ = 
sent5 & sent3 -> int1: the inhalation does corrupt.; int1 -> int2: there exists something such that it is corrupting.; int2 & sent4 -> int3: the appointment disabuses floating and is not a kind of a Agropyron.; int3 & sent2 -> int4: the appointment is not a UNICEF.; int4 & sent8 -> int5: the fact that the kingcup is not a concerto and is not atomistic is false.; sent7 -> int6: if the fact that the kingcup is both not a concerto and not atomistic is wrong then that it is not a kind of a herd is not wrong.; int5 & int6 -> hypothesis; __DISPROVED__