あの良ちゃんは図像化しない
fact1: あの良ちゃんは名基だ fact2: なにかはタブであるかあるいは崩れ易いか両方である fact3: 何かは男らしいかあるいは修得出来る fact4: あの中小・地域金融機関は土地開発である fact5: 仮に「押し開くかまたは土地開発であるかまたはどちらもな」ものがあるならばあの良ちゃんは図像化する fact6: もし仮に何かは図像化するなら「あの中小・地域金融機関は押し開く」ということは事実である fact7: もし仮になにがしかの物が押し開くかもしくは土地開発であるかまたは両方であるとすれば「あの中小・地域金融機関は図像化する」ということは成り立つ fact8: 仮に「押し開く」ものがあればあの中小・地域金融機関は図像化する fact9: 「あの中小・地域金融機関は間引きしないが大映紙である」ということは誤りであるならばそれは大映紙でない fact10: あるものが図像化するかあるいはそれが土地開発であるとしたらあの中小・地域金融機関は押し開く fact11: あの雌系が押し開くとすると古臭い fact12: もし仮にあの中小・地域金融機関が大映紙でないとすれば図像化するし押し開く
fact4 -> int1: あの中小・地域金融機関は押し開くか土地開発であるかもしくは両方ともである; int1 -> int2: 「押し開くかまたは土地開発な」ものはある; int2 & fact5 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact5 -> hypothesis;
あの良ちゃんは図像化しない
$facts$ = fact1: あの良ちゃんは名基だ fact2: なにかはタブであるかあるいは崩れ易いか両方である fact3: 何かは男らしいかあるいは修得出来る fact4: あの中小・地域金融機関は土地開発である fact5: 仮に「押し開くかまたは土地開発であるかまたはどちらもな」ものがあるならばあの良ちゃんは図像化する fact6: もし仮に何かは図像化するなら「あの中小・地域金融機関は押し開く」ということは事実である fact7: もし仮になにがしかの物が押し開くかもしくは土地開発であるかまたは両方であるとすれば「あの中小・地域金融機関は図像化する」ということは成り立つ fact8: 仮に「押し開く」ものがあればあの中小・地域金融機関は図像化する fact9: 「あの中小・地域金融機関は間引きしないが大映紙である」ということは誤りであるならばそれは大映紙でない fact10: あるものが図像化するかあるいはそれが土地開発であるとしたらあの中小・地域金融機関は押し開く fact11: あの雌系が押し開くとすると古臭い fact12: もし仮にあの中小・地域金融機関が大映紙でないとすれば図像化するし押し開く ; $hypothesis$ = あの良ちゃんは図像化しない ; $proof$ = 
fact4 -> int1: あの中小・地域金融機関は押し開くか土地開発であるかもしくは両方ともである; int1 -> int2: 「押し開くかまたは土地開発な」ものはある; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: あの良ちゃんは名基だ
事実2: なにかはタブであるかあるいは崩れ易いか両方である
事実3: 何かは男らしいかあるいは修得出来る
事実4: あの中小・地域金融機関は土地開発である
事実5: 仮に「押し開くかまたは土地開発であるかまたはどちらもな」ものがあるならばあの良ちゃんは図像化する
事実6: もし仮に何かは図像化するなら「あの中小・地域金融機関は押し開く」ということは事実である
事実7: もし仮になにがしかの物が押し開くかもしくは土地開発であるかまたは両方であるとすれば「あの中小・地域金融機関は図像化する」ということは成り立つ
事実8: 仮に「押し開く」ものがあればあの中小・地域金融機関は図像化する
事実9: 「あの中小・地域金融機関は間引きしないが大映紙である」ということは誤りであるならばそれは大映紙でない
事実10: あるものが図像化するかあるいはそれが土地開発であるとしたらあの中小・地域金融機関は押し開く
事実11: あの雌系が押し開くとすると古臭い
事実12: もし仮にあの中小・地域金融機関が大映紙でないとすれば図像化するし押し開く

仮説: あの良ちゃんは図像化しない
1. 事実4から、推論1: "あの中小・地域金融機関は押し開くか土地開発であるかもしくは両方ともである"が導かれる
2. 推論1から、推論2: "「押し開くかまたは土地開発な」ものはある"が導かれる
3. 推論2と事実5から、仮説が否定される

よって、仮説が否定されました。