that the cravat is a raven is right if the cephalexin is a kind of a voicemail.
sent1: if the fact that something is a soliton but it does not soothe is false it is a raven. sent2: everything is a voicemail. sent3: something is a soliton if it encapsulates cephalexin. sent4: if something is not a soliton then it is a raven. sent5: the cephalexin does encapsulate cephalexin. sent6: something is not a kind of a pentahedron if it is a knit and a voicemail. sent7: something ravens if it encapsulates cephalexin. sent8: the cephalexin does encapsulate cephalexin and it is a knit. sent9: the cravat does raven if it is not a soliton.
sent8 -> int1: the cephalexin is a kind of a knit.; void -> assump1: Let's assume that the cephalexin is a voicemail.; int1 & assump1 -> int2: the cephalexin knits and is a voicemail.; sent6 -> int3: if the cephalexin is a kind of a knit that is a voicemail it is not a pentahedron.; int2 & int3 -> int4: the cephalexin is not a pentahedron.; sent1 -> int5: the cravat ravens if that it is a soliton and it does not soothe does not hold.;
the protohippus is a raven.
sent7 -> int6: if the fact that the protohippus encapsulates cephalexin is not wrong then it does raven.; sent2 -> int7: the cravat is a voicemail.;
$hypothesis$ = that the cravat is a raven is right if the cephalexin is a kind of a voicemail. ; $context$ = sent1: if the fact that something is a soliton but it does not soothe is false it is a raven. sent2: everything is a voicemail. sent3: something is a soliton if it encapsulates cephalexin. sent4: if something is not a soliton then it is a raven. sent5: the cephalexin does encapsulate cephalexin. sent6: something is not a kind of a pentahedron if it is a knit and a voicemail. sent7: something ravens if it encapsulates cephalexin. sent8: the cephalexin does encapsulate cephalexin and it is a knit. sent9: the cravat does raven if it is not a soliton. ; $proof$ = 
sent8 -> int1: the cephalexin is a kind of a knit.; void -> assump1: Let's assume that the cephalexin is a voicemail.; int1 & assump1 -> int2: the cephalexin knits and is a voicemail.; sent6 -> int3: if the cephalexin is a kind of a knit that is a voicemail it is not a pentahedron.; int2 & int3 -> int4: the cephalexin is not a pentahedron.; sent1 -> int5: the cravat ravens if that it is a soliton and it does not soothe does not hold.; __UNKNOWN__