このぽねぽやLv.45は通じ難くない
fact1: もしも「あのぽのぽいLv.71は加工し易いということはない」ということは成り立つとしたらあのぽのぽいLv.71は馬鹿馬鹿しいしかつそれは真っ暗い fact2: 確認し易いモンスターは通じ難くないけれど伝わり易い fact3: もし仮に「あのぽのぽいLv.71は真っ暗い」ということは事実と異ならないとすればこのぽねぽいLv.25は人懐こくない一方で追い出す fact4: 全てのモンスターは伝わり易くてそれは確認し易くない fact5: 持ち易くないモンスターは天狗らしい一方で商人らしくない fact6: もしあのぷよぷにゅLv.46が伝わり易いならこのぽねぽやLv.45は通じ難い fact7: もし仮にこのぽねぽいLv.25が人懐こくない一方でそれが追い出すならそれは確認し易い
fact4 -> int1: あのぷよぷにゅLv.46は伝わり易いけれど確認し易いということはない; int1 -> int2: あのぷよぷにゅLv.46は伝わり易い; int2 & fact6 -> hypothesis;
fact4 -> int1: ({A}{aa} & ¬{B}{aa}); int1 -> int2: {A}{aa}; int2 & fact6 -> hypothesis;
このぽねぽやLv.45は通じ難くない
fact10 -> int3: もしもこのぽねぽいLv.25が確認し易いとするとこのぽねぽいLv.25は通じ難くないけれど伝わり易い; fact9 -> int4: もし仮にそのぽちゅぽよLv.82が持ち易いということはないならばそのぽちゅぽよLv.82は天狗らしいがしかし商人らしくない;
$facts$ = fact1: もしも「あのぽのぽいLv.71は加工し易いということはない」ということは成り立つとしたらあのぽのぽいLv.71は馬鹿馬鹿しいしかつそれは真っ暗い fact2: 確認し易いモンスターは通じ難くないけれど伝わり易い fact3: もし仮に「あのぽのぽいLv.71は真っ暗い」ということは事実と異ならないとすればこのぽねぽいLv.25は人懐こくない一方で追い出す fact4: 全てのモンスターは伝わり易くてそれは確認し易くない fact5: 持ち易くないモンスターは天狗らしい一方で商人らしくない fact6: もしあのぷよぷにゅLv.46が伝わり易いならこのぽねぽやLv.45は通じ難い fact7: もし仮にこのぽねぽいLv.25が人懐こくない一方でそれが追い出すならそれは確認し易い ; $hypothesis$ = このぽねぽやLv.45は通じ難くない ; $proof$ = 
fact4 -> int1: あのぷよぷにゅLv.46は伝わり易いけれど確認し易いということはない; int1 -> int2: あのぷよぷにゅLv.46は伝わり易い; int2 & fact6 -> hypothesis; __DISPROVED__
fact4 -> int1: ({A}{aa} & ¬{B}{aa}); int1 -> int2: {A}{aa}; int2 & fact6 -> hypothesis; __DISPROVED__