if the gayfeather is a kind of a Adzhar then the fact that the garroter is Platonic hold.
sent1: the gayfeather untunes panelist. sent2: if there exists something such that that the fact that it is non-unwomanly thing that is a Juggernaut is not wrong is wrong then the fact that the garroter does not resect PCP is true. sent3: the garroter is not non-Platonic if it does not resect PCP. sent4: the gayfeather does not befuddle if it is a kind of a Adzhar and untunes panelist. sent5: if there exists something such that it does not befuddle that the tramway is womanly thing that is a Juggernaut does not hold. sent6: The panelist untunes gayfeather.
void -> assump1: Let's assume that the gayfeather is a Adzhar.; assump1 & sent1 -> int1: the gayfeather is a kind of a Adzhar that untunes panelist.; int1 & sent4 -> int2: the gayfeather does not befuddle.; int2 -> int3: there is something such that it does not befuddle.; int3 & sent5 -> int4: that the tramway is a kind of womanly thing that is a Juggernaut is incorrect.; int4 -> int5: there exists something such that the fact that that it is not unwomanly but a Juggernaut is true is not true.; int5 & sent2 -> int6: the garroter does not resect PCP.; int6 & sent3 -> int7: the fact that the garroter is Platonic is right.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the gayfeather is a kind of a Adzhar then the fact that the garroter is Platonic hold. ; $context$ = sent1: the gayfeather untunes panelist. sent2: if there exists something such that that the fact that it is non-unwomanly thing that is a Juggernaut is not wrong is wrong then the fact that the garroter does not resect PCP is true. sent3: the garroter is not non-Platonic if it does not resect PCP. sent4: the gayfeather does not befuddle if it is a kind of a Adzhar and untunes panelist. sent5: if there exists something such that it does not befuddle that the tramway is womanly thing that is a Juggernaut does not hold. sent6: The panelist untunes gayfeather. ; $proof$ = 
void -> assump1: Let's assume that the gayfeather is a Adzhar.; assump1 & sent1 -> int1: the gayfeather is a kind of a Adzhar that untunes panelist.; int1 & sent4 -> int2: the gayfeather does not befuddle.; int2 -> int3: there is something such that it does not befuddle.; int3 & sent5 -> int4: that the tramway is a kind of womanly thing that is a Juggernaut is incorrect.; int4 -> int5: there exists something such that the fact that that it is not unwomanly but a Juggernaut is true is not true.; int5 & sent2 -> int6: the garroter does not resect PCP.; int6 & sent3 -> int7: the fact that the garroter is Platonic is right.; [assump1] & int7 -> hypothesis; __PROVED__