「「「涙脆いということが生じる一方でまにまちゅLv.16事件は起こらない」ということは面目無いということにもたらされる」ということは事実である」ということは偽である
fact1: もしもぷいぷくLv.27事件が発生しないならば涙脆いということは発生するがしかしまにまちゅLv.16事件は生じない fact2: もし物寂しいということは起こらないとしたら貫徹出来ることが起きるしまちょまちゃLv.71事件は起きない fact3: 上げ難いということが起こる fact4: 見慣れ過ぎることが起こる fact5: 形容し難いということが発生する fact6: みよみにゃLv.43事件および当たり難いということどちらもが起こる fact7: 「面目無いということと見慣れ過ぎることどちらもが起きる」ということはぷいぷくLv.27事件を回避する fact8: 上げ易いということが起こる
void -> assump1: 以下のように仮定する。面目無いということが生じる; assump1 & fact4 -> int1: 面目無いということが発生するしまた見慣れ過ぎることが起こる; int1 & fact7 -> int2: 「「ぷいぷくLv.27事件が発生する」ということは成り立つ」ということは成り立たない; int2 & fact1 -> int3: 涙脆いということが生じるけどまにまちゅLv.16事件は発生しない; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & {B}); int1 & fact7 -> int2: ¬{C}; int2 & fact1 -> int3: ({E} & ¬{D}); [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしもぷいぷくLv.27事件が発生しないならば涙脆いということは発生するがしかしまにまちゅLv.16事件は生じない fact2: もし物寂しいということは起こらないとしたら貫徹出来ることが起きるしまちょまちゃLv.71事件は起きない fact3: 上げ難いということが起こる fact4: 見慣れ過ぎることが起こる fact5: 形容し難いということが発生する fact6: みよみにゃLv.43事件および当たり難いということどちらもが起こる fact7: 「面目無いということと見慣れ過ぎることどちらもが起きる」ということはぷいぷくLv.27事件を回避する fact8: 上げ易いということが起こる ; $hypothesis$ = 「「「涙脆いということが生じる一方でまにまちゅLv.16事件は起こらない」ということは面目無いということにもたらされる」ということは事実である」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。面目無いということが生じる; assump1 & fact4 -> int1: 面目無いということが発生するしまた見慣れ過ぎることが起こる; int1 & fact7 -> int2: 「「ぷいぷくLv.27事件が発生する」ということは成り立つ」ということは成り立たない; int2 & fact1 -> int3: 涙脆いということが生じるけどまにまちゅLv.16事件は発生しない; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & {B}); int1 & fact7 -> int2: ¬{C}; int2 & fact1 -> int3: ({E} & ¬{D}); [assump1] & int3 -> hypothesis; __DISPROVED__