「そのまいまわLv.14は馬鹿馬鹿しい」ということは成り立つ
fact1: このもちょもわLv.2は怪しし更に合併し易い fact2: もしあのみゆみよLv.66が済ま無いとしたらあのみゆみよLv.66は手段化する fact3: もし仮に何らかのモンスターがしがなくて加えて手段化するならあのまゆまにょLv.65は薬臭い fact4: あのみゆみよLv.66は済ま無い fact5: 「とあるモンスターはしがない」ということは成り立つ fact6: とあるモンスターは手段化する fact7: あのみゆみよLv.66はしがない fact8: 仮に「しがないしおまけに薬臭い」モンスターがいるとするとあのみゆみよLv.66は済ま無い fact9: もし仮にあのまゆまにょLv.65が薬臭いならばそのまいまわLv.14は馬鹿馬鹿しい fact10: もしあのまゆまにょLv.65が手段化するとするとそのみえみにゅLv.78は手痛い
fact2 & fact4 -> int1: 「あのみゆみよLv.66は手段化する」ということは本当である; int1 & fact7 -> int2: あのみゆみよLv.66はしがないしそれは手段化する; int2 -> int3: あるモンスターはしがないし加えて手段化する; int3 & fact3 -> int4: あのまゆまにょLv.65は薬臭い; int4 & fact9 -> hypothesis;
fact2 & fact4 -> int1: {B}{a}; int1 & fact7 -> int2: ({C}{a} & {B}{a}); int2 -> int3: (Ex): ({C}x & {B}x); int3 & fact3 -> int4: {D}{b}; int4 & fact9 -> hypothesis;
そのみえみにゅLv.78は手痛くて済ま無い
$facts$ = fact1: このもちょもわLv.2は怪しし更に合併し易い fact2: もしあのみゆみよLv.66が済ま無いとしたらあのみゆみよLv.66は手段化する fact3: もし仮に何らかのモンスターがしがなくて加えて手段化するならあのまゆまにょLv.65は薬臭い fact4: あのみゆみよLv.66は済ま無い fact5: 「とあるモンスターはしがない」ということは成り立つ fact6: とあるモンスターは手段化する fact7: あのみゆみよLv.66はしがない fact8: 仮に「しがないしおまけに薬臭い」モンスターがいるとするとあのみゆみよLv.66は済ま無い fact9: もし仮にあのまゆまにょLv.65が薬臭いならばそのまいまわLv.14は馬鹿馬鹿しい fact10: もしあのまゆまにょLv.65が手段化するとするとそのみえみにゅLv.78は手痛い ; $hypothesis$ = 「そのまいまわLv.14は馬鹿馬鹿しい」ということは成り立つ ; $proof$ = 
fact2 & fact4 -> int1: 「あのみゆみよLv.66は手段化する」ということは本当である; int1 & fact7 -> int2: あのみゆみよLv.66はしがないしそれは手段化する; int2 -> int3: あるモンスターはしがないし加えて手段化する; int3 & fact3 -> int4: あのまゆまにょLv.65は薬臭い; int4 & fact9 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}{a}; int1 & fact7 -> int2: ({C}{a} & {B}{a}); int2 -> int3: (Ex): ({C}x & {B}x); int3 & fact3 -> int4: {D}{b}; int4 & fact9 -> hypothesis; __PROVED__