このぽのぽわLv.15はつべたくない
fact1: 「気安い」モンスターはいる fact2: 「か細い」モンスターはいる fact3: 気安いしか細いモンスターがいるならそのぴなぴにLv.67は太し fact4: このもゆもにLv.8が太しとするとそのぴなぴにLv.67は気安い fact5: もし仮になんらかのモンスターは食べ歩くということはないとすれば「それはか細いしそれは太し」ということは正しい fact6: このもゆもにLv.8は気安いし更にか細い fact7: そのぴなぴにLv.67は太しならば「このぽのぽわLv.15はつべたい」ということは間違っていない
fact6 -> int1: 「気安くて加えてか細い」モンスターはいる; int1 & fact3 -> int2: そのぴなぴにLv.67は太し; int2 & fact7 -> hypothesis;
fact6 -> int1: (Ex): ({A}x & {B}x); int1 & fact3 -> int2: {C}{a}; int2 & fact7 -> hypothesis;
このぽのぽわLv.15はつべたくない
fact8 -> int3: もしもこのぽのぽわLv.15が食べ歩かないとしたらこのぽのぽわLv.15はか細いしさらに太し;
$facts$ = fact1: 「気安い」モンスターはいる fact2: 「か細い」モンスターはいる fact3: 気安いしか細いモンスターがいるならそのぴなぴにLv.67は太し fact4: このもゆもにLv.8が太しとするとそのぴなぴにLv.67は気安い fact5: もし仮になんらかのモンスターは食べ歩くということはないとすれば「それはか細いしそれは太し」ということは正しい fact6: このもゆもにLv.8は気安いし更にか細い fact7: そのぴなぴにLv.67は太しならば「このぽのぽわLv.15はつべたい」ということは間違っていない ; $hypothesis$ = このぽのぽわLv.15はつべたくない ; $proof$ = 
fact6 -> int1: 「気安くて加えてか細い」モンスターはいる; int1 & fact3 -> int2: そのぴなぴにLv.67は太し; int2 & fact7 -> hypothesis; __DISPROVED__
fact6 -> int1: (Ex): ({A}x & {B}x); int1 & fact3 -> int2: {C}{a}; int2 & fact7 -> hypothesis; __DISPROVED__