まにまにゅLv.52事件は発生しない
fact1: 骨折ることが生じる fact2: もし「想像することとまにまにゅLv.52事件が生じる」ということは成り立たないとすればまにまにゅLv.52事件は発生しない fact3: まにまにゅLv.52事件が骨折ることが生じるということは原因である fact4: せこいということは生じないということはまやまにゃLv.71事件に防がれる
fact1 -> int1: 骨折ることが生じる; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact3 -> hypothesis;
まにまにゅLv.52事件は発生しない
$facts$ = fact1: 骨折ることが生じる fact2: もし「想像することとまにまにゅLv.52事件が生じる」ということは成り立たないとすればまにまにゅLv.52事件は発生しない fact3: まにまにゅLv.52事件が骨折ることが生じるということは原因である fact4: せこいということは生じないということはまやまにゃLv.71事件に防がれる ; $hypothesis$ = まにまにゅLv.52事件は発生しない ; $proof$ = 
fact1 -> int1: 骨折ることが生じる; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact3 -> hypothesis; __DISPROVED__