ふてぶてしいということが起こる
fact1: まえまちゅLv.26事件が起こる fact2: 「乾き易いということが起こるし見間違うことが起こる」ということはふてぶてしいということを阻止する fact3: 乾き易いということが発生する fact4: 付き易いということが起こる fact5: 見間違うことが生じるしおまけにまえまちゅLv.26事件が起きる
fact5 -> int1: 「見間違うことが生じる」ということは本当だ; int1 & fact3 -> int2: 乾き易いということおよび見間違うこと両方が発生する; int2 & fact2 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact2 -> hypothesis;
$facts$ = fact1: まえまちゅLv.26事件が起こる fact2: 「乾き易いということが起こるし見間違うことが起こる」ということはふてぶてしいということを阻止する fact3: 乾き易いということが発生する fact4: 付き易いということが起こる fact5: 見間違うことが生じるしおまけにまえまちゅLv.26事件が起きる ; $hypothesis$ = ふてぶてしいということが起こる ; $proof$ = 
fact5 -> int1: 「見間違うことが生じる」ということは本当だ; int1 & fact3 -> int2: 乾き易いということおよび見間違うこと両方が発生する; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact2 -> hypothesis; __DISPROVED__