「「あのツイードは増え難くて浅い」ということは誤っている」ということは成り立つ
fact1: もし「何らかの物は干すしそれに増え難い」ということは成り立つということはないならば増え難くない fact2: この朝食付は干さない fact3: この朝食付が夏野菜でないならあのツイードは干す fact4: 疑り深い物は浅いけど増え難くない fact5: この朝食付は夏野菜だ fact6: もしこの切り欠きが浅いということはないとするとあのツイードは増え難くて浅い fact7: もしこの朝食付が干すということはないがしかし夏野菜ならば「この切り欠きは浅くない」ということは本当だ fact8: 仮に浅いものが増え難くないとすればそれは夏野菜でない
fact2 & fact5 -> int1: この朝食付は干さないがしかし夏野菜だ; int1 & fact7 -> int2: この切り欠きは浅いということはない; int2 & fact6 -> hypothesis;
fact2 & fact5 -> int1: (¬{A}{a} & {B}{a}); int1 & fact7 -> int2: ¬{C}{b}; int2 & fact6 -> hypothesis;
「あのツイードは増え難くておまけに浅い」ということは成り立たない
fact9 -> int3: もし仮に「この朝食付は干すし増え難い」ということは事実と異なるとすればそれは増え難くない;
$facts$ = fact1: もし「何らかの物は干すしそれに増え難い」ということは成り立つということはないならば増え難くない fact2: この朝食付は干さない fact3: この朝食付が夏野菜でないならあのツイードは干す fact4: 疑り深い物は浅いけど増え難くない fact5: この朝食付は夏野菜だ fact6: もしこの切り欠きが浅いということはないとするとあのツイードは増え難くて浅い fact7: もしこの朝食付が干すということはないがしかし夏野菜ならば「この切り欠きは浅くない」ということは本当だ fact8: 仮に浅いものが増え難くないとすればそれは夏野菜でない ; $hypothesis$ = 「「あのツイードは増え難くて浅い」ということは誤っている」ということは成り立つ ; $proof$ = 
fact2 & fact5 -> int1: この朝食付は干さないがしかし夏野菜だ; int1 & fact7 -> int2: この切り欠きは浅いということはない; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もし「何らかの物は干すしそれに増え難い」ということは成り立つということはないならば増え難くない
事実2: この朝食付は干さない
事実3: この朝食付が夏野菜でないならあのツイードは干す
事実4: 疑り深い物は浅いけど増え難くない
事実5: この朝食付は夏野菜だ
事実6: もしこの切り欠きが浅いということはないとするとあのツイードは増え難くて浅い
事実7: もしこの朝食付が干すということはないがしかし夏野菜ならば「この切り欠きは浅くない」ということは本当だ
事実8: 仮に浅いものが増え難くないとすればそれは夏野菜でない

仮説: 「「あのツイードは増え難くて浅い」ということは誤っている」ということは成り立つ
1. 事実2と事実5から、推論1: "この朝食付は干さないがしかし夏野菜だ"が導かれる
2. 推論1と事実7から、推論2: "この切り欠きは浅いということはない"が導かれる
3. 推論2と事実6から、仮説が否定される

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