the XXY is a ianfu.
sent1: the XXY is not a ianfu if there exists something such that that either it is not a heroic or it is lower-class or both does not hold. sent2: something is both not abiogenetic and not non-heroic if it is lower-class. sent3: that the flooring is not lower-class hold. sent4: there is something such that it is a crocus. sent5: if that the flooring is not a tail and is not a prod does not hold then the XXY is a prod. sent6: if something is not abiogenetic it is not a heroic. sent7: if that the XXY does not avoid conduit and zones hyalinization is false then it does overboil. sent8: there is something such that that the fact that either it is salty or it is a Lilliput or both is not incorrect is false. sent9: that something does not antisepticize XXY but it is a farmhouse is not correct if it overboils. sent10: if the fact that something does not antisepticize orpiment and/or is not casuistic is not true it is not a drawler. sent11: that the flooring does not antisepticize orpiment and/or it is not casuistic is not correct if it is protestant. sent12: that something is not a kind of a tail and does not prod does not hold if it is not a drawler. sent13: if something is not abiogenetic but it is a heroic then it is a ianfu. sent14: the fact that the XXY does not avoid conduit and zones hyalinization does not hold. sent15: if something that is not a heartsease does prod it is lower-class. sent16: the fact that if there is something such that that it is abiogenetic is correct then that the fact that the flooring is not a heroic and/or is not non-lower-class is right is wrong hold. sent17: the Chuvash is non-abiogenetic if the fact that the flooring is non-abiogenetic but it is not lower-class is correct. sent18: the fact that something is not a kind of a heartsease if the fact that it does not antisepticize XXY and is a farmhouse is not right is correct. sent19: something is abiogenetic.
sent19 & sent16 -> int1: the fact that the flooring is not heroic or it is lower-class or both is incorrect.; int1 -> int2: there is something such that that either it is not a heroic or it is lower-class or both is not true.; int2 & sent1 -> hypothesis;
the fact that the XXY is a ianfu is right.
sent13 -> int3: the fact that the XXY is a ianfu is not wrong if it is not abiogenetic and it is heroic.; sent2 -> int4: the XXY is not abiogenetic but it is heroic if it is not non-lower-class.; sent15 -> int5: if the XXY is not a heartsease but a prod it is lower-class.; sent18 -> int6: if the fact that that the XXY does not antisepticize XXY but it is a kind of a farmhouse does not hold is not wrong it is not a heartsease.; sent9 -> int7: the fact that the XXY does not antisepticize XXY but it is a kind of a farmhouse does not hold if the fact that it overboils is not false.; sent7 & sent14 -> int8: the XXY overboils.; int7 & int8 -> int9: the fact that the XXY does not antisepticize XXY but it is a farmhouse is not true.; int6 & int9 -> int10: the XXY is not a kind of a heartsease.; sent12 -> int11: if the flooring is not a drawler then the fact that it is not a tail and not a prod is not correct.; sent10 -> int12: the flooring is not a drawler if the fact that it does not antisepticize orpiment and/or it is not casuistic does not hold.;
$hypothesis$ = the XXY is a ianfu. ; $context$ = sent1: the XXY is not a ianfu if there exists something such that that either it is not a heroic or it is lower-class or both does not hold. sent2: something is both not abiogenetic and not non-heroic if it is lower-class. sent3: that the flooring is not lower-class hold. sent4: there is something such that it is a crocus. sent5: if that the flooring is not a tail and is not a prod does not hold then the XXY is a prod. sent6: if something is not abiogenetic it is not a heroic. sent7: if that the XXY does not avoid conduit and zones hyalinization is false then it does overboil. sent8: there is something such that that the fact that either it is salty or it is a Lilliput or both is not incorrect is false. sent9: that something does not antisepticize XXY but it is a farmhouse is not correct if it overboils. sent10: if the fact that something does not antisepticize orpiment and/or is not casuistic is not true it is not a drawler. sent11: that the flooring does not antisepticize orpiment and/or it is not casuistic is not correct if it is protestant. sent12: that something is not a kind of a tail and does not prod does not hold if it is not a drawler. sent13: if something is not abiogenetic but it is a heroic then it is a ianfu. sent14: the fact that the XXY does not avoid conduit and zones hyalinization does not hold. sent15: if something that is not a heartsease does prod it is lower-class. sent16: the fact that if there is something such that that it is abiogenetic is correct then that the fact that the flooring is not a heroic and/or is not non-lower-class is right is wrong hold. sent17: the Chuvash is non-abiogenetic if the fact that the flooring is non-abiogenetic but it is not lower-class is correct. sent18: the fact that something is not a kind of a heartsease if the fact that it does not antisepticize XXY and is a farmhouse is not right is correct. sent19: something is abiogenetic. ; $proof$ = 
sent19 & sent16 -> int1: the fact that the flooring is not heroic or it is lower-class or both is incorrect.; int1 -> int2: there is something such that that either it is not a heroic or it is lower-class or both is not true.; int2 & sent1 -> hypothesis; __DISPROVED__