あの被説明変数は固くない
fact1: あの余儀は幼し fact2: とあるものが幼しないなら支障無いし固い fact3: あの余儀は交合するけれど意地悪くない fact4: もし仮にあの被説明変数が幼しないとすればそれは支障無くてそれに固い fact5: あの余儀は支障無い fact6: もしもあの余儀が攻め上がるとするとその深山鍬形は固くない fact7: あの不規則は支障無い fact8: 「支障無い」物はある fact9: もしなんらかの物が支障無いし幼しとするとあの被説明変数は固くない fact10: 開き易いししかも保ち易い物はある fact11: あの被説明変数は支障無い fact12: 固くないものは支障無くてかつ幼し fact13: もしあるものがさないとしたら攻め上がらないし更に幼しない fact14: もしあの余儀が幼しないけれどそれがすならあの被説明変数は幼しない fact15: 「「幼し」ということは成り立つ」ものはある fact16: もしも支障無いものが幼しとするとあの余儀は固くない fact17: 仮に「固くてまた支障無い」ものがあるならあの被説明変数は幼しない
fact5 & fact1 -> int1: あの余儀は支障無いししかも幼し; int1 -> int2: 何かは支障無くてかつ幼し; int2 & fact9 -> hypothesis;
fact5 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact9 -> hypothesis;
その深山鍬形は支障無い
fact19 -> int3: もしその深山鍬形が固いということはないなら支障無くて更に幼し;
$facts$ = fact1: あの余儀は幼し fact2: とあるものが幼しないなら支障無いし固い fact3: あの余儀は交合するけれど意地悪くない fact4: もし仮にあの被説明変数が幼しないとすればそれは支障無くてそれに固い fact5: あの余儀は支障無い fact6: もしもあの余儀が攻め上がるとするとその深山鍬形は固くない fact7: あの不規則は支障無い fact8: 「支障無い」物はある fact9: もしなんらかの物が支障無いし幼しとするとあの被説明変数は固くない fact10: 開き易いししかも保ち易い物はある fact11: あの被説明変数は支障無い fact12: 固くないものは支障無くてかつ幼し fact13: もしあるものがさないとしたら攻め上がらないし更に幼しない fact14: もしあの余儀が幼しないけれどそれがすならあの被説明変数は幼しない fact15: 「「幼し」ということは成り立つ」ものはある fact16: もしも支障無いものが幼しとするとあの余儀は固くない fact17: 仮に「固くてまた支障無い」ものがあるならあの被説明変数は幼しない ; $hypothesis$ = あの被説明変数は固くない ; $proof$ = 
fact5 & fact1 -> int1: あの余儀は支障無いししかも幼し; int1 -> int2: 何かは支障無くてかつ幼し; int2 & fact9 -> hypothesis; __PROVED__
事実1: あの余儀は幼し
事実2: とあるものが幼しないなら支障無いし固い
事実3: あの余儀は交合するけれど意地悪くない
事実4: もし仮にあの被説明変数が幼しないとすればそれは支障無くてそれに固い
事実5: あの余儀は支障無い
事実6: もしもあの余儀が攻め上がるとするとその深山鍬形は固くない
事実7: あの不規則は支障無い
事実8: 「支障無い」物はある
事実9: もしなんらかの物が支障無いし幼しとするとあの被説明変数は固くない
事実10: 開き易いししかも保ち易い物はある
事実11: あの被説明変数は支障無い
事実12: 固くないものは支障無くてかつ幼し
事実13: もしあるものがさないとしたら攻め上がらないし更に幼しない
事実14: もしあの余儀が幼しないけれどそれがすならあの被説明変数は幼しない
事実15: 「「幼し」ということは成り立つ」ものはある
事実16: もしも支障無いものが幼しとするとあの余儀は固くない
事実17: 仮に「固くてまた支障無い」ものがあるならあの被説明変数は幼しない

仮説: あの被説明変数は固くない
1. 事実5と事実1から、推論1: "あの余儀は支障無いししかも幼し"が導かれる
2. 推論1から、推論2: "何かは支障無くてかつ幼し"が導かれる
3. 推論2と事実9から、仮説が導かれる

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