そのまにゃまちょLv.30は凄くない
fact1: もしもあのみねみゆLv.37が擽ったいならそのまにゃまちょLv.30は子供らしい fact2: もしもそのまにゃまちょLv.30が子供らしいし更に汗臭いとするとそのまにゃまちょLv.30は凄いということはない fact3: そのまにゃまちょLv.30は汗臭い fact4: あのみねみゆLv.37は擽ったい
fact1 & fact4 -> int1: そのまにゃまちょLv.30は子供らしい; int1 & fact3 -> int2: そのまにゃまちょLv.30は子供らしいし更に汗臭い; int2 & fact2 -> hypothesis;
fact1 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: ({B}{b} & {C}{b}); int2 & fact2 -> hypothesis;
$facts$ = fact1: もしもあのみねみゆLv.37が擽ったいならそのまにゃまちょLv.30は子供らしい fact2: もしもそのまにゃまちょLv.30が子供らしいし更に汗臭いとするとそのまにゃまちょLv.30は凄いということはない fact3: そのまにゃまちょLv.30は汗臭い fact4: あのみねみゆLv.37は擽ったい ; $hypothesis$ = そのまにゃまちょLv.30は凄くない ; $proof$ = 
fact1 & fact4 -> int1: そのまにゃまちょLv.30は子供らしい; int1 & fact3 -> int2: そのまにゃまちょLv.30は子供らしいし更に汗臭い; int2 & fact2 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: ({B}{b} & {C}{b}); int2 & fact2 -> hypothesis; __PROVED__