the RAS does not philander Principe.
sent1: something is supernaturalist and it is a plastid. sent2: the fact that the RAS is not a ninepin is not false if something is supernaturalist and it is a plastid. sent3: if something is transdermal that it does philander Principe and is not a ninepin is not right. sent4: the RAS is a kind of transdermal thing that flocks Thule. sent5: if there exists something such that it cathects singular and is allometric then the filtrate is not supernaturalist. sent6: the fact that the RAS is not immaterial if something is a plastid and it is supernaturalist is not false.
sent1 & sent2 -> int1: the RAS is not a ninepin.; void -> assump1: Let's assume that the RAS does philander Principe.; int1 & assump1 -> int2: the RAS does philander Principe and is not a kind of a ninepin.; sent3 -> int3: that the RAS does philander Principe and is not a kind of a ninepin does not hold if it is transdermal.; sent4 -> int4: the RAS is transdermal.; int3 & int4 -> int5: that that the RAS does philander Principe and is not a ninepin is not true hold.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the RAS is not immaterial.
$hypothesis$ = the RAS does not philander Principe. ; $context$ = sent1: something is supernaturalist and it is a plastid. sent2: the fact that the RAS is not a ninepin is not false if something is supernaturalist and it is a plastid. sent3: if something is transdermal that it does philander Principe and is not a ninepin is not right. sent4: the RAS is a kind of transdermal thing that flocks Thule. sent5: if there exists something such that it cathects singular and is allometric then the filtrate is not supernaturalist. sent6: the fact that the RAS is not immaterial if something is a plastid and it is supernaturalist is not false. ; $proof$ = 
sent1 & sent2 -> int1: the RAS is not a ninepin.; void -> assump1: Let's assume that the RAS does philander Principe.; int1 & assump1 -> int2: the RAS does philander Principe and is not a kind of a ninepin.; sent3 -> int3: that the RAS does philander Principe and is not a kind of a ninepin does not hold if it is transdermal.; sent4 -> int4: the RAS is transdermal.; int3 & int4 -> int5: that that the RAS does philander Principe and is not a ninepin is not true hold.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__