その二重顎は突破口でない
fact1: もしもその二重顎は通常一般であるし加えていみじならばそれは伝わり易いということはない fact2: もしもその二重顎が折り曲げ部分ならば突破口でない fact3: 「その権利付与は折り曲げ部分だけど突破口でない」ということは成り立たないとしたら折り曲げ部分でない fact4: 仮に「その二重顎はぎごちないかまたは折り曲げ部分であるかあるいは両方ともだ」ということは事実であるならそれは突破口でない fact5: 「その二重顎は通常一般である」ということは成り立つ fact6: その二重顎は伝わり易い fact7: もしその二重顎がいみじないとすればそれはぎごちないかもしくは折り曲げ部分であるかもしくは両方ともである fact8: その権利付与はいみじないなら「その二重顎は通常一般でないがしかしぎごちない」ということは間違いだ
void -> assump1: 以下のように仮定する。その二重顎はいみじ; fact5 & assump1 -> int1: 「その二重顎は通常一般でいみじ」ということは本当だ; int1 & fact1 -> int2: その二重顎は伝わり易くない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: その二重顎はいみじということはない; int4 & fact7 -> int5: その二重顎はぎごちないかもしくは折り曲げ部分である; int5 & fact4 -> hypothesis;
この火生土はぎごちなくない
$facts$ = fact1: もしもその二重顎は通常一般であるし加えていみじならばそれは伝わり易いということはない fact2: もしもその二重顎が折り曲げ部分ならば突破口でない fact3: 「その権利付与は折り曲げ部分だけど突破口でない」ということは成り立たないとしたら折り曲げ部分でない fact4: 仮に「その二重顎はぎごちないかまたは折り曲げ部分であるかあるいは両方ともだ」ということは事実であるならそれは突破口でない fact5: 「その二重顎は通常一般である」ということは成り立つ fact6: その二重顎は伝わり易い fact7: もしその二重顎がいみじないとすればそれはぎごちないかもしくは折り曲げ部分であるかもしくは両方ともである fact8: その権利付与はいみじないなら「その二重顎は通常一般でないがしかしぎごちない」ということは間違いだ ; $hypothesis$ = その二重顎は突破口でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その二重顎はいみじ; fact5 & assump1 -> int1: 「その二重顎は通常一般でいみじ」ということは本当だ; int1 & fact1 -> int2: その二重顎は伝わり易くない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: その二重顎はいみじということはない; int4 & fact7 -> int5: その二重顎はぎごちないかもしくは折り曲げ部分である; int5 & fact4 -> hypothesis; __PROVED__
事実1: もしもその二重顎は通常一般であるし加えていみじならばそれは伝わり易いということはない
事実2: もしもその二重顎が折り曲げ部分ならば突破口でない
事実3: 「その権利付与は折り曲げ部分だけど突破口でない」ということは成り立たないとしたら折り曲げ部分でない
事実4: 仮に「その二重顎はぎごちないかまたは折り曲げ部分であるかあるいは両方ともだ」ということは事実であるならそれは突破口でない
事実5: 「その二重顎は通常一般である」ということは成り立つ
事実6: その二重顎は伝わり易い
事実7: もしその二重顎がいみじないとすればそれはぎごちないかもしくは折り曲げ部分であるかもしくは両方ともである
事実8: その権利付与はいみじないなら「その二重顎は通常一般でないがしかしぎごちない」ということは間違いだ

仮説: その二重顎は突破口でない
1. 仮定1: 以下のように仮定する。その二重顎はいみじ
2. 事実5と仮定1から、推論1: "「その二重顎は通常一般でいみじ」ということは本当だ"が導かれる
3. 推論1と事実1から、推論2: "その二重顎は伝わり易くない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その二重顎はいみじということはない"が導かれる
6. 推論4と事実7から、推論5: "その二重顎はぎごちないかもしくは折り曲げ部分である"が導かれる
7. 推論5と事実4から、仮説が導かれる

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