あのみよみにLv.16は割れ易い
fact1: もしそのぽちゃぽちょLv.93が乾き易いとすればあのみよみにLv.16は力強い fact2: このまにゃまえLv.38が乾き易くないとすればあのみよみにLv.16は割れ易いし更に安堵し難い fact3: このまにゃまえLv.38は安堵し難い fact4: もしあのみよみにLv.16が力強いがそれが詰まり易くないとするとあのみよみにLv.16は割れ易くない fact5: もしあのぷくぷにゃLv.31がフランス人らしいならこのぽくぽにLv.8は詰まり易いということはないがしかし擽ったい fact6: 仮にあのぴちょぴよLv.30は詰まり易くないならば「そのぽちゃぽちょLv.93は力強くてさらに乾き易い」ということは成り立たない fact7: あのみよみにLv.16は詰まり易くない fact8: もしも「そのぽちゃぽちょLv.93が力強いしその上それは乾き易い」ということは成り立たないとするとこのまにゃまえLv.38は乾き易くない fact9: このまにゃまえLv.38が安堵し難いならばそのぽちゃぽちょLv.93は乾き易い
fact9 & fact3 -> int1: そのぽちゃぽちょLv.93は乾き易い; int1 & fact1 -> int2: あのみよみにLv.16は力強い; int2 & fact7 -> int3: あのみよみにLv.16は力強いがそれは詰まり易くない; int3 & fact4 -> hypothesis;
fact9 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 & fact7 -> int3: ({C}{c} & ¬{D}{c}); int3 & fact4 -> hypothesis;
あのみよみにLv.16は割れ易い
$facts$ = fact1: もしそのぽちゃぽちょLv.93が乾き易いとすればあのみよみにLv.16は力強い fact2: このまにゃまえLv.38が乾き易くないとすればあのみよみにLv.16は割れ易いし更に安堵し難い fact3: このまにゃまえLv.38は安堵し難い fact4: もしあのみよみにLv.16が力強いがそれが詰まり易くないとするとあのみよみにLv.16は割れ易くない fact5: もしあのぷくぷにゃLv.31がフランス人らしいならこのぽくぽにLv.8は詰まり易いということはないがしかし擽ったい fact6: 仮にあのぴちょぴよLv.30は詰まり易くないならば「そのぽちゃぽちょLv.93は力強くてさらに乾き易い」ということは成り立たない fact7: あのみよみにLv.16は詰まり易くない fact8: もしも「そのぽちゃぽちょLv.93が力強いしその上それは乾き易い」ということは成り立たないとするとこのまにゃまえLv.38は乾き易くない fact9: このまにゃまえLv.38が安堵し難いならばそのぽちゃぽちょLv.93は乾き易い ; $hypothesis$ = あのみよみにLv.16は割れ易い ; $proof$ = 
fact9 & fact3 -> int1: そのぽちゃぽちょLv.93は乾き易い; int1 & fact1 -> int2: あのみよみにLv.16は力強い; int2 & fact7 -> int3: あのみよみにLv.16は力強いがそれは詰まり易くない; int3 & fact4 -> hypothesis; __DISPROVED__
fact9 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 & fact7 -> int3: ({C}{c} & ¬{D}{c}); int3 & fact4 -> hypothesis; __DISPROVED__