the Amazon is congenial.
sent1: the hypsometer is not a Carboniferous if the fact that it is a kind of a Scardinius and is a kind of a Carboniferous is incorrect. sent2: if the cuckoo-bumblebee is a ethicism the T-bar is a kind of a Isuridae but it is not thalloid. sent3: something is congenial if it is not a Carboniferous and is not noxious. sent4: the boxfish is not a Isuridae. sent5: the hexane is a ethicism. sent6: there exists something such that it is not a Isuridae. sent7: the antiquark is congenial. sent8: the Amazon is a kind of a Cerberus. sent9: the Amazon is not noxious if that it is both a Isuridae and noxious is not correct. sent10: the Amazon is hatless. sent11: the hypsometer is a kind of a Scardinius if the Amazon is a Carboniferous. sent12: the hypsometer is congenial. sent13: if the hypsometer is both not a Carboniferous and a Scardinius then the Amazon is not congenial. sent14: that the Amazon is a Isuridae and it is noxious is not correct if something is not noxious. sent15: the Amazon is both not back-channel and not apocrine. sent16: the hexane is congenial if the T-bar is a Isuridae. sent17: if something is a ethicism it is not a Isuridae and it is not thalloid. sent18: if something is not noxious and it is not a Isuridae it is congenial. sent19: something is not noxious. sent20: the Amazon is not a garishness and not a udder. sent21: something is not a Scardinius. sent22: if the hexane is congenial that the hypsometer is congenial is right. sent23: the Identikit is not a kind of a Scardinius.
void -> assump1: Let's assume that the Amazon is a kind of a Carboniferous.; sent11 & assump1 -> int1: the hypsometer is a kind of a Scardinius.; sent19 & sent14 -> int2: that the Amazon is a Isuridae and it is noxious is not right.; sent9 & int2 -> int3: the fact that the Amazon is not noxious is correct.; sent3 -> int4: if the Amazon is not a Carboniferous and it is not noxious then it is congenial.;
the Amazon is not congenial.
sent17 -> int5: the hexane is not a Isuridae and is not thalloid if it is a ethicism.; int5 & sent5 -> int6: the hexane is both not a Isuridae and not thalloid.; int6 -> int7: the hexane is not a Isuridae.; int7 -> int8: the fact that there is something such that it is not a kind of a Isuridae hold.;
$hypothesis$ = the Amazon is congenial. ; $context$ = sent1: the hypsometer is not a Carboniferous if the fact that it is a kind of a Scardinius and is a kind of a Carboniferous is incorrect. sent2: if the cuckoo-bumblebee is a ethicism the T-bar is a kind of a Isuridae but it is not thalloid. sent3: something is congenial if it is not a Carboniferous and is not noxious. sent4: the boxfish is not a Isuridae. sent5: the hexane is a ethicism. sent6: there exists something such that it is not a Isuridae. sent7: the antiquark is congenial. sent8: the Amazon is a kind of a Cerberus. sent9: the Amazon is not noxious if that it is both a Isuridae and noxious is not correct. sent10: the Amazon is hatless. sent11: the hypsometer is a kind of a Scardinius if the Amazon is a Carboniferous. sent12: the hypsometer is congenial. sent13: if the hypsometer is both not a Carboniferous and a Scardinius then the Amazon is not congenial. sent14: that the Amazon is a Isuridae and it is noxious is not correct if something is not noxious. sent15: the Amazon is both not back-channel and not apocrine. sent16: the hexane is congenial if the T-bar is a Isuridae. sent17: if something is a ethicism it is not a Isuridae and it is not thalloid. sent18: if something is not noxious and it is not a Isuridae it is congenial. sent19: something is not noxious. sent20: the Amazon is not a garishness and not a udder. sent21: something is not a Scardinius. sent22: if the hexane is congenial that the hypsometer is congenial is right. sent23: the Identikit is not a kind of a Scardinius. ; $proof$ = 
void -> assump1: Let's assume that the Amazon is a kind of a Carboniferous.; sent11 & assump1 -> int1: the hypsometer is a kind of a Scardinius.; sent19 & sent14 -> int2: that the Amazon is a Isuridae and it is noxious is not right.; sent9 & int2 -> int3: the fact that the Amazon is not noxious is correct.; sent3 -> int4: if the Amazon is not a Carboniferous and it is not noxious then it is congenial.; __UNKNOWN__