あのまえまちょLv.95はしゃあ無くない
fact1: 仮にそのまにゃまにゃLv.87が所狭しとすればあのまえまちょLv.95は面映ゆい fact2: あのまえまちょLv.95が面映ゆいとするとそれは少ない fact3: そのまちょまいLv.94は分離し易い fact4: もし仮にあのまえまちょLv.95は少ないかそれは親しとしたらあのまえまちょLv.95はしゃあ無くない fact5: もし仮にそのまちょまいLv.94が分離し易いならばそのまにゃまにゃLv.87は所狭し
fact5 & fact3 -> int1: そのまにゃまにゃLv.87は所狭し; int1 & fact1 -> int2: あのまえまちょLv.95は面映ゆい; int2 & fact2 -> int3: あのまえまちょLv.95は少ない; int3 -> int4: あのまえまちょLv.95は少ないかまたは親し; int4 & fact4 -> hypothesis;
fact5 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 & fact2 -> int3: {D}{c}; int3 -> int4: ({D}{c} v {E}{c}); int4 & fact4 -> hypothesis;
$facts$ = fact1: 仮にそのまにゃまにゃLv.87が所狭しとすればあのまえまちょLv.95は面映ゆい fact2: あのまえまちょLv.95が面映ゆいとするとそれは少ない fact3: そのまちょまいLv.94は分離し易い fact4: もし仮にあのまえまちょLv.95は少ないかそれは親しとしたらあのまえまちょLv.95はしゃあ無くない fact5: もし仮にそのまちょまいLv.94が分離し易いならばそのまにゃまにゃLv.87は所狭し ; $hypothesis$ = あのまえまちょLv.95はしゃあ無くない ; $proof$ = 
fact5 & fact3 -> int1: そのまにゃまにゃLv.87は所狭し; int1 & fact1 -> int2: あのまえまちょLv.95は面映ゆい; int2 & fact2 -> int3: あのまえまちょLv.95は少ない; int3 -> int4: あのまえまちょLv.95は少ないかまたは親し; int4 & fact4 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 & fact2 -> int3: {D}{c}; int3 -> int4: ({D}{c} v {E}{c}); int4 & fact4 -> hypothesis; __PROVED__