あの青少年保護は蹴りだ
fact1: その御養育が名状し難いならあの交尾行動は利用され易いということはないし名状し難くない fact2: あの交尾行動は利用され易くない fact3: あの交尾行動が緩くないが名状し難いならその御養育は利用され易い fact4: その市場分断は蹴りだということはない fact5: 仮に利用され易くないものは左サイドでないなら名状し難くない fact6: 名状し難くないものは蹴りであるがしかし緩くない fact7: あの青少年保護が蹴りでなくて名状し難くないならその御養育は緩い fact8: あの青少年保護は緩いということはない fact9: もし「「あの弦楽器は胸部Ｘ線撮影であるけれど消耗品でない」ということは本当である」ということは成り立たないとするとあの青少年保護は胸部Ｘ線撮影である fact10: あの交尾行動が利用され易くないしかつ名状し難いということはないとするとあの青少年保護は蹴りである fact11: もしもあの青少年保護が胸部Ｘ線撮影であるならばあの交尾行動は利用され易くないしおまけに左サイドでない fact12: あの交尾行動が利用され易くないししかもそれが左サイドでないならばあの御養育は名状し難いということはない fact13: その御養育は緩くてそれは名状し難い fact14: もしもあの交尾行動が胸部Ｘ線撮影でないならばその御養育は利用され易くないしかつ左サイドでない
fact13 -> int1: その御養育は名状し難い; int1 & fact1 -> int2: あの交尾行動は利用され易いということはないしそれに名状し難くない; int2 & fact10 -> hypothesis;
fact13 -> int1: {B}{a}; int1 & fact1 -> int2: (¬{D}{b} & ¬{B}{b}); int2 & fact10 -> hypothesis;
その御養育は蹴りだ
fact17 -> int3: もしも「その御養育は名状し難くない」ということは真実だとしたらそれが蹴りだししかもそれは緩くない;
$facts$ = fact1: その御養育が名状し難いならあの交尾行動は利用され易いということはないし名状し難くない fact2: あの交尾行動は利用され易くない fact3: あの交尾行動が緩くないが名状し難いならその御養育は利用され易い fact4: その市場分断は蹴りだということはない fact5: 仮に利用され易くないものは左サイドでないなら名状し難くない fact6: 名状し難くないものは蹴りであるがしかし緩くない fact7: あの青少年保護が蹴りでなくて名状し難くないならその御養育は緩い fact8: あの青少年保護は緩いということはない fact9: もし「「あの弦楽器は胸部Ｘ線撮影であるけれど消耗品でない」ということは本当である」ということは成り立たないとするとあの青少年保護は胸部Ｘ線撮影である fact10: あの交尾行動が利用され易くないしかつ名状し難いということはないとするとあの青少年保護は蹴りである fact11: もしもあの青少年保護が胸部Ｘ線撮影であるならばあの交尾行動は利用され易くないしおまけに左サイドでない fact12: あの交尾行動が利用され易くないししかもそれが左サイドでないならばあの御養育は名状し難いということはない fact13: その御養育は緩くてそれは名状し難い fact14: もしもあの交尾行動が胸部Ｘ線撮影でないならばその御養育は利用され易くないしかつ左サイドでない ; $hypothesis$ = あの青少年保護は蹴りだ ; $proof$ = 
fact13 -> int1: その御養育は名状し難い; int1 & fact1 -> int2: あの交尾行動は利用され易いということはないしそれに名状し難くない; int2 & fact10 -> hypothesis; __PROVED__
事実1: その御養育が名状し難いならあの交尾行動は利用され易いということはないし名状し難くない
事実2: あの交尾行動は利用され易くない
事実3: あの交尾行動が緩くないが名状し難いならその御養育は利用され易い
事実4: その市場分断は蹴りだということはない
事実5: 仮に利用され易くないものは左サイドでないなら名状し難くない
事実6: 名状し難くないものは蹴りであるがしかし緩くない
事実7: あの青少年保護が蹴りでなくて名状し難くないならその御養育は緩い
事実8: あの青少年保護は緩いということはない
事実9: もし「「あの弦楽器は胸部Ｘ線撮影であるけれど消耗品でない」ということは本当である」ということは成り立たないとするとあの青少年保護は胸部Ｘ線撮影である
事実10: あの交尾行動が利用され易くないしかつ名状し難いということはないとするとあの青少年保護は蹴りである
事実11: もしもあの青少年保護が胸部Ｘ線撮影であるならばあの交尾行動は利用され易くないしおまけに左サイドでない
事実12: あの交尾行動が利用され易くないししかもそれが左サイドでないならばあの御養育は名状し難いということはない
事実13: その御養育は緩くてそれは名状し難い
事実14: もしもあの交尾行動が胸部Ｘ線撮影でないならばその御養育は利用され易くないしかつ左サイドでない

仮説: あの青少年保護は蹴りだ
1. 事実13から、推論1: "その御養育は名状し難い"が導かれる
2. 推論1と事実1から、推論2: "あの交尾行動は利用され易いということはないしそれに名状し難くない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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