the honeysucker is a screwdriver if the basil is random.
sent1: something is a kind of a screwdriver if it does exalt fen. sent2: if the honeysucker is random then the basil exalts fen. sent3: the marmoset is a sabertooth if the basil is random. sent4: the silkgrass exalts fen. sent5: something is a sabertooth if it does exalt fen.
void -> assump1: Let's assume that the basil is random.; sent3 & assump1 -> int1: the fact that the marmoset is a sabertooth is correct.; sent1 -> int2: if the honeysucker exalts fen then it is a screwdriver.;
$hypothesis$ = the honeysucker is a screwdriver if the basil is random. ; $context$ = sent1: something is a kind of a screwdriver if it does exalt fen. sent2: if the honeysucker is random then the basil exalts fen. sent3: the marmoset is a sabertooth if the basil is random. sent4: the silkgrass exalts fen. sent5: something is a sabertooth if it does exalt fen. ; $proof$ = 
void -> assump1: Let's assume that the basil is random.; sent3 & assump1 -> int1: the fact that the marmoset is a sabertooth is correct.; sent1 -> int2: if the honeysucker exalts fen then it is a screwdriver.; __UNKNOWN__