あのもくもいLv.4は手緩いということはない
fact1: もしこのぴちゃぴよLv.93が秩序化するし正しいならそのぷゆぷにゃLv.17は括らない fact2: このぴちゃぴよLv.93は正しい fact3: 「このぴちゃぴよLv.93は首肯出来る」ということは真実だ fact4: そのぷゆぷにゃLv.17は選ぶ fact5: 仮にこのぴちゃぴよLv.93が括るしまたそれが正しいとすればそのぷゆぷにゃLv.17は秩序化しない fact6: このぴちゃぴよLv.93は秩序化する fact7: もしそのぷゆぷにゃLv.17が括らないならあのもくもいLv.4は手緩い fact8: このぽちょぽくLv.76は艶めかしいし秩序化する
fact6 & fact2 -> int1: このぴちゃぴよLv.93は秩序化するしさらにそれは正しい; int1 & fact1 -> int2: そのぷゆぷにゃLv.17は括らない; int2 & fact7 -> hypothesis;
fact6 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact7 -> hypothesis;
$facts$ = fact1: もしこのぴちゃぴよLv.93が秩序化するし正しいならそのぷゆぷにゃLv.17は括らない fact2: このぴちゃぴよLv.93は正しい fact3: 「このぴちゃぴよLv.93は首肯出来る」ということは真実だ fact4: そのぷゆぷにゃLv.17は選ぶ fact5: 仮にこのぴちゃぴよLv.93が括るしまたそれが正しいとすればそのぷゆぷにゃLv.17は秩序化しない fact6: このぴちゃぴよLv.93は秩序化する fact7: もしそのぷゆぷにゃLv.17が括らないならあのもくもいLv.4は手緩い fact8: このぽちょぽくLv.76は艶めかしいし秩序化する ; $hypothesis$ = あのもくもいLv.4は手緩いということはない ; $proof$ = 
fact6 & fact2 -> int1: このぴちゃぴよLv.93は秩序化するしさらにそれは正しい; int1 & fact1 -> int2: そのぷゆぷにゃLv.17は括らない; int2 & fact7 -> hypothesis; __DISPROVED__
fact6 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact7 -> hypothesis; __DISPROVED__