「「仮に「熟睡する」ということは成り立つとするとささくれ立たない」物はある」ということは正しい
fact1: 「もし仮に熟睡すればささくれ立つ」ものはある fact2: もし仮にこの雌鳥はささくれ立つとすると「「企画・立案でないし更に利用され易くない」ということは成り立つ」ということは誤りだ fact3: 仮に「なんらかのものは企画・立案でないしさらに利用され易くない」ということは成り立たないとすると熟睡するということはない
void -> assump1: 以下のように仮定する。この雌鳥はささくれ立つ; fact2 & assump1 -> int1: 「この雌鳥が企画・立案だということはないしその上それは利用され易くない」ということは間違いだ; fact3 -> int2: 「この雌鳥は企画・立案でなくてその上利用され易いない」ということは成り立つということはないならそれは熟睡しない; int1 & int2 -> int3: この雌鳥は熟睡しない; void -> assump2: 以下のように仮定する。この雌鳥は熟睡する; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この雌鳥はささくれ立たない; [assump2] & int5 -> int6: もしこの雌鳥が熟睡すればささくれ立つということはない; int6 -> hypothesis;
$facts$ = fact1: 「もし仮に熟睡すればささくれ立つ」ものはある fact2: もし仮にこの雌鳥はささくれ立つとすると「「企画・立案でないし更に利用され易くない」ということは成り立つ」ということは誤りだ fact3: 仮に「なんらかのものは企画・立案でないしさらに利用され易くない」ということは成り立たないとすると熟睡するということはない ; $hypothesis$ = 「「仮に「熟睡する」ということは成り立つとするとささくれ立たない」物はある」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この雌鳥はささくれ立つ; fact2 & assump1 -> int1: 「この雌鳥が企画・立案だということはないしその上それは利用され易くない」ということは間違いだ; fact3 -> int2: 「この雌鳥は企画・立案でなくてその上利用され易いない」ということは成り立つということはないならそれは熟睡しない; int1 & int2 -> int3: この雌鳥は熟睡しない; void -> assump2: 以下のように仮定する。この雌鳥は熟睡する; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この雌鳥はささくれ立たない; [assump2] & int5 -> int6: もしこの雌鳥が熟睡すればささくれ立つということはない; int6 -> hypothesis; __PROVED__
事実1: 「もし仮に熟睡すればささくれ立つ」ものはある
事実2: もし仮にこの雌鳥はささくれ立つとすると「「企画・立案でないし更に利用され易くない」ということは成り立つ」ということは誤りだ
事実3: 仮に「なんらかのものは企画・立案でないしさらに利用され易くない」ということは成り立たないとすると熟睡するということはない

仮説: 「「仮に「熟睡する」ということは成り立つとするとささくれ立たない」物はある」ということは正しい
1. 仮定1: 以下のように仮定する。この雌鳥はささくれ立つ
2. 事実2と仮定1から、推論1: "「この雌鳥が企画・立案だということはないしその上それは利用され易くない」ということは間違いだ"が導かれる
3. 事実3から、推論2: "「この雌鳥は企画・立案でなくてその上利用され易いない」ということは成り立つということはないならそれは熟睡しない"が導かれる
4. 推論1と推論2から、推論3: "この雌鳥は熟睡しない"が導かれる
5. 仮定2: 以下のように仮定する。この雌鳥は熟睡する
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "この雌鳥はささくれ立たない"が導かれる
8. [仮定2]と推論5から、推論6: "もしこの雌鳥が熟睡すればささくれ立つということはない"が導かれる
9. 推論6から、仮説が導かれる

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