the synovia is a TLC.
sent1: the living-room is insectan. sent2: the parliamentarian is a TLC if it is not non-lexicostatistic. sent3: the living-room is a TLC if the synovia is not non-quadratics. sent4: the living-room is a quadratics if it is insectan. sent5: if the living-room is a TLC then it is insectan.
sent4 & sent1 -> int1: the living-room is a quadratics.;
$hypothesis$ = the synovia is a TLC. ; $context$ = sent1: the living-room is insectan. sent2: the parliamentarian is a TLC if it is not non-lexicostatistic. sent3: the living-room is a TLC if the synovia is not non-quadratics. sent4: the living-room is a quadratics if it is insectan. sent5: if the living-room is a TLC then it is insectan. ; $proof$ = 
sent4 & sent1 -> int1: the living-room is a quadratics.; __UNKNOWN__