なにがしかのものは渡来するししかもそれはペイント弾である
fact1: そのコンピュータ・シミュレーションはやくざっぽい fact2: この協会は感覚する fact3: この協会は感覚するしそれに渡来する fact4: もし仮にそのコンピュータ・シミュレーションがやくざっぽいならばこの協会はペイント弾である fact5: もしもそのコンピュータ・シミュレーションは感覚するなら「この協会はやくざっぽい」ということは本当だ fact6: もしも何らかのものがやくざっぽいならば渡来する
fact4 & fact1 -> int1: この協会はペイント弾だ; fact3 -> int2: この協会は渡来する; int1 & int2 -> int3: この協会は渡来するしそれにペイント弾である; int3 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; fact3 -> int2: {C}{b}; int1 & int2 -> int3: ({C}{b} & {B}{b}); int3 -> hypothesis;
その反時計方向は渡来する
fact7 -> int4: 仮にその反時計方向がやくざっぽいとすればそれは渡来する;
$facts$ = fact1: そのコンピュータ・シミュレーションはやくざっぽい fact2: この協会は感覚する fact3: この協会は感覚するしそれに渡来する fact4: もし仮にそのコンピュータ・シミュレーションがやくざっぽいならばこの協会はペイント弾である fact5: もしもそのコンピュータ・シミュレーションは感覚するなら「この協会はやくざっぽい」ということは本当だ fact6: もしも何らかのものがやくざっぽいならば渡来する ; $hypothesis$ = なにがしかのものは渡来するししかもそれはペイント弾である ; $proof$ = 
fact4 & fact1 -> int1: この協会はペイント弾だ; fact3 -> int2: この協会は渡来する; int1 & int2 -> int3: この協会は渡来するしそれにペイント弾である; int3 -> hypothesis; __PROVED__
事実1: そのコンピュータ・シミュレーションはやくざっぽい
事実2: この協会は感覚する
事実3: この協会は感覚するしそれに渡来する
事実4: もし仮にそのコンピュータ・シミュレーションがやくざっぽいならばこの協会はペイント弾である
事実5: もしもそのコンピュータ・シミュレーションは感覚するなら「この協会はやくざっぽい」ということは本当だ
事実6: もしも何らかのものがやくざっぽいならば渡来する

仮説: なにがしかのものは渡来するししかもそれはペイント弾である
1. 事実4と事実1から、推論1: "この協会はペイント弾だ"が導かれる
2. 事実3から、推論2: "この協会は渡来する"が導かれる
3. 推論1と推論2から、推論3: "この協会は渡来するしそれにペイント弾である"が導かれる
4. 推論3から、仮説が導かれる

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