このぴなぴにLv.68は低い
fact1: もしこのみいみなLv.70が外し易くてそれが集め易いならこのぴなぴにLv.68は低いということはない fact2: 「あのぽいぽいLv.27は白っぽい」ということは確かである fact3: 「あのぽいぽいLv.27は落城する」ということは本当である fact4: このぴなぴにLv.68は恨めしくて外し易い fact5: 「もし「このぴなぴにLv.68は白っぽい」ということは成り立つとすればこのぴなぴにLv.68は低い」ということは真実である fact6: このみいみなLv.70は集め易い fact7: 白っぽいモンスターが落城するならこのみいみなLv.70は外し易い fact8: 「白っぽい」モンスターはいる fact9: もし仮にこのぴなぴにLv.68が外し易いし集め易いとするとこのみいみなLv.70は低くない
fact2 & fact3 -> int1: あのぽいぽいLv.27は白っぽいしさらに落城する; int1 -> int2: 「白っぽくて落城する」モンスターはいる; int2 & fact7 -> int3: このみいみなLv.70は外し易い; int3 & fact6 -> int4: このみいみなLv.70は外し易いししかも集め易い; int4 & fact1 -> hypothesis;
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact7 -> int3: {C}{b}; int3 & fact6 -> int4: ({C}{b} & {D}{b}); int4 & fact1 -> hypothesis;
このぴなぴにLv.68は低い
$facts$ = fact1: もしこのみいみなLv.70が外し易くてそれが集め易いならこのぴなぴにLv.68は低いということはない fact2: 「あのぽいぽいLv.27は白っぽい」ということは確かである fact3: 「あのぽいぽいLv.27は落城する」ということは本当である fact4: このぴなぴにLv.68は恨めしくて外し易い fact5: 「もし「このぴなぴにLv.68は白っぽい」ということは成り立つとすればこのぴなぴにLv.68は低い」ということは真実である fact6: このみいみなLv.70は集め易い fact7: 白っぽいモンスターが落城するならこのみいみなLv.70は外し易い fact8: 「白っぽい」モンスターはいる fact9: もし仮にこのぴなぴにLv.68が外し易いし集め易いとするとこのみいみなLv.70は低くない ; $hypothesis$ = このぴなぴにLv.68は低い ; $proof$ = 
fact2 & fact3 -> int1: あのぽいぽいLv.27は白っぽいしさらに落城する; int1 -> int2: 「白っぽくて落城する」モンスターはいる; int2 & fact7 -> int3: このみいみなLv.70は外し易い; int3 & fact6 -> int4: このみいみなLv.70は外し易いししかも集め易い; int4 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact7 -> int3: {C}{b}; int3 & fact6 -> int4: ({C}{b} & {D}{b}); int4 & fact1 -> hypothesis; __DISPROVED__