the fact that the pattern is a Aether that tosses salpinx if the landing is not a G-man is not correct.
sent1: the pattern is not a kind of a encasement. sent2: if the landing is a monstrance but it is not a G-man then the pattern does toss salpinx. sent3: that the pattern outgrows knowing and is not a like is false if it is not a kind of a encasement. sent4: everything is a monstrance. sent5: if the fact that something outgrows knowing but it is not a kind of a like is false it is a kind of a Aether.
sent4 -> int1: the landing is a kind of a monstrance.; void -> assump1: Let's assume that the landing is not a G-man.; int1 & assump1 -> int2: the landing is a monstrance and not a G-man.; int2 & sent2 -> int3: the pattern tosses salpinx.; sent5 -> int4: if that the pattern outgrows knowing and does not like is not right then it is a kind of a Aether.; sent3 & sent1 -> int5: the fact that the pattern outgrows knowing but it does not like is not right.; int4 & int5 -> int6: the pattern is a Aether.; int3 & int6 -> int7: the pattern is a Aether and it does toss salpinx.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that the pattern is a Aether that tosses salpinx if the landing is not a G-man is not correct. ; $context$ = sent1: the pattern is not a kind of a encasement. sent2: if the landing is a monstrance but it is not a G-man then the pattern does toss salpinx. sent3: that the pattern outgrows knowing and is not a like is false if it is not a kind of a encasement. sent4: everything is a monstrance. sent5: if the fact that something outgrows knowing but it is not a kind of a like is false it is a kind of a Aether. ; $proof$ = 
sent4 -> int1: the landing is a kind of a monstrance.; void -> assump1: Let's assume that the landing is not a G-man.; int1 & assump1 -> int2: the landing is a monstrance and not a G-man.; int2 & sent2 -> int3: the pattern tosses salpinx.; sent5 -> int4: if that the pattern outgrows knowing and does not like is not right then it is a kind of a Aether.; sent3 & sent1 -> int5: the fact that the pattern outgrows knowing but it does not like is not right.; int4 & int5 -> int6: the pattern is a Aether.; int3 & int6 -> int7: the pattern is a Aether and it does toss salpinx.; [assump1] & int7 -> hypothesis; __DISPROVED__