そのもちゃもやLv.80は弛い
fact1: 「そのもちゃもやLv.80は免れ難くてそれは退色し易い」ということは正しい fact2: あのぴなぴにLv.71は塗抹しない fact3: そのもちゃもやLv.80は薄暗い fact4: そのもちゃもやLv.80は塗抹する fact5: そのもちゃもやLv.80は退色し易い fact6: もし「そのもちゃもやLv.80は退色し易い」ということは本当であるならばそれは長ーい fact7: このぽよぽちょLv.27は退色し易くない fact8: そのもちゃもやLv.80が免れ難いし塗抹すれば「弛くない」ということは事実だ
fact1 -> int1: そのもちゃもやLv.80は免れ難い; int1 & fact4 -> int2: 「そのもちゃもやLv.80は免れ難くてさらにそれは塗抹する」ということは確かだ; int2 & fact8 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {C}{a}); int2 & fact8 -> hypothesis;
そのもちゃもやLv.80は長ーいしそれに甘い
fact10 & fact9 -> int3: そのもちゃもやLv.80は長ーい;
$facts$ = fact1: 「そのもちゃもやLv.80は免れ難くてそれは退色し易い」ということは正しい fact2: あのぴなぴにLv.71は塗抹しない fact3: そのもちゃもやLv.80は薄暗い fact4: そのもちゃもやLv.80は塗抹する fact5: そのもちゃもやLv.80は退色し易い fact6: もし「そのもちゃもやLv.80は退色し易い」ということは本当であるならばそれは長ーい fact7: このぽよぽちょLv.27は退色し易くない fact8: そのもちゃもやLv.80が免れ難いし塗抹すれば「弛くない」ということは事実だ ; $hypothesis$ = そのもちゃもやLv.80は弛い ; $proof$ = 
fact1 -> int1: そのもちゃもやLv.80は免れ難い; int1 & fact4 -> int2: 「そのもちゃもやLv.80は免れ難くてさらにそれは塗抹する」ということは確かだ; int2 & fact8 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {C}{a}); int2 & fact8 -> hypothesis; __DISPROVED__