「「撰するし加えて美味しい」モンスターはいる」ということは確かである
fact1: もしもそのもわもちゅLv.64が動き易いとするとそのもわもちゅLv.64は燃え易い fact2: そのぷやぷのLv.65は誇りっぽいし燃え易い fact3: もしもそのもわもちゅLv.64は燃え易いとすると「そのもわもちゅLv.64は撰する」ということは確かだ fact4: もし仮にそのまよまにゅLv.36が余所余所しいならばそのもわもちゅLv.64は動き易い fact5: そのまよまにゅLv.36は余所余所しい fact6: そのもわもちゅLv.64は鑑賞し易くてそれは安し fact7: そのもわもちゅLv.64は美味しい
fact4 & fact5 -> int1: そのもわもちゅLv.64は動き易い; int1 & fact1 -> int2: そのもわもちゅLv.64は燃え易い; int2 & fact3 -> int3: そのもわもちゅLv.64は撰する; int3 & fact7 -> int4: そのもわもちゅLv.64は撰するしそれは美味しい; int4 -> hypothesis;
fact4 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{b}; int3 & fact7 -> int4: ({D}{b} & {E}{b}); int4 -> hypothesis;
$facts$ = fact1: もしもそのもわもちゅLv.64が動き易いとするとそのもわもちゅLv.64は燃え易い fact2: そのぷやぷのLv.65は誇りっぽいし燃え易い fact3: もしもそのもわもちゅLv.64は燃え易いとすると「そのもわもちゅLv.64は撰する」ということは確かだ fact4: もし仮にそのまよまにゅLv.36が余所余所しいならばそのもわもちゅLv.64は動き易い fact5: そのまよまにゅLv.36は余所余所しい fact6: そのもわもちゅLv.64は鑑賞し易くてそれは安し fact7: そのもわもちゅLv.64は美味しい ; $hypothesis$ = 「「撰するし加えて美味しい」モンスターはいる」ということは確かである ; $proof$ = 
fact4 & fact5 -> int1: そのもわもちゅLv.64は動き易い; int1 & fact1 -> int2: そのもわもちゅLv.64は燃え易い; int2 & fact3 -> int3: そのもわもちゅLv.64は撰する; int3 & fact7 -> int4: そのもわもちゅLv.64は撰するしそれは美味しい; int4 -> hypothesis; __PROVED__
fact4 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{b}; int3 & fact7 -> int4: ({D}{b} & {E}{b}); int4 -> hypothesis; __PROVED__