the fact that the footboard is a kind of Cyprian thing that is a Sturnidae does not hold.
sent1: the kickstand does count Solanopteris and it is phocine. sent2: the footboard is not apostrophic. sent3: the footboard is Cyprian if that the tamale is a kind of a juice hold. sent4: if the fact that the fact that the kickstand is heterodyne but it is not apostrophic hold does not hold then the footboard does not heterodyne. sent5: if something does not heterodyne then that it is not phocine and it is not a kind of a juice is false. sent6: if the footboard is not apostrophic then it is a Sturnidae that does not heterodyne. sent7: if something does not count Solanopteris the fact that it is Cyprian and it is a kind of a Sturnidae is not true. sent8: the tamale rolls. sent9: if the fact that the kickstand counts Solanopteris hold the tamale is a juice.
sent1 -> int1: the kickstand counts Solanopteris.; int1 & sent9 -> int2: the tamale is a kind of a juice.; int2 & sent3 -> int3: the footboard is Cyprian.; sent6 & sent2 -> int4: the fact that the footboard is a Sturnidae but it is not heterodyne is not incorrect.; int4 -> int5: the footboard is a Sturnidae.; int3 & int5 -> hypothesis;
that the footboard is Cyprian and is a Sturnidae is not correct.
sent7 -> int6: the fact that the footboard is Cyprian thing that is a Sturnidae does not hold if it does not count Solanopteris.; sent5 -> int7: if the footboard does not heterodyne the fact that it is non-phocine thing that is not a juice does not hold.; sent8 -> int8: there is something such that it rolls.;
$hypothesis$ = the fact that the footboard is a kind of Cyprian thing that is a Sturnidae does not hold. ; $context$ = sent1: the kickstand does count Solanopteris and it is phocine. sent2: the footboard is not apostrophic. sent3: the footboard is Cyprian if that the tamale is a kind of a juice hold. sent4: if the fact that the fact that the kickstand is heterodyne but it is not apostrophic hold does not hold then the footboard does not heterodyne. sent5: if something does not heterodyne then that it is not phocine and it is not a kind of a juice is false. sent6: if the footboard is not apostrophic then it is a Sturnidae that does not heterodyne. sent7: if something does not count Solanopteris the fact that it is Cyprian and it is a kind of a Sturnidae is not true. sent8: the tamale rolls. sent9: if the fact that the kickstand counts Solanopteris hold the tamale is a juice. ; $proof$ = 
sent1 -> int1: the kickstand counts Solanopteris.; int1 & sent9 -> int2: the tamale is a kind of a juice.; int2 & sent3 -> int3: the footboard is Cyprian.; sent6 & sent2 -> int4: the fact that the footboard is a Sturnidae but it is not heterodyne is not incorrect.; int4 -> int5: the footboard is a Sturnidae.; int3 & int5 -> hypothesis; __DISPROVED__