「黄色いということおよび浅黒いということ両方が起こる」ということは誤っている
fact1: 「浅黒いということが生じる」ということは事実と異ならない fact2: 「黄色いということが起きる」ということは真実だ fact3: 「見分け難いということが起こる」ということは成り立つ fact4: まやまにLv.31事件が生じる fact5: 持続することが発生する fact6: 仮に狡いということは生じないなら「黄色いということおよび浅黒いということどちらもが生じる」ということは間違っている
fact2 -> int1: 「黄色いということが起きる」ということは真実だ; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
「黄色いということおよび浅黒いということ両方が起こる」ということは誤っている
$facts$ = fact1: 「浅黒いということが生じる」ということは事実と異ならない fact2: 「黄色いということが起きる」ということは真実だ fact3: 「見分け難いということが起こる」ということは成り立つ fact4: まやまにLv.31事件が生じる fact5: 持続することが発生する fact6: 仮に狡いということは生じないなら「黄色いということおよび浅黒いということどちらもが生じる」ということは間違っている ; $hypothesis$ = 「黄色いということおよび浅黒いということ両方が起こる」ということは誤っている ; $proof$ = 
fact2 -> int1: 「黄色いということが起きる」ということは真実だ; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __DISPROVED__