あの年金規約は伴い易くない
fact1: 「弁論な」ものはある fact2: もし仮になにかは根負けするとすれば「それは環境作りである」ということは事実である fact3: あのワンフロア全ては伴い易くない fact4: もし「とある物はリレーションズＨＩＰである」ということは確かだとしたらあのバラクーダはＰ点でない fact5: もしあの年金規約が伴い易いしさらに環境作りであるならあの第四十四話は伴い易いということはない fact6: あの年金規約は作り易くない fact7: 「哀悼である」ものはある fact8: 「「加工し易い」ということは本当な」ものはある fact9: もし仮にある物が根負けするならばあの年金規約は伴い易いということはない fact10: あの年金規約は根負けしない fact11: 「望ましい」物はある fact12: 仮に「古い」ものがあるとすればこの鍵盤楽器は帰藩しない fact13: 小汚い物があるならあの年金規約は伴い易くない fact14: 仮に「キャスター付きである」物があるとすればあの年金規約は御安くない fact15: 「根負けする」物はある fact16: 「「伴い易い」ということは本当である」物はある fact17: 仮に「あの国防は環境作りだがしかし根負けするということはない」ということは嘘だとすればあの年金規約は伴い易い
fact15 & fact9 -> hypothesis;
fact15 & fact9 -> hypothesis;
あの第四十四話は伴い易くない
fact18 -> int1: もし仮にあの年金規約は根負けするとすると「環境作りだ」ということは事実だ;
$facts$ = fact1: 「弁論な」ものはある fact2: もし仮になにかは根負けするとすれば「それは環境作りである」ということは事実である fact3: あのワンフロア全ては伴い易くない fact4: もし「とある物はリレーションズＨＩＰである」ということは確かだとしたらあのバラクーダはＰ点でない fact5: もしあの年金規約が伴い易いしさらに環境作りであるならあの第四十四話は伴い易いということはない fact6: あの年金規約は作り易くない fact7: 「哀悼である」ものはある fact8: 「「加工し易い」ということは本当な」ものはある fact9: もし仮にある物が根負けするならばあの年金規約は伴い易いということはない fact10: あの年金規約は根負けしない fact11: 「望ましい」物はある fact12: 仮に「古い」ものがあるとすればこの鍵盤楽器は帰藩しない fact13: 小汚い物があるならあの年金規約は伴い易くない fact14: 仮に「キャスター付きである」物があるとすればあの年金規約は御安くない fact15: 「根負けする」物はある fact16: 「「伴い易い」ということは本当である」物はある fact17: 仮に「あの国防は環境作りだがしかし根負けするということはない」ということは嘘だとすればあの年金規約は伴い易い ; $hypothesis$ = あの年金規約は伴い易くない ; $proof$ = 
fact15 & fact9 -> hypothesis; __PROVED__
事実1: 「弁論な」ものはある
事実2: もし仮になにかは根負けするとすれば「それは環境作りである」ということは事実である
事実3: あのワンフロア全ては伴い易くない
事実4: もし「とある物はリレーションズＨＩＰである」ということは確かだとしたらあのバラクーダはＰ点でない
事実5: もしあの年金規約が伴い易いしさらに環境作りであるならあの第四十四話は伴い易いということはない
事実6: あの年金規約は作り易くない
事実7: 「哀悼である」ものはある
事実8: 「「加工し易い」ということは本当な」ものはある
事実9: もし仮にある物が根負けするならばあの年金規約は伴い易いということはない
事実10: あの年金規約は根負けしない
事実11: 「望ましい」物はある
事実12: 仮に「古い」ものがあるとすればこの鍵盤楽器は帰藩しない
事実13: 小汚い物があるならあの年金規約は伴い易くない
事実14: 仮に「キャスター付きである」物があるとすればあの年金規約は御安くない
事実15: 「根負けする」物はある
事実16: 「「伴い易い」ということは本当である」物はある
事実17: 仮に「あの国防は環境作りだがしかし根負けするということはない」ということは嘘だとすればあの年金規約は伴い易い

仮説: あの年金規約は伴い易くない
1. 事実15と事実9から、仮説が導かれる

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