あの人権憲法はちょろくないけど手続き出来る
fact1: このテレビメディアは勇気付けるということはないかあるいは固いかあるいはどちらもだとすれば「御若くない」ということは正しい fact2: もし仮にあの人権憲法は手続き出来ないかもしくは勇気付けるかどちらもならばそれは御若いということはない fact3: 仮にこのテレビメディアがちょろくないならばあの人権憲法は固い fact4: このテレビメディアは勇気付けない fact5: このテレビメディアは勇気付けるか固いかあるいは両方ともだ fact6: もし仮にこのテレビメディアが御若くないならあの人権憲法は手続き出来る fact7: もし「このテレビメディアはちょろくない」ということは本当であるならあの人権憲法は御若くないけど手続き出来る fact8: あの人権憲法は手続き出来る fact9: あの植物群落は築かないがしかしそれは絶句する fact10: もしもあの人権憲法が固くないかあるいはそれは勇気付けるかあるいは両方であるとしたらそれはちょろくない fact11: もしもなんらかの物が勇気付けるし更にそれが御若いならこのループ電流は固くない fact12: もし仮にこのテレビメディアが御若いとすると当て嵌まるということはない fact13: もしあの人権憲法は固くないとすれば「このテレビメディアはちょろい」ということは事実である fact14: もしもこのテレビメディアが御若くないならあの人権憲法はちょろいということはないけどそれは手続き出来る fact15: もしもこのテレビメディアが手続き出来ないならばあの人権憲法は勇気付けないけれどそれは固い
fact4 -> int1: このテレビメディアは勇気付けるということはないかもしくはそれは固いかあるいはどちらもである; int1 & fact1 -> int2: このテレビメディアは御若くない; int2 & fact14 -> hypothesis;
fact4 -> int1: (¬{A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact14 -> hypothesis;
「このループ電流は固いということはない」ということは本当である
$facts$ = fact1: このテレビメディアは勇気付けるということはないかあるいは固いかあるいはどちらもだとすれば「御若くない」ということは正しい fact2: もし仮にあの人権憲法は手続き出来ないかもしくは勇気付けるかどちらもならばそれは御若いということはない fact3: 仮にこのテレビメディアがちょろくないならばあの人権憲法は固い fact4: このテレビメディアは勇気付けない fact5: このテレビメディアは勇気付けるか固いかあるいは両方ともだ fact6: もし仮にこのテレビメディアが御若くないならあの人権憲法は手続き出来る fact7: もし「このテレビメディアはちょろくない」ということは本当であるならあの人権憲法は御若くないけど手続き出来る fact8: あの人権憲法は手続き出来る fact9: あの植物群落は築かないがしかしそれは絶句する fact10: もしもあの人権憲法が固くないかあるいはそれは勇気付けるかあるいは両方であるとしたらそれはちょろくない fact11: もしもなんらかの物が勇気付けるし更にそれが御若いならこのループ電流は固くない fact12: もし仮にこのテレビメディアが御若いとすると当て嵌まるということはない fact13: もしあの人権憲法は固くないとすれば「このテレビメディアはちょろい」ということは事実である fact14: もしもこのテレビメディアが御若くないならあの人権憲法はちょろいということはないけどそれは手続き出来る fact15: もしもこのテレビメディアが手続き出来ないならばあの人権憲法は勇気付けないけれどそれは固い ; $hypothesis$ = あの人権憲法はちょろくないけど手続き出来る ; $proof$ = 
fact4 -> int1: このテレビメディアは勇気付けるということはないかもしくはそれは固いかあるいはどちらもである; int1 & fact1 -> int2: このテレビメディアは御若くない; int2 & fact14 -> hypothesis; __PROVED__
事実1: このテレビメディアは勇気付けるということはないかあるいは固いかあるいはどちらもだとすれば「御若くない」ということは正しい
事実2: もし仮にあの人権憲法は手続き出来ないかもしくは勇気付けるかどちらもならばそれは御若いということはない
事実3: 仮にこのテレビメディアがちょろくないならばあの人権憲法は固い
事実4: このテレビメディアは勇気付けない
事実5: このテレビメディアは勇気付けるか固いかあるいは両方ともだ
事実6: もし仮にこのテレビメディアが御若くないならあの人権憲法は手続き出来る
事実7: もし「このテレビメディアはちょろくない」ということは本当であるならあの人権憲法は御若くないけど手続き出来る
事実8: あの人権憲法は手続き出来る
事実9: あの植物群落は築かないがしかしそれは絶句する
事実10: もしもあの人権憲法が固くないかあるいはそれは勇気付けるかあるいは両方であるとしたらそれはちょろくない
事実11: もしもなんらかの物が勇気付けるし更にそれが御若いならこのループ電流は固くない
事実12: もし仮にこのテレビメディアが御若いとすると当て嵌まるということはない
事実13: もしあの人権憲法は固くないとすれば「このテレビメディアはちょろい」ということは事実である
事実14: もしもこのテレビメディアが御若くないならあの人権憲法はちょろいということはないけどそれは手続き出来る
事実15: もしもこのテレビメディアが手続き出来ないならばあの人権憲法は勇気付けないけれどそれは固い

仮説: あの人権憲法はちょろくないけど手続き出来る
1. 事実4から、推論1: "このテレビメディアは勇気付けるということはないかもしくはそれは固いかあるいはどちらもである"が導かれる
2. 推論1と事実1から、推論2: "このテレビメディアは御若くない"が導かれる
3. 推論2と事実14から、仮説が導かれる

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