この食事会はフランコ政権である
fact1: なんらかの物はフランコ政権であるとすれば捕らえ易い fact2: もし仮に「あの号は去りしないかまたは招待するかあるいはどちらもだ」ということは嘘ならばこの基本量は捕らえ易い fact3: もし仮にこの基本量が捕らえ易いとすればあの食事会はフランコ政権である fact4: もしもあの号がフランコ政権だ一方でそれが捕らえ易くないならこの食事会はフランコ政権であるということはない fact5: もしもその霜降りが言い難くないとすればリダイレクトするし寄生する fact6: もし仮になにかは歌い終わるとすればロデオでなくてアメリカらしくない fact7: その霜降りは言い難くない fact8: 「あの号は去りしないかあるいは招待する」ということは成り立たない fact9: もし「ある物はエクスポートする一方で歌い終わらない」ということは成り立つということはないとしたらそれは歌い終わる fact10: この基本量が希釈するとするとあの号はフランコ政権である fact11: もしもその霜降りは寄生するなら「この食事会はエクスポートするがしかし歌い終わらない」ということは誤りである fact12: なにがしかの物がアメリカらしくないとするとこの基本量は希釈するかもしくはフランコ政権であるかどちらもだ
fact2 & fact8 -> int1: この基本量は捕らえ易い; int1 & fact3 -> hypothesis;
fact2 & fact8 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
この食事会はフランコ政権であるということはない
$facts$ = fact1: なんらかの物はフランコ政権であるとすれば捕らえ易い fact2: もし仮に「あの号は去りしないかまたは招待するかあるいはどちらもだ」ということは嘘ならばこの基本量は捕らえ易い fact3: もし仮にこの基本量が捕らえ易いとすればあの食事会はフランコ政権である fact4: もしもあの号がフランコ政権だ一方でそれが捕らえ易くないならこの食事会はフランコ政権であるということはない fact5: もしもその霜降りが言い難くないとすればリダイレクトするし寄生する fact6: もし仮になにかは歌い終わるとすればロデオでなくてアメリカらしくない fact7: その霜降りは言い難くない fact8: 「あの号は去りしないかあるいは招待する」ということは成り立たない fact9: もし「ある物はエクスポートする一方で歌い終わらない」ということは成り立つということはないとしたらそれは歌い終わる fact10: この基本量が希釈するとするとあの号はフランコ政権である fact11: もしもその霜降りは寄生するなら「この食事会はエクスポートするがしかし歌い終わらない」ということは誤りである fact12: なにがしかの物がアメリカらしくないとするとこの基本量は希釈するかもしくはフランコ政権であるかどちらもだ ; $hypothesis$ = この食事会はフランコ政権である ; $proof$ = 
fact2 & fact8 -> int1: この基本量は捕らえ易い; int1 & fact3 -> hypothesis; __PROVED__
事実1: なんらかの物はフランコ政権であるとすれば捕らえ易い
事実2: もし仮に「あの号は去りしないかまたは招待するかあるいはどちらもだ」ということは嘘ならばこの基本量は捕らえ易い
事実3: もし仮にこの基本量が捕らえ易いとすればあの食事会はフランコ政権である
事実4: もしもあの号がフランコ政権だ一方でそれが捕らえ易くないならこの食事会はフランコ政権であるということはない
事実5: もしもその霜降りが言い難くないとすればリダイレクトするし寄生する
事実6: もし仮になにかは歌い終わるとすればロデオでなくてアメリカらしくない
事実7: その霜降りは言い難くない
事実8: 「あの号は去りしないかあるいは招待する」ということは成り立たない
事実9: もし「ある物はエクスポートする一方で歌い終わらない」ということは成り立つということはないとしたらそれは歌い終わる
事実10: この基本量が希釈するとするとあの号はフランコ政権である
事実11: もしもその霜降りは寄生するなら「この食事会はエクスポートするがしかし歌い終わらない」ということは誤りである
事実12: なにがしかの物がアメリカらしくないとするとこの基本量は希釈するかもしくはフランコ政権であるかどちらもだ

仮説: この食事会はフランコ政権である
1. 事実2と事実8から、推論1: "この基本量は捕らえ易い"が導かれる
2. 推論1と事実3から、仮説が導かれる

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