the tipu is intralinguistic.
sent1: something is a schlepper and a prodrome if it does not tool hollowware. sent2: the West-sider does not tool hollowware. sent3: The hollowware does not tool West-sider. sent4: the hollowware does not tool Fabiana if there exists something such that the fact that it is not a schlepper but innumerate does not hold. sent5: something is a menu and does not tool Fabiana if that it is non-innumerate is not incorrect. sent6: if the praseodymium is a menu and does not tool Fabiana then the West-sider is not a schlepper. sent7: if the praseodymium is innumerate then the tipu is not intralinguistic. sent8: if the West-sider does not tool hollowware then it is a kind of a prodrome. sent9: the fact that the West-sider is a prodrome is not wrong. sent10: if the fact that something is not intralinguistic is correct then the fact that it is not a schlepper and is innumerate is not true. sent11: the praseodymium does not tool Fabiana if it is not innumerate. sent12: if the praseodymium is a menu and it tools Fabiana then the West-sider is not a schlepper. sent13: if something does not tool hollowware then it is a prodrome.
sent5 -> int1: if the praseodymium is not innumerate the fact that it is a menu and does not tool Fabiana is not wrong.; void -> assump1: Let's assume that the praseodymium is not innumerate.; int1 & assump1 -> int2: the praseodymium is a kind of a menu that does not tool Fabiana.; int2 & sent6 -> int3: the West-sider is not a kind of a schlepper.; sent1 -> int4: if the West-sider does not tool hollowware then it is a kind of a schlepper and it is a kind of a prodrome.; int4 & sent2 -> int5: the West-sider is a schlepper and it is a prodrome.; int5 -> int6: the West-sider is a schlepper.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the praseodymium is innumerate.; int8 & sent7 -> hypothesis;
the hollowware does not tool Fabiana.
sent10 -> int9: if the West-sider is not intralinguistic then that it is not a kind of a schlepper and is innumerate is false.;
$hypothesis$ = the tipu is intralinguistic. ; $context$ = sent1: something is a schlepper and a prodrome if it does not tool hollowware. sent2: the West-sider does not tool hollowware. sent3: The hollowware does not tool West-sider. sent4: the hollowware does not tool Fabiana if there exists something such that the fact that it is not a schlepper but innumerate does not hold. sent5: something is a menu and does not tool Fabiana if that it is non-innumerate is not incorrect. sent6: if the praseodymium is a menu and does not tool Fabiana then the West-sider is not a schlepper. sent7: if the praseodymium is innumerate then the tipu is not intralinguistic. sent8: if the West-sider does not tool hollowware then it is a kind of a prodrome. sent9: the fact that the West-sider is a prodrome is not wrong. sent10: if the fact that something is not intralinguistic is correct then the fact that it is not a schlepper and is innumerate is not true. sent11: the praseodymium does not tool Fabiana if it is not innumerate. sent12: if the praseodymium is a menu and it tools Fabiana then the West-sider is not a schlepper. sent13: if something does not tool hollowware then it is a prodrome. ; $proof$ = 
sent5 -> int1: if the praseodymium is not innumerate the fact that it is a menu and does not tool Fabiana is not wrong.; void -> assump1: Let's assume that the praseodymium is not innumerate.; int1 & assump1 -> int2: the praseodymium is a kind of a menu that does not tool Fabiana.; int2 & sent6 -> int3: the West-sider is not a kind of a schlepper.; sent1 -> int4: if the West-sider does not tool hollowware then it is a kind of a schlepper and it is a kind of a prodrome.; int4 & sent2 -> int5: the West-sider is a schlepper and it is a prodrome.; int5 -> int6: the West-sider is a schlepper.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the praseodymium is innumerate.; int8 & sent7 -> hypothesis; __DISPROVED__