そのタイトルバーは供述調書だ
fact1: 飽きっぽいかまたは悩ましい物は供述調書であるということはない fact2: そのタイトルバーは実装出来るし飽きっぽい fact3: 仮に「ある物は悩ましい」ということは事実であるとすると供述調書でない fact4: 飽きっぽくないものは実装出来るかまたは思い易い
fact2 -> int1: そのタイトルバーは飽きっぽい; int1 -> int2: そのタイトルバーは飽きっぽいか悩ましい; fact1 -> int3: もしそのタイトルバーは飽きっぽいかまたは悩ましいかもしくは両方ともだとすると供述調書でない; int2 & int3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); fact1 -> int3: ({B}{a} v {C}{a}) -> ¬{D}{a}; int2 & int3 -> hypothesis;
あの雑入は実装出来るかあるいは思い易いかあるいは両方ともだ
fact5 -> int4: あの雑入が飽きっぽくないならそれは実装出来るかまたはそれは思い易い;
$facts$ = fact1: 飽きっぽいかまたは悩ましい物は供述調書であるということはない fact2: そのタイトルバーは実装出来るし飽きっぽい fact3: 仮に「ある物は悩ましい」ということは事実であるとすると供述調書でない fact4: 飽きっぽくないものは実装出来るかまたは思い易い ; $hypothesis$ = そのタイトルバーは供述調書だ ; $proof$ = 
fact2 -> int1: そのタイトルバーは飽きっぽい; int1 -> int2: そのタイトルバーは飽きっぽいか悩ましい; fact1 -> int3: もしそのタイトルバーは飽きっぽいかまたは悩ましいかもしくは両方ともだとすると供述調書でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 飽きっぽいかまたは悩ましい物は供述調書であるということはない
事実2: そのタイトルバーは実装出来るし飽きっぽい
事実3: 仮に「ある物は悩ましい」ということは事実であるとすると供述調書でない
事実4: 飽きっぽくないものは実装出来るかまたは思い易い

仮説: そのタイトルバーは供述調書だ
1. 事実2から、推論1: "そのタイトルバーは飽きっぽい"が導かれる
2. 推論1から、推論2: "そのタイトルバーは飽きっぽいか悩ましい"が導かれる
3. 事実1から、推論3: "もしそのタイトルバーは飽きっぽいかまたは悩ましいかもしくは両方ともだとすると供述調書でない"が導かれる
4. 推論2と推論3から、仮説が否定される

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