the counterdemonstrator is not a Austria and it does not fret vinblastine if the gravity-assist does fret orris.
sent1: the gravity-assist is a kind of a material and does canton if that it does not rede Hassel hold. sent2: if a material is a canton that it is uncharitable hold. sent3: the gravity-assist does not rede Hassel. sent4: the counterdemonstrator is not a Austria and it does not fret vinblastine if the gravity-assist does not fret vinblastine. sent5: something is not a Austria and not a pacesetter if it does not fret orris. sent6: The Hassel does not rede gravity-assist.
sent2 -> int1: if the gravity-assist is a material and cantons then it is not charitable.; sent1 & sent3 -> int2: the gravity-assist is a material and it is a canton.; int1 & int2 -> int3: the gravity-assist is not charitable.; void -> assump1: Let's assume that the gravity-assist frets orris.; int3 & assump1 -> int4: the gravity-assist does fret orris and is not charitable.;
the roughness is not a Austria and it is not a pacesetter.
sent5 -> int5: if the roughness does not fret orris then it is not a Austria and it is not a pacesetter.;
$hypothesis$ = the counterdemonstrator is not a Austria and it does not fret vinblastine if the gravity-assist does fret orris. ; $context$ = sent1: the gravity-assist is a kind of a material and does canton if that it does not rede Hassel hold. sent2: if a material is a canton that it is uncharitable hold. sent3: the gravity-assist does not rede Hassel. sent4: the counterdemonstrator is not a Austria and it does not fret vinblastine if the gravity-assist does not fret vinblastine. sent5: something is not a Austria and not a pacesetter if it does not fret orris. sent6: The Hassel does not rede gravity-assist. ; $proof$ = 
sent2 -> int1: if the gravity-assist is a material and cantons then it is not charitable.; sent1 & sent3 -> int2: the gravity-assist is a material and it is a canton.; int1 & int2 -> int3: the gravity-assist is not charitable.; void -> assump1: Let's assume that the gravity-assist frets orris.; int3 & assump1 -> int4: the gravity-assist does fret orris and is not charitable.; __UNKNOWN__