the Pantaloon is rosaceous if the clubroom is a kind of a y-axis.
sent1: the clubroom is a pyromaniac. sent2: if the Pantaloon is not a pyromaniac then the clubroom is a y-axis and non-rosaceous. sent3: if the Pantaloon is not rosaceous the clubroom is a kind of a pyromaniac. sent4: the clubroom is a pyromaniac and a y-axis if the Pantaloon is not rosaceous. sent5: the clubroom is a pyromaniac and it is a kind of a y-axis.
void -> assump1: Let's assume that the Pantaloon is non-rosaceous.;
$hypothesis$ = the Pantaloon is rosaceous if the clubroom is a kind of a y-axis. ; $context$ = sent1: the clubroom is a pyromaniac. sent2: if the Pantaloon is not a pyromaniac then the clubroom is a y-axis and non-rosaceous. sent3: if the Pantaloon is not rosaceous the clubroom is a kind of a pyromaniac. sent4: the clubroom is a pyromaniac and a y-axis if the Pantaloon is not rosaceous. sent5: the clubroom is a pyromaniac and it is a kind of a y-axis. ; $proof$ = 
void -> assump1: Let's assume that the Pantaloon is non-rosaceous.; __UNKNOWN__