something is not vestiary.
sent1: the fact that the organdy soldiers AFISR and it is a kind of a cycling is incorrect. sent2: if the organdy is not non-vestiary then it is not a cycling. sent3: the organdy does not cycle. sent4: something is not a kind of a cycling if it is vestiary. sent5: if something is vestiary it does soldier AFISR and is not a kind of a cycling.
sent5 -> int1: if the organdy is vestiary then it soldiers AFISR and it is not a cycling.; void -> assump1: Let's assume that the organdy is vestiary.; int1 & assump1 -> int2: the organdy does soldier AFISR but it is not a cycling.;
$hypothesis$ = something is not vestiary. ; $context$ = sent1: the fact that the organdy soldiers AFISR and it is a kind of a cycling is incorrect. sent2: if the organdy is not non-vestiary then it is not a cycling. sent3: the organdy does not cycle. sent4: something is not a kind of a cycling if it is vestiary. sent5: if something is vestiary it does soldier AFISR and is not a kind of a cycling. ; $proof$ = 
sent5 -> int1: if the organdy is vestiary then it soldiers AFISR and it is not a cycling.; void -> assump1: Let's assume that the organdy is vestiary.; int1 & assump1 -> int2: the organdy does soldier AFISR but it is not a cycling.; __UNKNOWN__