その吸い殻は破り捨てるがしかし喜びでない
fact1: その吸い殻は取り辛い fact2: 「この任命手続きは喜びだ」ということは真実である fact3: 「その吸い殻は開基するということはない」ということは事実である fact4: 仮にその吸い殻が開基しないとすると破り捨てるしそれに喜びでない
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
$facts$ = fact1: その吸い殻は取り辛い fact2: 「この任命手続きは喜びだ」ということは真実である fact3: 「その吸い殻は開基するということはない」ということは事実である fact4: 仮にその吸い殻が開基しないとすると破り捨てるしそれに喜びでない ; $hypothesis$ = その吸い殻は破り捨てるがしかし喜びでない ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: その吸い殻は取り辛い
事実2: 「この任命手続きは喜びだ」ということは真実である
事実3: 「その吸い殻は開基するということはない」ということは事実である
事実4: 仮にその吸い殻が開基しないとすると破り捨てるしそれに喜びでない

仮説: その吸い殻は破り捨てるがしかし喜びでない
1. 事実4と事実3から、仮説が導かれる

よって、仮説が証明されました。