この知覚探索活動はサックでないけどそれは奇遇である
fact1: この知覚探索活動は悪賢い fact2: 仮になにかは出土しないならばサックでないがしかし奇遇だ fact3: この知覚探索活動は平準化しない fact4: 仮になにがしかの物はモンゴル国でないなら客観視出来ない一方で一時間前だ fact5: 悪賢くないものはサックでない fact6: この知覚探索活動はサックでないがそれは御優しい fact7: 仮にこのＰＶＤＣコートＯＰＰは出土しないとすると「「この知覚探索活動はサックでない一方で奇遇だ」ということは本当だ」ということは誤りだ fact8: この知覚探索活動は捕らわれ易い fact9: もしなにかは悪賢くないとしたら奇遇でない fact10: この知覚探索活動は悪賢いけれど出土しない
fact2 -> int1: もしこの知覚探索活動が出土しないとするとそれはサックであるということはないがしかし奇遇である; fact10 -> int2: この知覚探索活動は出土しない; int1 & int2 -> hypothesis;
「この知覚探索活動はサックでない一方でそれは奇遇だ」ということは嘘である
$facts$ = fact1: この知覚探索活動は悪賢い fact2: 仮になにかは出土しないならばサックでないがしかし奇遇だ fact3: この知覚探索活動は平準化しない fact4: 仮になにがしかの物はモンゴル国でないなら客観視出来ない一方で一時間前だ fact5: 悪賢くないものはサックでない fact6: この知覚探索活動はサックでないがそれは御優しい fact7: 仮にこのＰＶＤＣコートＯＰＰは出土しないとすると「「この知覚探索活動はサックでない一方で奇遇だ」ということは本当だ」ということは誤りだ fact8: この知覚探索活動は捕らわれ易い fact9: もしなにかは悪賢くないとしたら奇遇でない fact10: この知覚探索活動は悪賢いけれど出土しない ; $hypothesis$ = この知覚探索活動はサックでないけどそれは奇遇である ; $proof$ = 
fact2 -> int1: もしこの知覚探索活動が出土しないとするとそれはサックであるということはないがしかし奇遇である; fact10 -> int2: この知覚探索活動は出土しない; int1 & int2 -> hypothesis; __PROVED__
事実1: この知覚探索活動は悪賢い
事実2: 仮になにかは出土しないならばサックでないがしかし奇遇だ
事実3: この知覚探索活動は平準化しない
事実4: 仮になにがしかの物はモンゴル国でないなら客観視出来ない一方で一時間前だ
事実5: 悪賢くないものはサックでない
事実6: この知覚探索活動はサックでないがそれは御優しい
事実7: 仮にこのＰＶＤＣコートＯＰＰは出土しないとすると「「この知覚探索活動はサックでない一方で奇遇だ」ということは本当だ」ということは誤りだ
事実8: この知覚探索活動は捕らわれ易い
事実9: もしなにかは悪賢くないとしたら奇遇でない
事実10: この知覚探索活動は悪賢いけれど出土しない

仮説: この知覚探索活動はサックでないけどそれは奇遇である
1. 事実2から、推論1: "もしこの知覚探索活動が出土しないとするとそれはサックであるということはないがしかし奇遇である"が導かれる
2. 事実10から、推論2: "この知覚探索活動は出土しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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