「その当該普通地方公共団体は湿気易いけどそれは喜ばさない」ということは成り立たない
fact1: 「その当該普通地方公共団体は湿気易いししかもそれは喜ばす」ということは真実でない fact2: もしもその快苦は申し合わせならば「その当該普通地方公共団体は湿気易いけれど喜ばすということはない」ということは嘘だ fact3: その快苦は申し合わせだ fact4: 仮にその快苦は申し合わせならば「その当該普通地方公共団体は湿気易くてそれにそれは喜ばす」ということは間違っている
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
$facts$ = fact1: 「その当該普通地方公共団体は湿気易いししかもそれは喜ばす」ということは真実でない fact2: もしもその快苦は申し合わせならば「その当該普通地方公共団体は湿気易いけれど喜ばすということはない」ということは嘘だ fact3: その快苦は申し合わせだ fact4: 仮にその快苦は申し合わせならば「その当該普通地方公共団体は湿気易くてそれにそれは喜ばす」ということは間違っている ; $hypothesis$ = 「その当該普通地方公共団体は湿気易いけどそれは喜ばさない」ということは成り立たない ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: 「その当該普通地方公共団体は湿気易いししかもそれは喜ばす」ということは真実でない
事実2: もしもその快苦は申し合わせならば「その当該普通地方公共団体は湿気易いけれど喜ばすということはない」ということは嘘だ
事実3: その快苦は申し合わせだ
事実4: 仮にその快苦は申し合わせならば「その当該普通地方公共団体は湿気易くてそれにそれは喜ばす」ということは間違っている

仮説: 「その当該普通地方公共団体は湿気易いけどそれは喜ばさない」ということは成り立たない
1. 事実2と事実3から、仮説が導かれる

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