「「この割礼は納得しないかまたはそれは小汚いか両方だ」ということは成り立つ」ということは成り立たない
fact1: 仮に何らかの物はエステシャンであるとしたら「それはヘッドマークでないかもしくは素晴らしかあるいは両方だ」ということは偽だ fact2: この割礼は素晴らし fact3: この割礼は至急だ fact4: もしこの割礼が告ぐならそれは小汚い fact5: もし仮に「この割礼は素晴らし」ということは確かならば「納得しないかあるいは小汚い」ということは事実と異なる
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
もしもこの企画観光課はエステシャンならば「それはヘッドマークでないかもしくはそれは素晴らしかどちらもだ」ということは事実と異なる
fact6 -> hypothesis;
$facts$ = fact1: 仮に何らかの物はエステシャンであるとしたら「それはヘッドマークでないかもしくは素晴らしかあるいは両方だ」ということは偽だ fact2: この割礼は素晴らし fact3: この割礼は至急だ fact4: もしこの割礼が告ぐならそれは小汚い fact5: もし仮に「この割礼は素晴らし」ということは確かならば「納得しないかあるいは小汚い」ということは事実と異なる ; $hypothesis$ = 「「この割礼は納得しないかまたはそれは小汚いか両方だ」ということは成り立つ」ということは成り立たない ; $proof$ = 
fact5 & fact2 -> hypothesis; __PROVED__
事実1: 仮に何らかの物はエステシャンであるとしたら「それはヘッドマークでないかもしくは素晴らしかあるいは両方だ」ということは偽だ
事実2: この割礼は素晴らし
事実3: この割礼は至急だ
事実4: もしこの割礼が告ぐならそれは小汚い
事実5: もし仮に「この割礼は素晴らし」ということは確かならば「納得しないかあるいは小汚い」ということは事実と異なる

仮説: 「「この割礼は納得しないかまたはそれは小汚いか両方だ」ということは成り立つ」ということは成り立たない
1. 事実5と事実2から、仮説が導かれる

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