「もし「粗い」ということは真実であるなら「備考である」ということは誤りでない」ものはある
fact1: 粗いものは造立しないけど備考である fact2: 「仮に馬面だとすると「眩しい」ということは成り立つ」物はある
fact1 -> int1: もし仮にこの其れ以上が粗いとしたらそれは造立しないがしかし備考である; void -> assump1: 以下のように仮定する。この其れ以上は粗い; int1 & assump1 -> int2: この其れ以上は造立しないけれど備考である; int2 -> int3: この其れ以上は備考である; [assump1] & int3 -> int4: この其れ以上が粗いとするとそれは備考だ; int4 -> hypothesis;
$facts$ = fact1: 粗いものは造立しないけど備考である fact2: 「仮に馬面だとすると「眩しい」ということは成り立つ」物はある ; $hypothesis$ = 「もし「粗い」ということは真実であるなら「備考である」ということは誤りでない」ものはある ; $proof$ = 
fact1 -> int1: もし仮にこの其れ以上が粗いとしたらそれは造立しないがしかし備考である; void -> assump1: 以下のように仮定する。この其れ以上は粗い; int1 & assump1 -> int2: この其れ以上は造立しないけれど備考である; int2 -> int3: この其れ以上は備考である; [assump1] & int3 -> int4: この其れ以上が粗いとするとそれは備考だ; int4 -> hypothesis; __PROVED__
事実1: 粗いものは造立しないけど備考である
事実2: 「仮に馬面だとすると「眩しい」ということは成り立つ」物はある

仮説: 「もし「粗い」ということは真実であるなら「備考である」ということは誤りでない」ものはある
1. 事実1から、推論1: "もし仮にこの其れ以上が粗いとしたらそれは造立しないがしかし備考である"が導かれる
2. 仮定1: 以下のように仮定する。この其れ以上は粗い
3. 推論1と仮定1から、推論2: "この其れ以上は造立しないけれど備考である"が導かれる
4. 推論2から、推論3: "この其れ以上は備考である"が導かれる
5. [仮定1]と推論3から、推論4: "この其れ以上が粗いとするとそれは備考だ"が導かれる
6. 推論4から、仮説が導かれる

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