この艦列はＵＳであるとしたらふさふさする
fact1: なにかは細密画であるとしたら内向性でない fact2: もし仮になにがしかのものが纏まり易いとすればそれは所狭くない fact3: 野暮ったい物はふさふさする fact4: 「この艦列は塗り固める」ということは事実だ fact5: 仮にあるものがＵＳなら野暮ったいがしかし多いということはない fact6: この艦列は課するがしかし御披露目しない
fact5 -> int1: この艦列はＵＳであるとすればそれは野暮ったいがしかし多いということはない; void -> assump1: 以下のように仮定する。この艦列はＵＳだ; int1 & assump1 -> int2: この艦列は野暮ったいが多くない; int2 -> int3: この艦列は野暮ったい; fact3 -> int4: 「もし仮にこの艦列が野暮ったいならばこの艦列はふさふさする」ということは事実である; int3 & int4 -> int5: この艦列はふさふさする; [assump1] & int5 -> hypothesis;
$facts$ = fact1: なにかは細密画であるとしたら内向性でない fact2: もし仮になにがしかのものが纏まり易いとすればそれは所狭くない fact3: 野暮ったい物はふさふさする fact4: 「この艦列は塗り固める」ということは事実だ fact5: 仮にあるものがＵＳなら野暮ったいがしかし多いということはない fact6: この艦列は課するがしかし御披露目しない ; $hypothesis$ = この艦列はＵＳであるとしたらふさふさする ; $proof$ = 
fact5 -> int1: この艦列はＵＳであるとすればそれは野暮ったいがしかし多いということはない; void -> assump1: 以下のように仮定する。この艦列はＵＳだ; int1 & assump1 -> int2: この艦列は野暮ったいが多くない; int2 -> int3: この艦列は野暮ったい; fact3 -> int4: 「もし仮にこの艦列が野暮ったいならばこの艦列はふさふさする」ということは事実である; int3 & int4 -> int5: この艦列はふさふさする; [assump1] & int5 -> hypothesis; __PROVED__
事実1: なにかは細密画であるとしたら内向性でない
事実2: もし仮になにがしかのものが纏まり易いとすればそれは所狭くない
事実3: 野暮ったい物はふさふさする
事実4: 「この艦列は塗り固める」ということは事実だ
事実5: 仮にあるものがＵＳなら野暮ったいがしかし多いということはない
事実6: この艦列は課するがしかし御披露目しない

仮説: この艦列はＵＳであるとしたらふさふさする
1. 事実5から、推論1: "この艦列はＵＳであるとすればそれは野暮ったいがしかし多いということはない"が導かれる
2. 仮定1: 以下のように仮定する。この艦列はＵＳだ
3. 推論1と仮定1から、推論2: "この艦列は野暮ったいが多くない"が導かれる
4. 推論2から、推論3: "この艦列は野暮ったい"が導かれる
5. 事実3から、推論4: "「もし仮にこの艦列が野暮ったいならばこの艦列はふさふさする」ということは事実である"が導かれる
6. 推論3と推論4から、推論5: "この艦列はふさふさする"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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