the specimen is a kind of a tippet if the sagittate-leaf is a forties.
sent1: the sorption is a tippet. sent2: the specimen is not a tippet if the sheeting does vitriol Confucianism and/or it does not redirect aardvark. sent3: the checkroom is a gradual. sent4: the fact that the sagittate-leaf is monoclinic is not false. sent5: if the fact that something is gradual is not incorrect it is a kind of a tippet. sent6: the pteridosperm is a kind of a forties if the specimen is a tippet. sent7: something is a kind of a gradual if it is a kind of a forties. sent8: if the specimen is not a kind of a tippet then the celeriac is a kind of a gradual that is a kind of a forties. sent9: the sagittate-leaf is a tippet if the specimen is a gradual. sent10: if the specimen is a kind of a forties then the sagittate-leaf is a tippet.
sent7 -> int1: the sagittate-leaf is a kind of a gradual if it is a forties.; void -> assump1: Let's assume that the sagittate-leaf is a forties.; int1 & assump1 -> int2: the sagittate-leaf is a gradual.;
the celeriac is gradual.
$hypothesis$ = the specimen is a kind of a tippet if the sagittate-leaf is a forties. ; $context$ = sent1: the sorption is a tippet. sent2: the specimen is not a tippet if the sheeting does vitriol Confucianism and/or it does not redirect aardvark. sent3: the checkroom is a gradual. sent4: the fact that the sagittate-leaf is monoclinic is not false. sent5: if the fact that something is gradual is not incorrect it is a kind of a tippet. sent6: the pteridosperm is a kind of a forties if the specimen is a tippet. sent7: something is a kind of a gradual if it is a kind of a forties. sent8: if the specimen is not a kind of a tippet then the celeriac is a kind of a gradual that is a kind of a forties. sent9: the sagittate-leaf is a tippet if the specimen is a gradual. sent10: if the specimen is a kind of a forties then the sagittate-leaf is a tippet. ; $proof$ = 
sent7 -> int1: the sagittate-leaf is a kind of a gradual if it is a forties.; void -> assump1: Let's assume that the sagittate-leaf is a forties.; int1 & assump1 -> int2: the sagittate-leaf is a gradual.; __UNKNOWN__