あの送信可能化権は下町情緒だが御偉くない
fact1: あの送信可能化権は観光客らしくない fact2: もし仮にあの送信可能化権は薄くないとすれば「この立札はバッティングフォームであるしさらにバーチャル・リアリティである」ということは誤りだ fact3: もしなにがしかの物は観光客らしいならば「それは下町情緒であるけれど御偉くない」ということは偽である fact4: あの送信可能化権が観光客らしいということはないとすればそれは下町情緒であるしそれは御偉くない fact5: あの認証申請は過剰反応しないならば「バッティングフォームでないかまたはそれは薄い」ということは事実と異なる fact6: もしもなんらかの物がバーチャル・リアリティだとするとそれは観光客らしい fact7: あの送信可能化権は下町情緒でないなら親し fact8: あの認証申請が過剰反応するかあるいは論じないか両方ともであるならばあの送信可能化権は薄くない fact9: もし仮にその貸借関係がＰＩＤでないならばあの認証申請は過剰反応するかまたはそれは論じないか両方だ fact10: 「何かはバッティングフォームであるしその上バーチャル・リアリティだ」ということは嘘だとしたら観光客らしくない fact11: もしあの送信可能化権がデザイン性でないならば動き始めるしさらに御偉くない
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
「この立札は観光客らしくない」ということは成り立つ
fact13 -> int1: もし仮に「「この立札はバッティングフォームであるしおまけにそれはバーチャル・リアリティである」ということは成り立つ」ということは間違っているとすればそれは観光客らしくない;
$facts$ = fact1: あの送信可能化権は観光客らしくない fact2: もし仮にあの送信可能化権は薄くないとすれば「この立札はバッティングフォームであるしさらにバーチャル・リアリティである」ということは誤りだ fact3: もしなにがしかの物は観光客らしいならば「それは下町情緒であるけれど御偉くない」ということは偽である fact4: あの送信可能化権が観光客らしいということはないとすればそれは下町情緒であるしそれは御偉くない fact5: あの認証申請は過剰反応しないならば「バッティングフォームでないかまたはそれは薄い」ということは事実と異なる fact6: もしもなんらかの物がバーチャル・リアリティだとするとそれは観光客らしい fact7: あの送信可能化権は下町情緒でないなら親し fact8: あの認証申請が過剰反応するかあるいは論じないか両方ともであるならばあの送信可能化権は薄くない fact9: もし仮にその貸借関係がＰＩＤでないならばあの認証申請は過剰反応するかまたはそれは論じないか両方だ fact10: 「何かはバッティングフォームであるしその上バーチャル・リアリティだ」ということは嘘だとしたら観光客らしくない fact11: もしあの送信可能化権がデザイン性でないならば動き始めるしさらに御偉くない ; $hypothesis$ = あの送信可能化権は下町情緒だが御偉くない ; $proof$ = 
fact4 & fact1 -> hypothesis; __PROVED__
事実1: あの送信可能化権は観光客らしくない
事実2: もし仮にあの送信可能化権は薄くないとすれば「この立札はバッティングフォームであるしさらにバーチャル・リアリティである」ということは誤りだ
事実3: もしなにがしかの物は観光客らしいならば「それは下町情緒であるけれど御偉くない」ということは偽である
事実4: あの送信可能化権が観光客らしいということはないとすればそれは下町情緒であるしそれは御偉くない
事実5: あの認証申請は過剰反応しないならば「バッティングフォームでないかまたはそれは薄い」ということは事実と異なる
事実6: もしもなんらかの物がバーチャル・リアリティだとするとそれは観光客らしい
事実7: あの送信可能化権は下町情緒でないなら親し
事実8: あの認証申請が過剰反応するかあるいは論じないか両方ともであるならばあの送信可能化権は薄くない
事実9: もし仮にその貸借関係がＰＩＤでないならばあの認証申請は過剰反応するかまたはそれは論じないか両方だ
事実10: 「何かはバッティングフォームであるしその上バーチャル・リアリティだ」ということは嘘だとしたら観光客らしくない
事実11: もしあの送信可能化権がデザイン性でないならば動き始めるしさらに御偉くない

仮説: あの送信可能化権は下町情緒だが御偉くない
1. 事実4と事実1から、仮説が導かれる

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