the fact that if the fact that the Irishman is a epicycloid is true the squawker does promote is not true.
sent1: the Irishman skydives and it does disapprove Ishtar. sent2: something does disapprove Ishtar and does promote. sent3: if there exists something such that it skydives and it is a epicycloid the squawker promotes. sent4: that the workhouse does promote hold.
sent1 -> int1: the Irishman does skydive.; void -> assump1: Let's assume that the Irishman is a epicycloid.; int1 & assump1 -> int2: the Irishman does skydive and is a epicycloid.; int2 -> int3: there exists something such that it skydives and it is a epicycloid.; int3 & sent3 -> int4: the squawker does promote.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that if the fact that the Irishman is a epicycloid is true the squawker does promote is not true. ; $context$ = sent1: the Irishman skydives and it does disapprove Ishtar. sent2: something does disapprove Ishtar and does promote. sent3: if there exists something such that it skydives and it is a epicycloid the squawker promotes. sent4: that the workhouse does promote hold. ; $proof$ = 
sent1 -> int1: the Irishman does skydive.; void -> assump1: Let's assume that the Irishman is a epicycloid.; int1 & assump1 -> int2: the Irishman does skydive and is a epicycloid.; int2 -> int3: there exists something such that it skydives and it is a epicycloid.; int3 & sent3 -> int4: the squawker does promote.; [assump1] & int4 -> hypothesis; __DISPROVED__