このぽちょぽにLv.90は愛せない
fact1: このぽちょぽにLv.90は黒っぽい fact2: もしこのぽちょぽにLv.90が限り無いとするとこのぽちょぽにLv.90は愛せる fact3: 軽いモンスターは限り無い fact4: このぽちょぽにLv.90は看病するしかつ限り無い fact5: このまゆまいLv.54は限り無い
fact4 -> int1: 「このぽちょぽにLv.90は限り無い」ということは成り立つ; int1 & fact2 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
もしこのぽちょぽにLv.90が軽いとしたら限り無い
fact6 -> hypothesis;
$facts$ = fact1: このぽちょぽにLv.90は黒っぽい fact2: もしこのぽちょぽにLv.90が限り無いとするとこのぽちょぽにLv.90は愛せる fact3: 軽いモンスターは限り無い fact4: このぽちょぽにLv.90は看病するしかつ限り無い fact5: このまゆまいLv.54は限り無い ; $hypothesis$ = このぽちょぽにLv.90は愛せない ; $proof$ = 
fact4 -> int1: 「このぽちょぽにLv.90は限り無い」ということは成り立つ; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __DISPROVED__