if the photopigment is not phenomenal the fact that it does not suggest gryphon and it does not suggest ascender is not right.
sent1: if something suggests gryphon then the fact that it is not phenomenal and is inaesthetic is not correct. sent2: the photopigment does not suggest gryphon and does not suggest ascender if it is not inaesthetic. sent3: the photopigment is phenomenal if it is a spitball and is not non-subjective. sent4: the photopigment is phenomenal if it is both a spitball and not subjective. sent5: the fact that the photopigment does not suggest gryphon and does not suggest ascender is not correct if it is not inaesthetic. sent6: the photopigment does not suggest gryphon and does not suggest ascender.
void -> assump2: Let's assume that the photopigment is a kind of a spitball but it is not subjective.; sent4 & assump2 -> int1: the photopigment is phenomenal.; void -> assump1: Let's assume that the photopigment is non-phenomenal.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the photopigment is a spitball but not subjective is not correct.;
the self-portrait is phenomenal.
sent1 -> int4: that the photopigment is a kind of non-phenomenal thing that is inaesthetic is not correct if it does suggest gryphon.;
$hypothesis$ = if the photopigment is not phenomenal the fact that it does not suggest gryphon and it does not suggest ascender is not right. ; $context$ = sent1: if something suggests gryphon then the fact that it is not phenomenal and is inaesthetic is not correct. sent2: the photopigment does not suggest gryphon and does not suggest ascender if it is not inaesthetic. sent3: the photopigment is phenomenal if it is a spitball and is not non-subjective. sent4: the photopigment is phenomenal if it is both a spitball and not subjective. sent5: the fact that the photopigment does not suggest gryphon and does not suggest ascender is not correct if it is not inaesthetic. sent6: the photopigment does not suggest gryphon and does not suggest ascender. ; $proof$ = 
void -> assump2: Let's assume that the photopigment is a kind of a spitball but it is not subjective.; sent4 & assump2 -> int1: the photopigment is phenomenal.; void -> assump1: Let's assume that the photopigment is non-phenomenal.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the photopigment is a spitball but not subjective is not correct.; __UNKNOWN__