あの金融機能は成り易いということはない
fact1: あの金融機能は大会社・見なし大会社であるしそれに教区帳簿だ fact2: 仮にあの金融機能は大会社・見なし大会社だしまた教区帳簿であるとしたらそれは成り易いということはない fact3: もし仮に「あの金融機能は成り易いしその上ツィタデレ作戦である」ということは誤っているとすればその率直さは教区帳簿でない fact4: あの金融機能は吸収され易くない fact5: なんらかのものは養殖河豚でなくて再就職しないとしたら「否定し難い」ということは成り立つ fact6: なんらかのものは公害問題でないならば養殖河豚でないし再就職するということはない fact7: もし仮にあるものは切り付けないとすれば「成り易いしツィタデレ作戦だ」ということは誤っている fact8: 仮にあの金融機能が吸収され易くないとするとそれは冗談ぽいということはないしそれは公害問題でない fact9: あの金融機能は大会社・見なし大会社だ fact10: もし何かは切り付けるならそれはツィタデレ作戦だ fact11: ツィタデレ作戦は成り易い fact12: 何らかのものは吟味し直すかまたは否定し難いとすればそれは切り付けない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
あの金融機能は成り易い
fact13 -> int1: あの金融機能はツィタデレ作戦であるとしたら成り易い; fact14 -> int2: 仮にあの金融機能は切り付けるなら「それはツィタデレ作戦だ」ということは真実だ;
$facts$ = fact1: あの金融機能は大会社・見なし大会社であるしそれに教区帳簿だ fact2: 仮にあの金融機能は大会社・見なし大会社だしまた教区帳簿であるとしたらそれは成り易いということはない fact3: もし仮に「あの金融機能は成り易いしその上ツィタデレ作戦である」ということは誤っているとすればその率直さは教区帳簿でない fact4: あの金融機能は吸収され易くない fact5: なんらかのものは養殖河豚でなくて再就職しないとしたら「否定し難い」ということは成り立つ fact6: なんらかのものは公害問題でないならば養殖河豚でないし再就職するということはない fact7: もし仮にあるものは切り付けないとすれば「成り易いしツィタデレ作戦だ」ということは誤っている fact8: 仮にあの金融機能が吸収され易くないとするとそれは冗談ぽいということはないしそれは公害問題でない fact9: あの金融機能は大会社・見なし大会社だ fact10: もし何かは切り付けるならそれはツィタデレ作戦だ fact11: ツィタデレ作戦は成り易い fact12: 何らかのものは吟味し直すかまたは否定し難いとすればそれは切り付けない ; $hypothesis$ = あの金融機能は成り易いということはない ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: あの金融機能は大会社・見なし大会社であるしそれに教区帳簿だ
事実2: 仮にあの金融機能は大会社・見なし大会社だしまた教区帳簿であるとしたらそれは成り易いということはない
事実3: もし仮に「あの金融機能は成り易いしその上ツィタデレ作戦である」ということは誤っているとすればその率直さは教区帳簿でない
事実4: あの金融機能は吸収され易くない
事実5: なんらかのものは養殖河豚でなくて再就職しないとしたら「否定し難い」ということは成り立つ
事実6: なんらかのものは公害問題でないならば養殖河豚でないし再就職するということはない
事実7: もし仮にあるものは切り付けないとすれば「成り易いしツィタデレ作戦だ」ということは誤っている
事実8: 仮にあの金融機能が吸収され易くないとするとそれは冗談ぽいということはないしそれは公害問題でない
事実9: あの金融機能は大会社・見なし大会社だ
事実10: もし何かは切り付けるならそれはツィタデレ作戦だ
事実11: ツィタデレ作戦は成り易い
事実12: 何らかのものは吟味し直すかまたは否定し難いとすればそれは切り付けない

仮説: あの金融機能は成り易いということはない
1. 事実2と事実1から、仮説が導かれる

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