そのまいまのLv.78は笑い合えるしそれは遭遇する
fact1: もしもそのぷいぷえLv.24は掛かり易くないとしたら「そのまいまのLv.78は笑い合えるし加えて遭遇する」ということは成り立つ fact2: もしこのぽにゅぽいLv.74が艶っぽくて更に反映され易いとするとそのぷいぷえLv.24は掛かり易くない fact3: そのぷいぷえLv.24は反映され易いしその上掛かり易いとすると「このぽにゅぽいLv.74は艶っぽくない」ということは事実だ fact4: 「このまくまにゃLv.44は艶っぽいし更にそれは把握し辛い」ということは成り立つ fact5: このぽにゅぽいLv.74はどうしても欲しいしまた艶っぽい fact6: そのまいまのLv.78は掛かり易い fact7: このぽにゅぽいLv.74は反映され易い fact8: もしもこのぽにゅぽいLv.74が掛かり易いししかも艶っぽいならばそのぷいぷえLv.24は反映され易いということはない
fact5 -> int1: このぽにゅぽいLv.74は艶っぽい; int1 & fact7 -> int2: このぽにゅぽいLv.74は艶っぽいしその上反映され易い; int2 & fact2 -> int3: そのぷいぷえLv.24は掛かり易くない; int3 & fact1 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact7 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> int3: ¬{D}{b}; int3 & fact1 -> hypothesis;
$facts$ = fact1: もしもそのぷいぷえLv.24は掛かり易くないとしたら「そのまいまのLv.78は笑い合えるし加えて遭遇する」ということは成り立つ fact2: もしこのぽにゅぽいLv.74が艶っぽくて更に反映され易いとするとそのぷいぷえLv.24は掛かり易くない fact3: そのぷいぷえLv.24は反映され易いしその上掛かり易いとすると「このぽにゅぽいLv.74は艶っぽくない」ということは事実だ fact4: 「このまくまにゃLv.44は艶っぽいし更にそれは把握し辛い」ということは成り立つ fact5: このぽにゅぽいLv.74はどうしても欲しいしまた艶っぽい fact6: そのまいまのLv.78は掛かり易い fact7: このぽにゅぽいLv.74は反映され易い fact8: もしもこのぽにゅぽいLv.74が掛かり易いししかも艶っぽいならばそのぷいぷえLv.24は反映され易いということはない ; $hypothesis$ = そのまいまのLv.78は笑い合えるしそれは遭遇する ; $proof$ = 
fact5 -> int1: このぽにゅぽいLv.74は艶っぽい; int1 & fact7 -> int2: このぽにゅぽいLv.74は艶っぽいしその上反映され易い; int2 & fact2 -> int3: そのぷいぷえLv.24は掛かり易くない; int3 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact7 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> int3: ¬{D}{b}; int3 & fact1 -> hypothesis; __PROVED__