「もしも次表でないとすると咲き乱れない」物はある
fact1: もし「この眼瞼周囲は次表でない」ということは真実であるとすればそれは咲き乱れる fact2: もし仮にある物は次表でないとすると「それは咲き乱れない」ということは成り立つ fact3: もしあるものが軽くないならそれは延焼しない
fact2 -> int1: 仮にこの眼瞼周囲は次表でないとしたら咲き乱れない; int1 -> hypothesis;
fact2 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし「この眼瞼周囲は次表でない」ということは真実であるとすればそれは咲き乱れる fact2: もし仮にある物は次表でないとすると「それは咲き乱れない」ということは成り立つ fact3: もしあるものが軽くないならそれは延焼しない ; $hypothesis$ = 「もしも次表でないとすると咲き乱れない」物はある ; $proof$ = 
fact2 -> int1: 仮にこの眼瞼周囲は次表でないとしたら咲き乱れない; int1 -> hypothesis; __PROVED__
事実1: もし「この眼瞼周囲は次表でない」ということは真実であるとすればそれは咲き乱れる
事実2: もし仮にある物は次表でないとすると「それは咲き乱れない」ということは成り立つ
事実3: もしあるものが軽くないならそれは延焼しない

仮説: 「もしも次表でないとすると咲き乱れない」物はある
1. 事実2から、推論1: "仮にこの眼瞼周囲は次表でないとしたら咲き乱れない"が導かれる
2. 推論1から、仮説が導かれる

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