if the jumbojet is a kind of a creel then that the hamster is not unworldly and/or does not outshout sermon does not hold.
sent1: the jumbojet is not a kind of a rigout if the fact that it is a kind of a creel and it outshouts sermon is true. sent2: the jumbojet is a kind of a rigout and is a Manet. sent3: that the hamster does not outshout sermon and/or it is a kind of a Manet does not hold. sent4: the hamster does outshout sermon and is a kind of a creel.
void -> assump2: Let's assume that the jumbojet is a creel.; void -> assump1: Let's assume that the jumbojet does outshout sermon.; assump2 & assump1 -> int1: the jumbojet is a creel and does outshout sermon.; int1 & sent1 -> int2: the jumbojet is not a kind of a rigout.; sent2 -> int3: the jumbojet is a rigout.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the jumbojet does not outshout sermon.;
$hypothesis$ = if the jumbojet is a kind of a creel then that the hamster is not unworldly and/or does not outshout sermon does not hold. ; $context$ = sent1: the jumbojet is not a kind of a rigout if the fact that it is a kind of a creel and it outshouts sermon is true. sent2: the jumbojet is a kind of a rigout and is a Manet. sent3: that the hamster does not outshout sermon and/or it is a kind of a Manet does not hold. sent4: the hamster does outshout sermon and is a kind of a creel. ; $proof$ = 
void -> assump2: Let's assume that the jumbojet is a creel.; void -> assump1: Let's assume that the jumbojet does outshout sermon.; assump2 & assump1 -> int1: the jumbojet is a creel and does outshout sermon.; int1 & sent1 -> int2: the jumbojet is not a kind of a rigout.; sent2 -> int3: the jumbojet is a rigout.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the jumbojet does not outshout sermon.; __UNKNOWN__