ぴにぴなLv.75事件は発生しない
fact1: まにまわLv.41事件が起きるしおまけに呼び入れることが起きる fact2: 「まにまわLv.41事件は起こらない」ということはアメリカっぽいということを防ぐ fact3: もしも散らかすことは発生しないなら盗み出すことが起きるしおまけに解し難いということが生じる fact4: 姦しいということが生じる fact5: もし解し難いということが発生するとしたらぷちゃぷねLv.25事件ではなくぴにぴなLv.75事件は発生する fact6: ぴにぴなLv.75事件は「ぷちゃぷねLv.25事件が発生するししかもまにまわLv.41事件が生じる」ということに阻まれる
fact1 -> int1: まにまわLv.41事件が起きる;
fact1 -> int1: {A};
アメリカっぽいということは起こらない
$facts$ = fact1: まにまわLv.41事件が起きるしおまけに呼び入れることが起きる fact2: 「まにまわLv.41事件は起こらない」ということはアメリカっぽいということを防ぐ fact3: もしも散らかすことは発生しないなら盗み出すことが起きるしおまけに解し難いということが生じる fact4: 姦しいということが生じる fact5: もし解し難いということが発生するとしたらぷちゃぷねLv.25事件ではなくぴにぴなLv.75事件は発生する fact6: ぴにぴなLv.75事件は「ぷちゃぷねLv.25事件が発生するししかもまにまわLv.41事件が生じる」ということに阻まれる ; $hypothesis$ = ぴにぴなLv.75事件は発生しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__