the quarterly is ponderable.
sent1: the quarterly is not germy. sent2: the radiance is ponderable. sent3: the quarterly is not imponderable if something that is not a payables is most. sent4: the quarterly is not a disposable. sent5: if something is most it is a kind of ponderable thing that is not disposable. sent6: the radiance is not most if it is disposable. sent7: something is not most. sent8: the fact that the radiance is a disposable is true. sent9: the radiance is not most. sent10: something is not a payables and it is not most if it is a kind of a disposable. sent11: there are ponderable things. sent12: something is not most if it is a disposable. sent13: there exists something such that it is not a greenhouse. sent14: something is not a payables and it is not imponderable if it is most.
sent10 -> int1: the fact that the radiance is not a kind of a payables and it is not most hold if it is disposable.; int1 & sent8 -> int2: the radiance is not a payables and is not most.; int2 -> int3: something is not a kind of a payables and it is not most.;
$hypothesis$ = the quarterly is ponderable. ; $context$ = sent1: the quarterly is not germy. sent2: the radiance is ponderable. sent3: the quarterly is not imponderable if something that is not a payables is most. sent4: the quarterly is not a disposable. sent5: if something is most it is a kind of ponderable thing that is not disposable. sent6: the radiance is not most if it is disposable. sent7: something is not most. sent8: the fact that the radiance is a disposable is true. sent9: the radiance is not most. sent10: something is not a payables and it is not most if it is a kind of a disposable. sent11: there are ponderable things. sent12: something is not most if it is a disposable. sent13: there exists something such that it is not a greenhouse. sent14: something is not a payables and it is not imponderable if it is most. ; $proof$ = 
sent10 -> int1: the fact that the radiance is not a kind of a payables and it is not most hold if it is disposable.; int1 & sent8 -> int2: the radiance is not a payables and is not most.; int2 -> int3: something is not a kind of a payables and it is not most.; __UNKNOWN__