「このまえまよLv.92は悪賢いけれど納得し易くない」ということは成り立たない
fact1: このまえまよLv.92は納得し易くない fact2: あのぷにゃぷよLv.81は流れ易くない fact3: もし仮にそのみゆみにLv.30が離れ難いとするとこのまえまよLv.92は悪賢い fact4: 「そのみゆみにLv.30は悪戯っぽい」ということは成り立つ fact5: そのみゆみにLv.30が悪賢いということはないならあのぷにゃぷよLv.81は離れ難いけど悪戯っぽくない fact6: もし仮にあのぷにゃぷよLv.81が流れ易くないならそのみゆみにLv.30は悪戯っぽいしさらにそれは離れ難い fact7: もしあのぷにゃぷよLv.81が流れ易くないとするとそのみゆみにLv.30は悪戯っぽい
fact2 & fact6 -> int1: 「そのみゆみにLv.30は悪戯っぽくて離れ難い」ということは真実だ; int1 -> int2: そのみゆみにLv.30は離れ難い; int2 & fact3 -> int3: このまえまよLv.92は悪賢い; int3 & fact1 -> hypothesis;
fact2 & fact6 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{b}; int3 & fact1 -> hypothesis;
あのぷにゃぷよLv.81は離れ難い
$facts$ = fact1: このまえまよLv.92は納得し易くない fact2: あのぷにゃぷよLv.81は流れ易くない fact3: もし仮にそのみゆみにLv.30が離れ難いとするとこのまえまよLv.92は悪賢い fact4: 「そのみゆみにLv.30は悪戯っぽい」ということは成り立つ fact5: そのみゆみにLv.30が悪賢いということはないならあのぷにゃぷよLv.81は離れ難いけど悪戯っぽくない fact6: もし仮にあのぷにゃぷよLv.81が流れ易くないならそのみゆみにLv.30は悪戯っぽいしさらにそれは離れ難い fact7: もしあのぷにゃぷよLv.81が流れ易くないとするとそのみゆみにLv.30は悪戯っぽい ; $hypothesis$ = 「このまえまよLv.92は悪賢いけれど納得し易くない」ということは成り立たない ; $proof$ = 
fact2 & fact6 -> int1: 「そのみゆみにLv.30は悪戯っぽくて離れ難い」ということは真実だ; int1 -> int2: そのみゆみにLv.30は離れ難い; int2 & fact3 -> int3: このまえまよLv.92は悪賢い; int3 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact6 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{b}; int3 & fact1 -> hypothesis; __DISPROVED__