the cairngorm is approachable if the semi-climber is aeromedical.
sent1: that the mouflon is unapproachable thing that is aeromedical is not right if the semi-climber is intercellular. sent2: something is not adenocarcinomatous if it is a hands. sent3: if the fact that the comber is an invertebrate is not wrong then the cairngorm is approachable. sent4: if the fact that something does malinger and it is ampullar is not correct then it is not a commune. sent5: if something is not calcifugous then the fact that it is intercellular is right. sent6: the semi-climber is not calcifugous if the fact that the comber is not a kind of a fester and it is not a Hynerpeton is not true. sent7: the cairngorm is not vertebrate if the comber is approachable. sent8: the cairngorm is an invertebrate. sent9: if there is something such that it is not adenocarcinomatous then the fact that the cairngorm malingers and it is ampullar is wrong. sent10: if the fact that something is a kind of unapproachable thing that is aeromedical does not hold it is invertebrate. sent11: if the semi-climber is aeromedical the comber is an invertebrate. sent12: the contaminant is both a hands and not stomatous. sent13: if the cairngorm does not commune that the comber is not a fester and it is not a Hynerpeton is not right.
void -> assump1: Let's assume that that the semi-climber is aeromedical is true.; sent11 & assump1 -> int1: the comber is an invertebrate.; sent3 & int1 -> int2: the cairngorm is approachable.; [assump1] & int2 -> hypothesis;
the mouflon is an invertebrate.
sent10 -> int3: the mouflon is an invertebrate if the fact that it is not approachable and is aeromedical is wrong.; sent5 -> int4: if the semi-climber is not calcifugous it is intercellular.; sent4 -> int5: if the fact that the cairngorm malingers and is ampullar is false it is not a commune.; sent2 -> int6: the contaminant is not adenocarcinomatous if it is a hands.; sent12 -> int7: the contaminant does hand.; int6 & int7 -> int8: the contaminant is not adenocarcinomatous.; int8 -> int9: there is something such that it is not adenocarcinomatous.; int9 & sent9 -> int10: the fact that the cairngorm does malinger and it is ampullar is not right.; int5 & int10 -> int11: the cairngorm does not commune.; sent13 & int11 -> int12: the fact that that the comber is both not a fester and not a Hynerpeton is not right hold.; sent6 & int12 -> int13: that the semi-climber is not calcifugous is not false.; int4 & int13 -> int14: the semi-climber is intercellular.; sent1 & int14 -> int15: the fact that the mouflon is both not approachable and aeromedical is not true.; int3 & int15 -> hypothesis;
$hypothesis$ = the cairngorm is approachable if the semi-climber is aeromedical. ; $context$ = sent1: that the mouflon is unapproachable thing that is aeromedical is not right if the semi-climber is intercellular. sent2: something is not adenocarcinomatous if it is a hands. sent3: if the fact that the comber is an invertebrate is not wrong then the cairngorm is approachable. sent4: if the fact that something does malinger and it is ampullar is not correct then it is not a commune. sent5: if something is not calcifugous then the fact that it is intercellular is right. sent6: the semi-climber is not calcifugous if the fact that the comber is not a kind of a fester and it is not a Hynerpeton is not true. sent7: the cairngorm is not vertebrate if the comber is approachable. sent8: the cairngorm is an invertebrate. sent9: if there is something such that it is not adenocarcinomatous then the fact that the cairngorm malingers and it is ampullar is wrong. sent10: if the fact that something is a kind of unapproachable thing that is aeromedical does not hold it is invertebrate. sent11: if the semi-climber is aeromedical the comber is an invertebrate. sent12: the contaminant is both a hands and not stomatous. sent13: if the cairngorm does not commune that the comber is not a fester and it is not a Hynerpeton is not right. ; $proof$ = 
void -> assump1: Let's assume that that the semi-climber is aeromedical is true.; sent11 & assump1 -> int1: the comber is an invertebrate.; sent3 & int1 -> int2: the cairngorm is approachable.; [assump1] & int2 -> hypothesis; __PROVED__