あのもちゃもゆLv.7は色っぽい
fact1: もしも何らかのモンスターが立法化するとすると色っぽい fact2: もし仮に堪り易いモンスターが忙しくないならば小賢しい fact3: とあるモンスターは小賢しいしさらに色っぽい fact4: このもわもちょLv.55は立法化する fact5: 近くないモンスターは小賢しくて免れ難い fact6: このもわもちょLv.55は堪り易い一方で忙しくない fact7: 仮に小賢しいモンスターが立法化すればあのもちゃもゆLv.7は色っぽくない fact8: このもわもちょLv.55は堪り易い
fact2 -> int1: もしこのもわもちょLv.55が堪り易い一方で忙しいということはないとすればこのもわもちょLv.55は小賢しい; int1 & fact6 -> int2: このもわもちょLv.55は小賢しい; int2 & fact4 -> int3: このもわもちょLv.55が小賢しいしその上立法化する; int3 -> int4: 何らかのモンスターが小賢しいしその上立法化する; int4 & fact7 -> hypothesis;
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact6 -> int2: {B}{aa}; int2 & fact4 -> int3: ({B}{aa} & {A}{aa}); int3 -> int4: (Ex): ({B}x & {A}x); int4 & fact7 -> hypothesis;
あのもちゃもゆLv.7は色っぽい
fact9 -> int5: 仮にあのもちゃもゆLv.7が立法化するとしたら色っぽい; fact10 -> int6: もしもあのもちゃもゆLv.7が近くないとしたらあのもちゃもゆLv.7は小賢しくてそれは免れ難い;
$facts$ = fact1: もしも何らかのモンスターが立法化するとすると色っぽい fact2: もし仮に堪り易いモンスターが忙しくないならば小賢しい fact3: とあるモンスターは小賢しいしさらに色っぽい fact4: このもわもちょLv.55は立法化する fact5: 近くないモンスターは小賢しくて免れ難い fact6: このもわもちょLv.55は堪り易い一方で忙しくない fact7: 仮に小賢しいモンスターが立法化すればあのもちゃもゆLv.7は色っぽくない fact8: このもわもちょLv.55は堪り易い ; $hypothesis$ = あのもちゃもゆLv.7は色っぽい ; $proof$ = 
fact2 -> int1: もしこのもわもちょLv.55が堪り易い一方で忙しいということはないとすればこのもわもちょLv.55は小賢しい; int1 & fact6 -> int2: このもわもちょLv.55は小賢しい; int2 & fact4 -> int3: このもわもちょLv.55が小賢しいしその上立法化する; int3 -> int4: 何らかのモンスターが小賢しいしその上立法化する; int4 & fact7 -> hypothesis; __DISPROVED__
fact2 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact6 -> int2: {B}{aa}; int2 & fact4 -> int3: ({B}{aa} & {A}{aa}); int3 -> int4: (Ex): ({B}x & {A}x); int4 & fact7 -> hypothesis; __DISPROVED__