そのまやまくLv.91は怖ーい
fact1: なんらかのモンスターは捕らえ得る fact2: あらゆるモンスターはどうしても欲しいし進化し易い fact3: もしそのまやまくLv.91が捕らえ得るならそのまやまくLv.91は怖ーい fact4: 仮に出血し易いしさらに夫婦らしいモンスターがいるならそのまやまくLv.91は捕らえ得る fact5: そのもにゅもわLv.74は夫婦らしい fact6: もし出血し易くないモンスターがどうしても欲しいということはないとすればそれは怖ーくない fact7: 「そのもにゅもわLv.74が出血し易いしその上どうしても欲しい」ということは事実である
fact7 -> int1: 「そのもにゅもわLv.74は出血し易い」ということは本当である; int1 & fact5 -> int2: そのもにゅもわLv.74は出血し易いしかつ夫婦らしい; int2 -> int3: とあるモンスターは出血し易いし加えてそれは夫婦らしい; int3 & fact4 -> int4: そのまやまくLv.91は捕らえ得る; int4 & fact3 -> hypothesis;
fact7 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {C}{a}); int2 -> int3: (Ex): ({A}x & {C}x); int3 & fact4 -> int4: {D}{b}; int4 & fact3 -> hypothesis;
そのまやまくLv.91は怖ーくない
fact8 -> int5: もし「そのまやまくLv.91は出血し易くなくてまたどうしても欲しくない」ということは本当であるとすればそれは怖ーくない;
$facts$ = fact1: なんらかのモンスターは捕らえ得る fact2: あらゆるモンスターはどうしても欲しいし進化し易い fact3: もしそのまやまくLv.91が捕らえ得るならそのまやまくLv.91は怖ーい fact4: 仮に出血し易いしさらに夫婦らしいモンスターがいるならそのまやまくLv.91は捕らえ得る fact5: そのもにゅもわLv.74は夫婦らしい fact6: もし出血し易くないモンスターがどうしても欲しいということはないとすればそれは怖ーくない fact7: 「そのもにゅもわLv.74が出血し易いしその上どうしても欲しい」ということは事実である ; $hypothesis$ = そのまやまくLv.91は怖ーい ; $proof$ = 
fact7 -> int1: 「そのもにゅもわLv.74は出血し易い」ということは本当である; int1 & fact5 -> int2: そのもにゅもわLv.74は出血し易いしかつ夫婦らしい; int2 -> int3: とあるモンスターは出血し易いし加えてそれは夫婦らしい; int3 & fact4 -> int4: そのまやまくLv.91は捕らえ得る; int4 & fact3 -> hypothesis; __PROVED__
fact7 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {C}{a}); int2 -> int3: (Ex): ({A}x & {C}x); int3 & fact4 -> int4: {D}{b}; int4 & fact3 -> hypothesis; __PROVED__