「手緩いししかも援助出来る」モンスターはいる
fact1: あのぷちょぷなLv.98は援助出来る fact2: そのぴにゅぴのLv.59は把握し辛いし喋り難い fact3: 「援助出来る」モンスターはいる fact4: とあるモンスターは温まらない fact5: 仮に「青っぽくない」モンスターがいるとしたらあのぷちょぷなLv.98は手緩くてかつ援助出来る fact6: もし仮にとあるモンスターが温まらないとしたらあのぷちょぷなLv.98は手緩いしおまけに青っぽい fact7: もし仮に「温まるということはない」モンスターがいるとすればあのぷちょぷなLv.98は青っぽい
fact4 & fact6 -> int1: あのぷちょぷなLv.98は手緩いしそれは青っぽい; int1 -> int2: あのぷちょぷなLv.98は手緩い; int2 & fact1 -> int3: あのぷちょぷなLv.98は手緩いしさらに援助出来る; int3 -> hypothesis;
fact4 & fact6 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact1 -> int3: ({A}{a} & {C}{a}); int3 -> hypothesis;
$facts$ = fact1: あのぷちょぷなLv.98は援助出来る fact2: そのぴにゅぴのLv.59は把握し辛いし喋り難い fact3: 「援助出来る」モンスターはいる fact4: とあるモンスターは温まらない fact5: 仮に「青っぽくない」モンスターがいるとしたらあのぷちょぷなLv.98は手緩くてかつ援助出来る fact6: もし仮にとあるモンスターが温まらないとしたらあのぷちょぷなLv.98は手緩いしおまけに青っぽい fact7: もし仮に「温まるということはない」モンスターがいるとすればあのぷちょぷなLv.98は青っぽい ; $hypothesis$ = 「手緩いししかも援助出来る」モンスターはいる ; $proof$ = 
fact4 & fact6 -> int1: あのぷちょぷなLv.98は手緩いしそれは青っぽい; int1 -> int2: あのぷちょぷなLv.98は手緩い; int2 & fact1 -> int3: あのぷちょぷなLv.98は手緩いしさらに援助出来る; int3 -> hypothesis; __PROVED__
fact4 & fact6 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact1 -> int3: ({A}{a} & {C}{a}); int3 -> hypothesis; __PROVED__