the poodle is a kind of a Hilo.
sent1: the choc is a kind of a Hilo if something is both not achondroplastic and an activation. sent2: there exists something such that it is achondroplastic. sent3: that something is a kind of extroversive thing that is not a kind of a moneywort is not true if it is not an activation. sent4: if there is something such that it is not a kind of a trick and it is not non-achondroplastic then the fact that the corbel is a kind of a moneywort is right. sent5: something is extroversive if that it is an activation is correct. sent6: the Beguine is a radiomicrometer. sent7: the poodle is ropy and it is achondroplastic. sent8: if the fact that something is extroversive but it is not a moneywort is false then it is a Hilo. sent9: if the pragmatist is partisan then the corbel is both not a gluten and not Ecuadorian. sent10: the poodle is a kind of an activation. sent11: the choc is not a trick but it is achondroplastic. sent12: if there exists something such that that it trundles pragmatist and is a nonpartisan is wrong the pragmatist is not a kind of a nonpartisan. sent13: if the pragmatist is a kind of an activation then the corbel is an activation. sent14: the choc is achondroplastic. sent15: something is both a trick and achondroplastic. sent16: something is not a trick. sent17: the pragmatist is an activation. sent18: if the Beguine is not Shuha the fact that it trundles pragmatist and is nonpartisan is not right. sent19: the poodle is not a Hilo if the corbel is a kind of a moneywort and it is extroversive. sent20: if something is a radiomicrometer it is not Shuha.
sent11 -> int1: there is something such that it is not a trick but achondroplastic.; int1 & sent4 -> int2: the fact that the corbel is a moneywort is not wrong.; sent5 -> int3: if the corbel is an activation it is extroversive.; sent13 & sent17 -> int4: the corbel is an activation.; int3 & int4 -> int5: the corbel is extroversive.; int2 & int5 -> int6: the corbel is a moneywort that is extroversive.; int6 & sent19 -> hypothesis;
the poodle is a Hilo.
sent8 -> int7: the poodle is a kind of a Hilo if the fact that it is extroversive and it is not a kind of a moneywort is not true.; sent3 -> int8: that the poodle is extroversive and is not a moneywort is wrong if it is not an activation.; sent20 -> int9: the Beguine is not Shuha if it is a radiomicrometer.; int9 & sent6 -> int10: that the Beguine is not Shuha is not wrong.; sent18 & int10 -> int11: the fact that the Beguine trundles pragmatist and is nonpartisan is not correct.; int11 -> int12: there is something such that the fact that it trundles pragmatist and is a kind of a nonpartisan does not hold.; int12 & sent12 -> int13: the pragmatist is not nonpartisan.; sent9 & int13 -> int14: the corbel is not a gluten and it is not Ecuadorian.; int14 -> int15: there exists something such that it is not a kind of a gluten and it is not Ecuadorian.;
$hypothesis$ = the poodle is a kind of a Hilo. ; $context$ = sent1: the choc is a kind of a Hilo if something is both not achondroplastic and an activation. sent2: there exists something such that it is achondroplastic. sent3: that something is a kind of extroversive thing that is not a kind of a moneywort is not true if it is not an activation. sent4: if there is something such that it is not a kind of a trick and it is not non-achondroplastic then the fact that the corbel is a kind of a moneywort is right. sent5: something is extroversive if that it is an activation is correct. sent6: the Beguine is a radiomicrometer. sent7: the poodle is ropy and it is achondroplastic. sent8: if the fact that something is extroversive but it is not a moneywort is false then it is a Hilo. sent9: if the pragmatist is partisan then the corbel is both not a gluten and not Ecuadorian. sent10: the poodle is a kind of an activation. sent11: the choc is not a trick but it is achondroplastic. sent12: if there exists something such that that it trundles pragmatist and is a nonpartisan is wrong the pragmatist is not a kind of a nonpartisan. sent13: if the pragmatist is a kind of an activation then the corbel is an activation. sent14: the choc is achondroplastic. sent15: something is both a trick and achondroplastic. sent16: something is not a trick. sent17: the pragmatist is an activation. sent18: if the Beguine is not Shuha the fact that it trundles pragmatist and is nonpartisan is not right. sent19: the poodle is not a Hilo if the corbel is a kind of a moneywort and it is extroversive. sent20: if something is a radiomicrometer it is not Shuha. ; $proof$ = 
sent11 -> int1: there is something such that it is not a trick but achondroplastic.; int1 & sent4 -> int2: the fact that the corbel is a moneywort is not wrong.; sent5 -> int3: if the corbel is an activation it is extroversive.; sent13 & sent17 -> int4: the corbel is an activation.; int3 & int4 -> int5: the corbel is extroversive.; int2 & int5 -> int6: the corbel is a moneywort that is extroversive.; int6 & sent19 -> hypothesis; __DISPROVED__