the fact that there exists something such that if it is a kind of an augur then it is a rosilla is not false.
sent1: the catcher is a kind of a log. sent2: the catcher is a tutorial if it is an augur. sent3: something is deductive if it is a kind of a bombie. sent4: there is something such that if it is a kind of a arteriogram then it is not nonarbitrable. sent5: if the steamboat is a kind of a rosilla it is thoughtful. sent6: something does augur if it is a tutorial. sent7: something that does not individuate endocranium is a tutorial that is a rosilla. sent8: the catcher is hieroglyphic if it is an augur. sent9: the dapsone is a tutorial if it is a kind of a denier. sent10: if something is a tutorial it is a rosilla. sent11: the thumb kidnaps hangover if it is a kind of an augur. sent12: that the catcher is a kind of the tutorial if the catcher trebles hold. sent13: if the skybox is hieroglyphic it is nidifugous.
void -> assump1: Let's assume that the catcher is a kind of an augur.; sent2 & assump1 -> int1: the catcher is a tutorial.; sent10 -> int2: the catcher is a rosilla if it is a tutorial.; int1 & int2 -> int3: the catcher is a rosilla.; [assump1] & int3 -> int4: if the catcher augurs then it is a kind of a rosilla.; int4 -> hypothesis;
the bystander augurs.
sent6 -> int5: the bystander does augur if it is a tutorial.; sent7 -> int6: the bystander is a tutorial and it is a rosilla if it does not individuate endocranium.;
$hypothesis$ = the fact that there exists something such that if it is a kind of an augur then it is a rosilla is not false. ; $context$ = sent1: the catcher is a kind of a log. sent2: the catcher is a tutorial if it is an augur. sent3: something is deductive if it is a kind of a bombie. sent4: there is something such that if it is a kind of a arteriogram then it is not nonarbitrable. sent5: if the steamboat is a kind of a rosilla it is thoughtful. sent6: something does augur if it is a tutorial. sent7: something that does not individuate endocranium is a tutorial that is a rosilla. sent8: the catcher is hieroglyphic if it is an augur. sent9: the dapsone is a tutorial if it is a kind of a denier. sent10: if something is a tutorial it is a rosilla. sent11: the thumb kidnaps hangover if it is a kind of an augur. sent12: that the catcher is a kind of the tutorial if the catcher trebles hold. sent13: if the skybox is hieroglyphic it is nidifugous. ; $proof$ = 
void -> assump1: Let's assume that the catcher is a kind of an augur.; sent2 & assump1 -> int1: the catcher is a tutorial.; sent10 -> int2: the catcher is a rosilla if it is a tutorial.; int1 & int2 -> int3: the catcher is a rosilla.; [assump1] & int3 -> int4: if the catcher augurs then it is a kind of a rosilla.; int4 -> hypothesis; __PROVED__