「このまにょまゆLv.5は感知出来るし加えて叩き殺す」ということは成り立たない
fact1: 仮に「このまにょまゆLv.5はきな臭い」ということは事実であればこのまにょまゆLv.5は青し fact2: もしも「このまにょまゆLv.5は気高し」ということは確かだとすれば感知出来る fact3: もし仮に「このまにょまゆLv.5は青しないけどそれは瞑想する」ということは間違いであるならば「気高し」ということは成り立つ fact4: 「このまにょまゆLv.5は青しないがしかし瞑想する」ということは嘘である fact5: このまにょまゆLv.5は叩き殺す fact6: もしも「そのまにまのLv.12は狭しないけれど感知出来る」ということは成り立たないならそれは読み辛い
fact3 & fact4 -> int1: このまにょまゆLv.5は気高し; int1 & fact2 -> int2: このまにょまゆLv.5は感知出来る; int2 & fact5 -> hypothesis;
fact3 & fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {A}{a}; int2 & fact5 -> hypothesis;
$facts$ = fact1: 仮に「このまにょまゆLv.5はきな臭い」ということは事実であればこのまにょまゆLv.5は青し fact2: もしも「このまにょまゆLv.5は気高し」ということは確かだとすれば感知出来る fact3: もし仮に「このまにょまゆLv.5は青しないけどそれは瞑想する」ということは間違いであるならば「気高し」ということは成り立つ fact4: 「このまにょまゆLv.5は青しないがしかし瞑想する」ということは嘘である fact5: このまにょまゆLv.5は叩き殺す fact6: もしも「そのまにまのLv.12は狭しないけれど感知出来る」ということは成り立たないならそれは読み辛い ; $hypothesis$ = 「このまにょまゆLv.5は感知出来るし加えて叩き殺す」ということは成り立たない ; $proof$ = 
fact3 & fact4 -> int1: このまにょまゆLv.5は気高し; int1 & fact2 -> int2: このまにょまゆLv.5は感知出来る; int2 & fact5 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {A}{a}; int2 & fact5 -> hypothesis; __DISPROVED__