「この市役所前は綿花である」ということは真実である
fact1: もし「ある物は眠いということはないし加えて小煩くない」ということは成り立つということはないとすると綿花でない fact2: もし「何かは淘汰であるがしかし綿花だということはない」ということは成り立たないとするとそれは淘汰でない fact3: もしもこの藍は淘汰でないなら「この市役所前は眠くなくてしかも小煩くない」ということは間違っている fact4: 「とあるものは手加減するし御掛けに成る」ということは間違っているとしたらそれは手加減しない fact5: 仮にこの市役所前は手加減するということはないならば「この藍は真っ白い一方で四十年代後半でない」ということは誤りである fact6: もしもなんらかのものは真っ白いということはないなら「それは淘汰だ一方で綿花だということはない」ということは成り立たない fact7: この藍は淘汰でない
fact3 & fact7 -> int1: 「この市役所前は眠くないしその上小煩いということはない」ということは成り立たない; fact1 -> int2: 仮に「この市役所前は眠くないししかも小煩くない」ということは嘘ならば「それは綿花でない」ということは成り立つ; int1 & int2 -> hypothesis;
そのスケジュール帳は淘汰でない
fact9 -> int3: もし仮に「そのスケジュール帳は淘汰だけれど綿花でない」ということは事実と異なるならそれは淘汰でない; fact8 -> int4: もしもそのスケジュール帳は真っ白くないとすれば「淘汰だけど綿花でない」ということは成り立つということはない; fact10 -> int5: もしも「「この市役所前は手加減するしかつ御掛けに成る」ということは本当だ」ということは成り立たないとするとそれは手加減するということはない;
$facts$ = fact1: もし「ある物は眠いということはないし加えて小煩くない」ということは成り立つということはないとすると綿花でない fact2: もし「何かは淘汰であるがしかし綿花だということはない」ということは成り立たないとするとそれは淘汰でない fact3: もしもこの藍は淘汰でないなら「この市役所前は眠くなくてしかも小煩くない」ということは間違っている fact4: 「とあるものは手加減するし御掛けに成る」ということは間違っているとしたらそれは手加減しない fact5: 仮にこの市役所前は手加減するということはないならば「この藍は真っ白い一方で四十年代後半でない」ということは誤りである fact6: もしもなんらかのものは真っ白いということはないなら「それは淘汰だ一方で綿花だということはない」ということは成り立たない fact7: この藍は淘汰でない ; $hypothesis$ = 「この市役所前は綿花である」ということは真実である ; $proof$ = 
fact3 & fact7 -> int1: 「この市役所前は眠くないしその上小煩いということはない」ということは成り立たない; fact1 -> int2: 仮に「この市役所前は眠くないししかも小煩くない」ということは嘘ならば「それは綿花でない」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「ある物は眠いということはないし加えて小煩くない」ということは成り立つということはないとすると綿花でない
事実2: もし「何かは淘汰であるがしかし綿花だということはない」ということは成り立たないとするとそれは淘汰でない
事実3: もしもこの藍は淘汰でないなら「この市役所前は眠くなくてしかも小煩くない」ということは間違っている
事実4: 「とあるものは手加減するし御掛けに成る」ということは間違っているとしたらそれは手加減しない
事実5: 仮にこの市役所前は手加減するということはないならば「この藍は真っ白い一方で四十年代後半でない」ということは誤りである
事実6: もしもなんらかのものは真っ白いということはないなら「それは淘汰だ一方で綿花だということはない」ということは成り立たない
事実7: この藍は淘汰でない

仮説: 「この市役所前は綿花である」ということは真実である
1. 事実3と事実7から、推論1: "「この市役所前は眠くないしその上小煩いということはない」ということは成り立たない"が導かれる
2. 事実1から、推論2: "仮に「この市役所前は眠くないししかも小煩くない」ということは嘘ならば「それは綿花でない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。