そのメロディーは逡巡する
fact1: その豚糞は厳つかない fact2: もし仮にその豚糞が分別しないならばそのメロディーは逡巡しない fact3: 厳つかなくて取り扱い易い物は分別しない fact4: もしその豚糞はキャスティングするとすると「その散策路は分別しないが取り扱い易い」ということは嘘である fact5: その豚糞はキャスティングするしおまけに期し難い fact6: 「その豚糞は取り扱い易い」ということは確かである
fact1 & fact6 -> int1: その豚糞は厳つかないがそれは取り扱い易い; fact3 -> int2: 仮にその豚糞が厳ついということはないがしかしそれが取り扱い易いとしたらそれは分別するということはない; int1 & int2 -> int3: その豚糞は分別しない; int3 & fact2 -> hypothesis;
fact1 & fact6 -> int1: (¬{A}{a} & {B}{a}); fact3 -> int2: (¬{A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 & fact2 -> hypothesis;
その散策路は逡巡する
fact8 -> int4: その豚糞はキャスティングする; fact7 & int4 -> int5: 「その散策路は分別しないけれどそれは取り扱い易い」ということは成り立たない;
$facts$ = fact1: その豚糞は厳つかない fact2: もし仮にその豚糞が分別しないならばそのメロディーは逡巡しない fact3: 厳つかなくて取り扱い易い物は分別しない fact4: もしその豚糞はキャスティングするとすると「その散策路は分別しないが取り扱い易い」ということは嘘である fact5: その豚糞はキャスティングするしおまけに期し難い fact6: 「その豚糞は取り扱い易い」ということは確かである ; $hypothesis$ = そのメロディーは逡巡する ; $proof$ = 
fact1 & fact6 -> int1: その豚糞は厳つかないがそれは取り扱い易い; fact3 -> int2: 仮にその豚糞が厳ついということはないがしかしそれが取り扱い易いとしたらそれは分別するということはない; int1 & int2 -> int3: その豚糞は分別しない; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: その豚糞は厳つかない
事実2: もし仮にその豚糞が分別しないならばそのメロディーは逡巡しない
事実3: 厳つかなくて取り扱い易い物は分別しない
事実4: もしその豚糞はキャスティングするとすると「その散策路は分別しないが取り扱い易い」ということは嘘である
事実5: その豚糞はキャスティングするしおまけに期し難い
事実6: 「その豚糞は取り扱い易い」ということは確かである

仮説: そのメロディーは逡巡する
1. 事実1と事実6から、推論1: "その豚糞は厳つかないがそれは取り扱い易い"が導かれる
2. 事実3から、推論2: "仮にその豚糞が厳ついということはないがしかしそれが取り扱い易いとしたらそれは分別するということはない"が導かれる
3. 推論1と推論2から、推論3: "その豚糞は分別しない"が導かれる
4. 推論3と事実2から、仮説が否定される

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