「その腕前は非武装中立でない」ということは真実だ
fact1: 「その腕前は取り出し易いけれど枠線でない」ということは正しい fact2: もし仮にその腕前は非武装中立なら「訳無くないしさらに生き生きしない」ということは成り立たない fact3: あの回虫は枠線である fact4: 仮に「その腕前は訳無くないししかもそれは生き生きしない」ということは偽であるならば取り出し易くない
void -> assump1: 以下のように仮定する。その腕前は非武装中立だ; fact2 & assump1 -> int1: 「その腕前は訳無くなくて生き生きしない」ということは誤りだ; int1 & fact4 -> int2: その腕前は取り出し易くない; fact1 -> int3: 「その腕前は取り出し易い」ということは成り立つ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「その腕前は取り出し易いけれど枠線でない」ということは正しい fact2: もし仮にその腕前は非武装中立なら「訳無くないしさらに生き生きしない」ということは成り立たない fact3: あの回虫は枠線である fact4: 仮に「その腕前は訳無くないししかもそれは生き生きしない」ということは偽であるならば取り出し易くない ; $hypothesis$ = 「その腕前は非武装中立でない」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その腕前は非武装中立だ; fact2 & assump1 -> int1: 「その腕前は訳無くなくて生き生きしない」ということは誤りだ; int1 & fact4 -> int2: その腕前は取り出し易くない; fact1 -> int3: 「その腕前は取り出し易い」ということは成り立つ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「その腕前は取り出し易いけれど枠線でない」ということは正しい
事実2: もし仮にその腕前は非武装中立なら「訳無くないしさらに生き生きしない」ということは成り立たない
事実3: あの回虫は枠線である
事実4: 仮に「その腕前は訳無くないししかもそれは生き生きしない」ということは偽であるならば取り出し易くない

仮説: 「その腕前は非武装中立でない」ということは真実だ
1. 仮定1: 以下のように仮定する。その腕前は非武装中立だ
2. 事実2と仮定1から、推論1: "「その腕前は訳無くなくて生き生きしない」ということは誤りだ"が導かれる
3. 推論1と事実4から、推論2: "その腕前は取り出し易くない"が導かれる
4. 事実1から、推論3: "「その腕前は取り出し易い」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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