the reformatory does anticipate Janus.
sent1: if there is something such that it is not a ruined the decoction either is vegetal or is not a kind of a dissolubility or both. sent2: if the decoction is vegetal and/or it is not a dissolubility then it does crop vanadate. sent3: something that is a kind of a ruined does anticipate Janus. sent4: the decoction does not bullshit sheika if that the fact that the RF prays and bullshit sheika is incorrect is correct. sent5: the fact that the RF does pray and does bullshit sheika is not true. sent6: the reformatory does not anticipate Janus if the fact that the decoction is a ruined and it is a dissolubility is not true. sent7: if that something crops vanadate is not incorrect then the RF is not vegetal.
void -> assump1: Let's assume that the reformatory is not a kind of a ruined.; assump1 -> int1: something is not a ruined.; int1 & sent1 -> int2: the decoction is vegetal and/or it is not a kind of a dissolubility.; int2 & sent2 -> int3: the fact that the decoction does crop vanadate is correct.; sent4 & sent5 -> int4: the decoction does not bullshit sheika.; sent3 -> int5: if the reformatory is a ruined then it does anticipate Janus.;
the reformatory does not anticipate Janus.
$hypothesis$ = the reformatory does anticipate Janus. ; $context$ = sent1: if there is something such that it is not a ruined the decoction either is vegetal or is not a kind of a dissolubility or both. sent2: if the decoction is vegetal and/or it is not a dissolubility then it does crop vanadate. sent3: something that is a kind of a ruined does anticipate Janus. sent4: the decoction does not bullshit sheika if that the fact that the RF prays and bullshit sheika is incorrect is correct. sent5: the fact that the RF does pray and does bullshit sheika is not true. sent6: the reformatory does not anticipate Janus if the fact that the decoction is a ruined and it is a dissolubility is not true. sent7: if that something crops vanadate is not incorrect then the RF is not vegetal. ; $proof$ = 
void -> assump1: Let's assume that the reformatory is not a kind of a ruined.; assump1 -> int1: something is not a ruined.; int1 & sent1 -> int2: the decoction is vegetal and/or it is not a kind of a dissolubility.; int2 & sent2 -> int3: the fact that the decoction does crop vanadate is correct.; sent4 & sent5 -> int4: the decoction does not bullshit sheika.; sent3 -> int5: if the reformatory is a ruined then it does anticipate Janus.; __UNKNOWN__