「そのぷゆぷにLv.89は子供らしいし聞き易い」ということは成り立たない
fact1: 由々しモンスターは無い fact2: そのぷゆぷにLv.89はとろ臭くてそれにそれは蛇行する fact3: そのぷゆぷにLv.89は生温かいし凛々しい fact4: あのまちゃまえLv.6は子供らしい fact5: 「そのぷゆぷにLv.89は生温かい」ということは成り立つ fact6: そのぷゆぷにLv.89は聞き易い fact7: もしそのぷゆぷにLv.89が凛々しいとすればそのぷゆぷにLv.89は子供らしい
fact3 -> int1: そのぷゆぷにLv.89は凛々しい; int1 & fact7 -> int2: そのぷゆぷにLv.89は子供らしい; int2 & fact6 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact6 -> hypothesis;
もし「このもちゃものLv.35は由々し」ということは成り立つとしたらそれは無い
fact8 -> hypothesis;
$facts$ = fact1: 由々しモンスターは無い fact2: そのぷゆぷにLv.89はとろ臭くてそれにそれは蛇行する fact3: そのぷゆぷにLv.89は生温かいし凛々しい fact4: あのまちゃまえLv.6は子供らしい fact5: 「そのぷゆぷにLv.89は生温かい」ということは成り立つ fact6: そのぷゆぷにLv.89は聞き易い fact7: もしそのぷゆぷにLv.89が凛々しいとすればそのぷゆぷにLv.89は子供らしい ; $hypothesis$ = 「そのぷゆぷにLv.89は子供らしいし聞き易い」ということは成り立たない ; $proof$ = 
fact3 -> int1: そのぷゆぷにLv.89は凛々しい; int1 & fact7 -> int2: そのぷゆぷにLv.89は子供らしい; int2 & fact6 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact6 -> hypothesis; __DISPROVED__