そのぴちょぴやLv.90は広くないがしかし御宜しい
fact1: 「あのぷやぷいLv.70は御宜しい」ということは本当である fact2: もし仮に「あのぷやぷいLv.70は蹴り上げない」ということは事実であるとすると「そのぴちょぴやLv.90は広いということはないけど御宜しい」ということは確かでない fact3: 図々しいモンスターは憂い fact4: もしそのぽちょぽゆLv.47が蹴り上げるとするとそのぴちょぴやLv.90は図々しい fact5: あらゆるモンスターは図々しくてかつそれは熱っぽい fact6: そのぽちょぽゆLv.47は広くてさらにそれは蹴り上げる fact7: あのぷやぷいLv.70は目まぐるしい fact8: もし仮にこのもねもにLv.17が熱っぽいとするとあのぷやぷいLv.70は蹴り上げない
fact5 -> int1: このもねもにLv.17は図々しくて熱っぽい; int1 -> int2: このもねもにLv.17は熱っぽい; int2 & fact8 -> int3: あのぷやぷいLv.70は蹴り上げない; int3 & fact2 -> hypothesis;
fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact8 -> int3: ¬{C}{b}; int3 & fact2 -> hypothesis;
そのぴちょぴやLv.90は憂いしさもしい
fact10 -> int4: もしそのぴちょぴやLv.90が図々しいとしたらそのぴちょぴやLv.90は憂い; fact11 -> int5: そのぽちょぽゆLv.47は蹴り上げる; fact9 & int5 -> int6: そのぴちょぴやLv.90は図々しい; int4 & int6 -> int7: そのぴちょぴやLv.90は憂い;
$facts$ = fact1: 「あのぷやぷいLv.70は御宜しい」ということは本当である fact2: もし仮に「あのぷやぷいLv.70は蹴り上げない」ということは事実であるとすると「そのぴちょぴやLv.90は広いということはないけど御宜しい」ということは確かでない fact3: 図々しいモンスターは憂い fact4: もしそのぽちょぽゆLv.47が蹴り上げるとするとそのぴちょぴやLv.90は図々しい fact5: あらゆるモンスターは図々しくてかつそれは熱っぽい fact6: そのぽちょぽゆLv.47は広くてさらにそれは蹴り上げる fact7: あのぷやぷいLv.70は目まぐるしい fact8: もし仮にこのもねもにLv.17が熱っぽいとするとあのぷやぷいLv.70は蹴り上げない ; $hypothesis$ = そのぴちょぴやLv.90は広くないがしかし御宜しい ; $proof$ = 
fact5 -> int1: このもねもにLv.17は図々しくて熱っぽい; int1 -> int2: このもねもにLv.17は熱っぽい; int2 & fact8 -> int3: あのぷやぷいLv.70は蹴り上げない; int3 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact8 -> int3: ¬{C}{b}; int3 & fact2 -> hypothesis; __DISPROVED__