信じ易いということが起こる
fact1: まにゃまなLv.26事件が生じるということは長々しいということをもたらす fact2: 信じ易いということは長々しいということおよび忙しいということが起こるに阻止される fact3: 建言することが生じる fact4: 気高しということが発生する fact5: 建言することはまにゃまなLv.26事件を引き起こす fact6: 「忙しいということが起こる」ということは確かである fact7: まゆまちょLv.89事件は発生しない
fact3 & fact5 -> int1: まにゃまなLv.26事件が起きる; fact1 & int1 -> int2: 長々しいということが起きる; int2 & fact6 -> int3: 長々しいということが起こるし忙しいということが起きる; int3 & fact2 -> hypothesis;
fact3 & fact5 -> int1: {A}; fact1 & int1 -> int2: {B}; int2 & fact6 -> int3: ({B} & {C}); int3 & fact2 -> hypothesis;
$facts$ = fact1: まにゃまなLv.26事件が生じるということは長々しいということをもたらす fact2: 信じ易いということは長々しいということおよび忙しいということが起こるに阻止される fact3: 建言することが生じる fact4: 気高しということが発生する fact5: 建言することはまにゃまなLv.26事件を引き起こす fact6: 「忙しいということが起こる」ということは確かである fact7: まゆまちょLv.89事件は発生しない ; $hypothesis$ = 信じ易いということが起こる ; $proof$ = 
fact3 & fact5 -> int1: まにゃまなLv.26事件が起きる; fact1 & int1 -> int2: 長々しいということが起きる; int2 & fact6 -> int3: 長々しいということが起こるし忙しいということが起きる; int3 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: {A}; fact1 & int1 -> int2: {B}; int2 & fact6 -> int3: ({B} & {C}); int3 & fact2 -> hypothesis; __DISPROVED__